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

yices-tools-2.6.1-3.fc31 RPM for aarch64

From Fedora 31 for aarch64 / y

Name: yices-tools Distribution: Fedora Project
Version: 2.6.1 Vendor: Fedora Project
Release: 3.fc31 Build date: Sat Jul 27 19:15:41 2019
Group: Unspecified Build host: buildhw-aarch64-07.arm.fedoraproject.org
Size: 9411191 Source RPM: yices-2.6.1-3.fc31.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+

Changelog

* 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
* Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 2.5.4-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
* Tue Jan 02 2018 Jerry James <loganjerry@gmail.com> - 2.5.4-2
  - Add a -doc subpackage
  - Fix end of line encodings
  - Fix permissions on yices_debug_version.c
* Mon Jan 01 2018 Jerry James <loganjerry@gmail.com> - 2.5.4-1
  - Initial RPM

Files

/usr/bin/yices
/usr/bin/yices-sat
/usr/bin/yices-smt
/usr/bin/yices-smt2
/usr/lib/.build-id
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/e23b4cdd07edf6816678064c9606c7fdaa5092
/usr/lib/.build-id/65
/usr/lib/.build-id/65/26cc68430f5779941907dd13ee658cf6cc8fc8
/usr/lib/.build-id/94
/usr/lib/.build-id/94/6a2d872d5c3723211aaaa270da6cae0590f8c7
/usr/lib/.build-id/f7
/usr/lib/.build-id/f7/17e25f39b3d54756221897db1bb5c8f4b3959c
/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, Tue Mar 10 11:17:24 2020