diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-22 19:59:10 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2019-01-22 20:36:58 +0000 |
| commit | 86888f4b305d3725335b9be44d6659b1a07e5d34 (patch) | |
| tree | 8d19a3e60bccf3b8e2f840da1b0968669b13e26e /reproduce/config | |
| parent | 5fb2a51bafbef91ced2f72267b6e7dde69c474b9 (diff) | |
Updated to newly modified version of metastore
In this version, too many extra notices (just regarding a change from
branch to branch) are not printed with `-q'. Instead only a one line
statement is printed that it is saved or applied.
Diffstat (limited to 'reproduce/config')
| -rw-r--r-- | reproduce/config/pipeline/dependency-versions.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/reproduce/config/pipeline/dependency-versions.mk b/reproduce/config/pipeline/dependency-versions.mk index e86a0fe..e6cfcee 100644 --- a/reproduce/config/pipeline/dependency-versions.mk +++ b/reproduce/config/pipeline/dependency-versions.mk @@ -22,7 +22,7 @@ libtool-version = 2.4.6 libbsd-version = 0.9.1 lzip-version = 1.20 make-version = 4.2.90 -metastore-version = v1.1.2-17-g6c56e14 +metastore-version = 1.1.2-21-dbc7b9b mpfr-version = 4.0.1 mpc-version = 1.1.0 ncurses-version = 6.1 |