rpms/cvc4
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
Clone of https://src.fedoraproject.org/rpms/cvc4
42 Commits 23 Branches 0 Tags 126 KiB
Diff 100%
e37cc6494a
Go to file
Fedora Release Engineering e37cc6494a - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2018-02-07 06:10:35 +00:00
.gitignore New upstream release. 2017-07-15 20:54:40 -06:00
cvc4-autoconf.patch Fix FTBFS with automake 1.5.1 (bz 1482152). 2018-02-01 21:55:41 -07:00
cvc4-constant.patch New upstream release. 2017-07-15 20:54:40 -06:00
cvc4-doxygen.patch New upstream release. 2017-07-15 20:54:40 -06:00
cvc4-libs.patch New upstream release. 2017-07-15 20:54:40 -06:00
cvc4.spec - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild 2018-02-07 06:10:35 +00:00
sources New upstream release. 2017-07-15 20:54:40 -06:00