aboutsummaryrefslogtreecommitdiff
path: root/reproduce/software/config/urls.conf
diff options
context:
space:
mode:
Diffstat (limited to 'reproduce/software/config/urls.conf')
-rw-r--r--reproduce/software/config/urls.conf5
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