Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: yices-tools | Distribution: Fedora Project |
Version: 2.7.0 | Vendor: Fedora Project |
Release: 1.fc43 | Build date: Fri Jul 18 22:11:53 2025 |
Group: Unspecified | Build host: buildvm-ppc64le-07.rdu3.fedoraproject.org |
Size: 10915259 | Source RPM: yices-2.7.0-1.fc43.src.rpm |
Packager: Fedora Project | |
Url: http://yices.csl.sri.com/ | |
Summary: Command line tools that use the yices library |
Command line tools that use the yices library.
GPL-3.0-or-later AND BSD-3-Clause
* Fri Jul 18 2025 Jerry James <loganjerry@gmail.com> - 2.7.0-1 - Version 2.7.0 * Thu May 01 2025 Jerry James <loganjerry@gmail.com> - 2.6.5-8 - Rebuild for cryptominisat 5.13.0 * Tue Feb 11 2025 Jerry James <loganjerry@gmail.com> - 2.6.5-7 - Rebuild for cryptominisat 5.12.1 * Sun Jan 19 2025 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.5-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Wed Jan 15 2025 Jerry James <loganjerry@gmail.com> - 2.6.5-5 - Move configuration steps to %conf * Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.5-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 2.6.5-3 - Rebuild for cryptominisat 5.11.22 * Tue Jul 02 2024 Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> - 2.6.5-2 - Use $SOURCE_DATE_EPOCH instead of the current date * Tue Jun 25 2024 Jerry James <loganjerry@gmail.com> - 2.6.5-1 - Version 2.6.5 * Tue Feb 20 2024 Jerry James <loganjerry@gmail.com> - 2.6.4-12 - Fix the SPDX expression * Fri Feb 09 2024 Jerry James <loganjerry@gmail.com> - 2.6.4-11 - Rebuild for cryptominisat 5.11.21 * Wed Jan 31 2024 Jerry James <loganjerry@gmail.com> - 2.6.4-10 - Rebuild for cryptominisat 5.11.15 * Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Wed Jan 10 2024 Jerry James <loganjerry@gmail.com> - 2.6.4-8 - Rebuild for cadical 1.9.4 - Update font licenses from LPPL-1.0 to LPPL-1.3a - Stop building for 32-bit x86 * Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
/usr/bin/yices /usr/bin/yices-sat /usr/bin/yices-smt /usr/bin/yices-smt2 /usr/lib/.build-id /usr/lib/.build-id/90 /usr/lib/.build-id/90/e1cc0b78c749e8ef509515b0a6278fa19a5f13 /usr/lib/.build-id/a8 /usr/lib/.build-id/a8/6ee51f7a7fdcd19879c2e1bc3747a6e2b34776 /usr/lib/.build-id/b2 /usr/lib/.build-id/b2/49174630f2b9450648af0956bf988ae697ffb4 /usr/lib/.build-id/ca /usr/lib/.build-id/ca/83ca5527be1cfbbb8084a870ad000edee56a22 /usr/share/man/man1/yices-sat.1.gz /usr/share/man/man1/yices-smt.1.gz /usr/share/man/man1/yices-smt2.1.gz /usr/share/man/man1/yices.1.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Wed Jul 23 01:52:14 2025