Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

yices-tools-2.6.2-1.fc32 RPM for x86_64

From Fedora 32 for x86_64 / y

Name: yices-tools Distribution: Fedora Project
Version: 2.6.2 Vendor: Fedora Project
Release: 1.fc32 Build date: Thu Mar 26 23:49:14 2020
Group: Unspecified Build host: buildhw-11.phx2.fedoraproject.org
Size: 9751438 Source RPM: yices-2.6.2-1.fc32.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.

Provides

Requires

License

GPLv3+ and BSD

Changelog

* Thu Mar 26 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-1
  - Version 2.6.2
  - Drop upstreamed -missing-typedef patch
  - Add -big-endian patch to fix s390x build
  - Add -cryptominisat5 patch to fix build with recent cryptominisat releases
  - Skip tests on 32-bit platforms; some tests fail due to the limited size of a
    C integer
* Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Thu Jan 23 2020 Jerry James <loganjerry@gmail.com> - 2.6.1-5
  - Add -missing-typedef patch to fix FTBFS with gcc 10
  - Set -doc subpackage to noarch
* Fri Nov 22 2019 Jerry James <loganjerry@gmail.com> - 2.6.1-4
  - Add -fwrapv to build flags; thanks to Jeff Law for the diagnosis
* Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
* Tue Oct 30 2018 Jerry James <loganjerry@gmail.com> - 2.6.1-1
  - New upstream version
* Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
* Wed Jul 04 2018 Jerry James <loganjerry@gmail.com> - 2.6.0-1
  - New upstream version

Files

/usr/bin/yices
/usr/bin/yices-sat
/usr/bin/yices-smt
/usr/bin/yices-smt2
/usr/lib/.build-id
/usr/lib/.build-id/83
/usr/lib/.build-id/83/b02119a593826c090159a6897fe29747d94196
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/4e15ade78d05dc1354f00f6598044965b8aca1
/usr/lib/.build-id/bb
/usr/lib/.build-id/bb/ef1804ec738ea0170abf0e31e223fb62222470
/usr/lib/.build-id/d4
/usr/lib/.build-id/d4/5d2b45d01ad2f150ccad2f2b4d8b7c40e88cb9
/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 Jun 9 19:56:52 2021