rpms/yices
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The yices package
21 commits 21 branches 0 tags 72 KiB
Find a file
Exact
Jerry James acd9bd9b4e Rebuild for cryptominisat 5.8.0.
2020-11-27 09:04:04 -07:00
.gitignore Version 2.6.2. 2020-03-26 11:48:16 -06:00
sources Version 2.6.2. 2020-03-26 11:48:16 -06:00
yices-big-endian.patch Disable tests on 32-bit platforms due to failures from overflowing integers. 2020-03-26 15:26:59 -06:00
yices-cryptominisat.patch Version 2.6.2. 2020-03-26 11:48:16 -06:00
yices-sphinx3.patch Rebuild for cryptominisat 5.7.0. 2020-04-25 17:34:16 -06:00
yices.rpmlintrc Add -missing-typedef patch to fix FTBFS with gcc 10. 2020-01-23 10:01:59 -07:00
yices.spec Rebuild for cryptominisat 5.8.0. 2020-11-27 09:04:04 -07:00