.gitignore
|
New upstream release.
|
2017-07-15 20:54:40 -06: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 Boost 1.64
|
2017-07-21 09:44:14 +02:00 |
sources
|
New upstream release.
|
2017-07-15 20:54:40 -06:00 |