naive_install => Error: Failed to install 'drealdown' from GitLab: there is no package called ‘backports’

R version 4.0.2 (2020-06-22) -- "Taking Off Again"
Copyright (C) 2020 The R Foundation for Statistical Computing
Platform: x86_64-w64-mingw32/x64 (64-bit)

R is free software and comes with ABSOLUTELY NO WARRANTY.
You are welcome to redistribute it under certain conditions.
Type 'license()' or 'licence()' for distribution details.

R is a collaborative project with many contributors.
Type 'contributors()' for more information and
'citation()' on how to cite R or R packages in publications.

Type 'demo()' for some demos, 'help()' for on-line help, or
'help.start()' for an HTML browser interface to help.
Type 'q()' to quit R.

[Workspace loaded from ~/.RData]

> install.packages("remotes")
trying URL 'https://cran.rstudio.com/bin/windows/contrib/4.0/remotes_2.2.0.zip'
Content type 'application/zip' length 387736 bytes (378 KB)
downloaded 378 KB

package ‘remotes’ successfully unpacked and MD5 sums checked

The downloaded binary packages are in
	D:\Users\laurent.beltran\AppData\Local\Temp\RtmpAF10LJ\downloaded_packages
> library(remotes)
Warning message:
le package ‘remotes’ a été compilé avec la version R 4.0.3 
> remotes::install_gitlab(repo = "dreal-datalab/drealdown")
Downloading GitLab repo dreal-datalab/drealdown@HEAD
from URL https://gitlab.com/api/v4/projects/14369866/repository/archive.tar.gz?sha=HEAD
These packages have more recent versions available.
It is recommended to update all of them.
Which would you like to update?

 1: All                                
 2: CRAN packages only                 
 3: None                               
 4: stringi   (1.4.6  -> 1.5.3 ) [CRAN]
 5: glue      (1.4.1  -> 1.4.2 ) [CRAN]
 6: xfun      (0.15   -> 0.18  ) [CRAN]
 7: rlang     (0.4.6  -> 0.4.8 ) [CRAN]
 8: digest    (0.6.25 -> 0.6.26) [CRAN]
 9: tinytex   (0.24   -> 0.26  ) [CRAN]
10: jsonlite  (1.6.1  -> 1.7.1 ) [CRAN]
11: knitr     (1.28   -> 1.30  ) [CRAN]
12: rmarkdown (2.3    -> 2.5   ) [CRAN]

Enter one or more numbers, or an empty line to skip updates:1
stringi   (1.4.6  -> 1.5.3 ) [CRAN]
glue      (1.4.1  -> 1.4.2 ) [CRAN]
xfun      (0.15   -> 0.18  ) [CRAN]
rlang     (0.4.6  -> 0.4.8 ) [CRAN]
digest    (0.6.25 -> 0.6.26) [CRAN]
tinytex   (0.24   -> 0.26  ) [CRAN]
jsonlite  (1.6.1  -> 1.7.1 ) [CRAN]
knitr     (1.28   -> 1.30  ) [CRAN]
rmarkdown (2.3    -> 2.5   ) [CRAN]
bookdown  (NA     -> 0.21  ) [CRAN]
Installing 10 packages: stringi, glue, xfun, rlang, digest, tinytex, jsonlite, knitr, rmarkdown, bookdown

  There are binary versions available but the source versions are later:
	  binary source needs_compilation
digest    0.6.25 0.6.26              TRUE
rmarkdown    2.4    2.5             FALSE

  Binaries will be installed
trying URL 'https://cran.rstudio.com/bin/windows/contrib/4.0/stringi_1.5.3.zip'
Content type 'application/zip' length 15243599 bytes (14.5 MB)
downloaded 14.5 MB

### [ . . . ]

** building package indices
** installing vignettes
** testing if installed package can be loaded from temporary location
** testing if installed package can be loaded from final location
** testing if installed package keeps a record of temporary installation path
* DONE (rmarkdown)
Making 'packages.html' ... fini

The downloaded source packages are in
	‘D:\Users\laurent.beltran\AppData\Local\Temp\RtmpAF10LJ\downloaded_packages’
Error: Failed to install 'drealdown' from GitLab:
  there is no package called ‘backports’