diff options
| -rw-r--r-- | .file-metadata | bin | 4085 -> 4085 bytes | |||
| -rw-r--r-- | reproduce/config/pipeline/dependency-versions.mk | 21 |
2 files changed, 20 insertions, 1 deletions
diff --git a/.file-metadata b/.file-metadata Binary files differindex 7336b45..69f5f5a 100644 --- a/.file-metadata +++ b/.file-metadata diff --git a/reproduce/config/pipeline/dependency-versions.mk b/reproduce/config/pipeline/dependency-versions.mk index 7cdddac..87b837c 100644 --- a/reproduce/config/pipeline/dependency-versions.mk +++ b/reproduce/config/pipeline/dependency-versions.mk @@ -1,4 +1,23 @@ -# Versions of the various dependnecies +# Versions of the various dependencies +# +# Original author: +# Mohammad Akhlaghi <mohammad@akhlaghi.org> +# Contributing author(s): +# Raul Infante-Sainz <infantesainz@gmail.com> +# Copyright (C) 2018-2019, Your Name. +# +# This Makefile is free software: you can redistribute it and/or modify it +# under the terms of the GNU General Public License as published by the +# Free Software Foundation, either version 3 of the License, or (at your +# option) any later version. +# +# This Makefile is distributed in the hope that it will be useful, but +# WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General +# Public License for more details. +# +# A copy of the GNU General Public License is available at +# <http://www.gnu.org/licenses/>. # Programs bash-version = 5.0 |