diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2021-04-27 20:44:27 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2021-04-27 20:44:27 -0500 |
| commit | 05724151ca936fa2943bb82e3b1339210b9b950c (patch) | |
| tree | a998bd473ebb52faad411cea01f44454e703bf19 /contrib | |
| parent | d2199bf46106947c94e8dc687aa4ad2e9fc845a5 (diff) | |
LFSC commit
Diffstat (limited to 'contrib')
| -rwxr-xr-x | contrib/get-lfsc-checker | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/get-lfsc-checker b/contrib/get-lfsc-checker index 957c55865..ad3e81ac2 100755 --- a/contrib/get-lfsc-checker +++ b/contrib/get-lfsc-checker @@ -40,7 +40,7 @@ SIG_DIR="$BASE_DIR/lfsc-signatures" mkdir -p $SIG_DIR # download and unpack signatures -sig_version="7b409bb9abbd76739345a11da1863c65020675aa" +sig_version="768cfda32847e7ba6b846d5e4e6e92e89b66aee1" download "https://github.com/CVC4/signatures/archive/$sig_version.tar.gz" $BASE_DIR/tmp/signatures.tgz tar --strip 1 -xzf $BASE_DIR/tmp/signatures.tgz -C $SIG_DIR |