Tue, 02 Jun 2020 11:39:05 UTC

Information for build pvs-sbcl-7.0-1.20200129.b517ae2.fc32

ID1456605
Package Namepvs-sbcl
Version7.0
Release1.20200129.b517ae2.fc32
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/pvs-sbcl.git#aa80e324aaee4154a1e8edf3c76a9fcd1dc81695
SummaryInteractive theorem prover from SRI
DescriptionPVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. It is intended to capture the state-of-the-art in mechanized formal methods and to be sufficiently rugged that it can be used for significant applications. This build of PVS must be invoked as "pvs-sbcl", both to distinguish it from builds with other Common Lisp engines, and to distinguish it from /usr/sbin/pvs in the lvm2 package.
Built byjjames
State complete
Volume DEFAULT
StartedTue, 04 Feb 2020 22:15:06 UTC
CompletedTue, 04 Feb 2020 22:22:22 UTC
Taskbuild (rawhide, /rpms/pvs-sbcl.git:aa80e324aaee4154a1e8edf3c76a9fcd1dc81695)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/pvs-sbcl.git#aa80e324aaee4154a1e8edf3c76a9fcd1dc81695'}}
Tags
f32
f32-Beta
f33
RPMs
src
pvs-sbcl-7.0-1.20200129.b517ae2.fc32.src.rpm (info) (download)
i686
pvs-sbcl-7.0-1.20200129.b517ae2.fc32.i686.rpm (info) (download)
pvs-sbcl-debuginfo-7.0-1.20200129.b517ae2.fc32.i686.rpm (info) (download)
pvs-sbcl-debugsource-7.0-1.20200129.b517ae2.fc32.i686.rpm (info) (download)
x86_64
pvs-sbcl-7.0-1.20200129.b517ae2.fc32.x86_64.rpm (info) (download)
pvs-sbcl-debuginfo-7.0-1.20200129.b517ae2.fc32.x86_64.rpm (info) (download)
pvs-sbcl-debugsource-7.0-1.20200129.b517ae2.fc32.x86_64.rpm (info) (download)
Logs
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
i686
hw_info.log
state.log
build.log
root.log
mock_output.log
Changelog * Tue Feb 04 2020 Jerry James <loganjerry@gmail.com> - 7.0-1.20200129.b517ae2 - Update to latest git snapshot - Drop upstream patches: -chmod, -emacs26, -hashfn, -makeindex, -remove-backslashes, -unicode - Add patches to fix documentation: -language-manual, -texi, -user-guide - Add -fno-common patch to fix FTBFS with GCC 10 - Drop XEmacs support * Thu Jan 30 2020 Fedora Release Engineering <releng@fedoraproject.org> - 6.0-65 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Fri Aug 02 2019 Jerry James <loganjerry@gmail.com> - 6.0-64 - rebuild (sbcl) * Fri Jul 26 2019 Fedora Release Engineering <releng@fedoraproject.org> - 6.0-63 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Tue May 14 2019 Jerry James <loganjerry@gmail.com> - 6.0-62 - rebuild (sbcl) * Sat Feb 02 2019 Fedora Release Engineering <releng@fedoraproject.org> - 6.0-61 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Wed Jan 02 2019 Rex Dieter <rdieter@fedoraproject.org> - 6.0-60 - rebuild (sbcl) * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 6.0-59 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Fri Apr 06 2018 Rex Dieter <rdieter@fedoraproject.org> - 6.0-58 - rebuild (sbcl) * Tue Feb 13 2018 Jerry James <loganjerry@gmail.com> - 6.0-57 - Bump and rebuild for sbcl dependency * Fri Feb 09 2018 Fedora Release Engineering <releng@fedoraproject.org> - 6.0-56 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild