Restored RStudio Server version to its current v.

As explained in discussion on the pull request (#803 (comment)), I did the reverse of the last commit. I restored the RStudio Server version to its current version on Binder, and thus only left Shiny Server being updated.
pull/803/head
Pablo Bernabeu 2019-10-03 18:55:34 +01:00 zatwierdzone przez GitHub
rodzic 52f43e6ed1
commit 0d0824d5d5
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 5 dodań i 4 usunięć

Wyświetl plik

@ -201,14 +201,15 @@ class RBuildPack(PythonBuildPack):
We set the snapshot date used to install R libraries from based on the
contents of runtime.txt.
"""
# Via https://rstudio.com/products/rstudio/download-server/debian-ubuntu/
rstudio_url = "https://download2.rstudio.org/server/bionic/amd64/rstudio-server-1.2.5001-amd64.deb"
rstudio_url = "https://download2.rstudio.org/rstudio-server-1.1.419-amd64.deb"
# This is MD5, because that is what RStudio download page provides!
rstudio_checksum = "d33881b9ab786c09556c410e7dc477de"
rstudio_checksum = "24cd11f0405d8372b4168fc9956e0386"
# Via https://www.rstudio.com/products/shiny/download-server/
shiny_url = "https://download3.rstudio.org/ubuntu-14.04/x86_64/shiny-server-1.5.7.907-amd64.deb"
shiny_checksum = "78371a8361ba0e7fec44edd2b8e425ac"
shiny_url = "https://download3.rstudio.org/ubuntu-14.04/x86_64/shiny-server-1.5.12.933-amd64.deb"
shiny_checksum = "9aeef6613e7f58f21c97a4600921340e"
# Version of MRAN to pull devtools from.
devtools_version = "2018-02-01"