aboutsummaryrefslogtreecommitdiff
path: root/reproduce/config
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2019-04-12 15:51:26 +0100
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2019-04-12 15:51:26 +0100
commit41c444a1a0fcff2aaa5c9b0dd2fc1e6b3aaf6de1 (patch)
treef18889a878d752562246218c0f8e89a61fdedf2b /reproduce/config
parentb177c7e99cdf605fd826d4f0f2026251e42ce164 (diff)
parent1442a5ebe5f9ca66f25c0f0a585c6ac4083101d8 (diff)
Imported recent corrections, no conflicts
Some recent corrections that were done by Raul are now merged into the pipeline. There weren't any conflicts.
Diffstat (limited to 'reproduce/config')
-rw-r--r--reproduce/config/pipeline/dependency-versions.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/reproduce/config/pipeline/dependency-versions.mk b/reproduce/config/pipeline/dependency-versions.mk
index 3b43aae..91d1265 100644
--- a/reproduce/config/pipeline/dependency-versions.mk
+++ b/reproduce/config/pipeline/dependency-versions.mk
@@ -29,6 +29,7 @@ coreutils-version = 8.30
curl-version = 7.63.0
diffutils-version = 3.7
fftw-version = 3.3.8
+file-version = 5.36
findutils-version = 4.6.0.199-e3fc
flock-version = 0.2.3
freetype-version = 2.9