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

yices-2.6.5-4.fc41 RPM for s390x

From Fedora Rawhide for s390x / y

Name: yices Distribution: Fedora Project
Version: 2.6.5 Vendor: Fedora Project
Release: 4.fc41 Build date: Sun Jul 21 17:50:58 2024
Group: Unspecified Build host: buildvm-s390x-06.s390.fedoraproject.org
Size: 3455411 Source RPM: yices-2.6.5-4.fc41.src.rpm
Packager: Fedora Project
Url: http://yices.csl.sri.com/
Summary: SMT solver
Yices 2 is an efficient SMT solver that decides the satisfiability of
formulas containing uninterpreted function symbols with equality, linear
real and integer arithmetic, bitvectors, scalar types, and tuples.

Yices 2 can process input written in the SMT-LIB notation (both versions
2.0 and 1.2 are supported).

Alternatively, you can write specifications using the Yices 2
specification language, which includes tuples and scalar types.

Yices 2 can also be used as a library in other software.

Provides

Requires

License

GPL-3.0-or-later AND BSD-3-Clause

Changelog

* 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
* Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Mon Nov 28 2022 Jerry James <loganjerry@gmail.com> - 2.6.4-5
  - Regenerate the cudd configure script to fix FTBFS
  - Convert License tag to SPDX
* Mon Nov 28 2022 Timm Bäder <tbaeder@redhat.com> - 2.6.4-5
  - Get rid of an implicit int function declaration in a configure check
* Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 2.6.4-4
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

Files

/usr/lib/.build-id
/usr/lib/.build-id/b5
/usr/lib/.build-id/b5/6ea087c93bcb4b8f4638a3042b0c2a5f9f38d3
/usr/lib64/libyices.so.2.6
/usr/lib64/libyices.so.2.6.5
/usr/share/doc/yices
/usr/share/doc/yices/SMT-LIB-LANGUAGE
/usr/share/doc/yices/YICES-LANGUAGE
/usr/share/licenses/yices
/usr/share/licenses/yices/LICENSE.txt
/usr/share/licenses/yices/copyright.txt


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Oct 1 06:41:22 2024