rpms/yices
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The yices package
22 commits 21 branches 0 tags 72 KiB
Find a file
Exact
Fedora Release Engineering 92391e3a22 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2021-01-28 00:33:29 +00: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 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild 2021-01-28 00:33:29 +00:00