diff options
Diffstat (limited to 'reproduce/software/config/urls.conf')
-rw-r--r-- | reproduce/software/config/urls.conf | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/reproduce/software/config/urls.conf b/reproduce/software/config/urls.conf index 417f5ed..a311524 100644 --- a/reproduce/software/config/urls.conf +++ b/reproduce/software/config/urls.conf @@ -3,8 +3,8 @@ # If un-commented the URLs of this file will be used. Otherwise default # servers (primarily on 'zenodo.org') will be checked for the tarball. # -# Copyright (C) 2020 Mohammad Akhlaghi <mohammad@akhlaghi.org> -# Copyright (C) 2020 Raul Infante-Sainz <infantesainz@gmail.com> +# Copyright (C) 2020-2021 Mohammad Akhlaghi <mohammad@akhlaghi.org> +# Copyright (C) 2020-2021 Raul Infante-Sainz <infantesainz@gmail.com> # # Copying and distribution of this file, with or without modification, are # permitted in any medium without royalty provided the copyright notice and @@ -36,6 +36,7 @@ #grep-url = http://ftp.gnu.org/gnu/grep #gzip-url = http://akhlaghi.org/src #isl-url = ftp://gcc.gnu.org/pub/gcc/infrastructure +less-url = http://www.greenwoodsoftware.com/less/ #libbsd-url = http://libbsd.freedesktop.org/releases #libiconv-url = https://ftp.gnu.org/pub/gnu/libiconv #libtool-url = http://ftp.gnu.org/gnu/libtool |