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

yices-devel-2.6.2-5.fc33 RPM for s390x

From Fedora 33 for s390x / y

Name: yices-devel Distribution: Fedora Project
Version: 2.6.2 Vendor: Fedora Project
Release: 5.fc33 Build date: Tue Aug 4 03:13:29 2020
Group: Unspecified Build host: buildvm-s390x-14.s390.fedoraproject.org
Size: 164512 Source RPM: yices-2.6.2-5.fc33.src.rpm
Packager: Fedora Project
Url: http://yices.csl.sri.com/
Summary: Development files for yices
This package contains the header files necessary for developing programs
which use yices.

Provides

Requires

License

GPLv3+ and BSD

Changelog

* Mon Aug 03 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-5
  - Rebuild for cadical 1.3.0
* Wed Jul 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.2-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Sat Apr 25 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-3
  - Rebuild for cryptominisat 5.7.0
  - Switch to upstream's solution for sphinx 3 support
* Thu Apr 16 2020 Jerry James <loganjerry@gmail.com> - 2.6.2-2
  - Use native sphinx 3 support for enum instead of cenum extension (bz 1823515)
* 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

Files

/usr/include/yices
/usr/include/yices/yices.h
/usr/include/yices/yices_exit_codes.h
/usr/include/yices/yices_limits.h
/usr/include/yices/yices_types.h
/usr/lib64/libyices.so


Generated by rpm2html 1.8.1

Fabrice Bellet, Mon May 9 17:37:21 2022