rpms
/
z3
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Put cmake files in the lookaside cache instead of in git.

This commit is contained in:
Jerry James 2020-05-15 10:42:32 -06:00
parent 40a2541855
commit bab37a06cd
3 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.gitignore vendored
View File

@ -1,2 +1,3 @@
/z3-*.tar.gz
/Z3-*.tar.gz
/Z3_cmake_files.tar.gz

BIN
Z3_cmake_files.tar.gz
View File

Binary file not shown.

1
sources
View File

@ -1 +1,2 @@
SHA512 (z3-4.8.8.tar.gz) = a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f
SHA512 (Z3_cmake_files.tar.gz) = b89831c4c3714d16908109057a886e8a138ede0f5e08a38de766ff49c7c54115a48f7e1c88fe120bf0a28aa7fbe2c0bef7ae8a19d0bcadfc758638ded2c32161