Sat, 18 May 2024 09:47:15 UTC | login

Information for build mona-1.4r17-5.fc29

ID32068
Package Namemona
Version1.4r17
Release5.fc29
Epoch
SummaryA decision procedure for the WS1S and WS2S logics
DescriptionMONA is a tool that translates formulas in the logics WS1S or WS2S into finite-state automata represented by BDDs. The formulas may express search patterns, temporal properties of reactive systems, parse tree constraints, etc. MONA also analyses the automaton resulting from the compilation, and determines whether the formula is valid and, if the formula is not valid, generates a counterexample.
Built bydavidlt
State complete
Volume DEFAULT
StartedMon, 04 Jun 2018 01:43:40 UTC
CompletedMon, 04 Jun 2018 03:48:13 UTC
Taskbuild (f29-candidate, mona-1.4r17-5.fc29.src.rpm)
Tags
f29
RPMs
src
mona-1.4r17-5.fc29.src.rpm (info) (download)
noarch
mona-emacs-1.4r17-5.fc29.noarch.rpm (info) (download)
mona-examples-1.4r17-5.fc29.noarch.rpm (info) (download)
mona-xemacs-1.4r17-5.fc29.noarch.rpm (info) (download)
riscv64
mona-1.4r17-5.fc29.riscv64.rpm (info) (download)
mona-devel-1.4r17-5.fc29.riscv64.rpm (info) (download)
mona-libs-1.4r17-5.fc29.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Thu Feb 08 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r17-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Thu Aug 03 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r17-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r17-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r17-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Mon Mar 28 2016 Jerry James <loganjerry@gmail.com> - 1.4r17-1 - Update to 1.4-17 * Thu Feb 04 2016 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r16-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild * Thu Oct 08 2015 Jerry James <loganjerry@gmail.com> - 1.4r16-1 - Update to 1.4-16 * Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4r15-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild * Sat May 02 2015 Kalev Lember <kalevlember@gmail.com> - 1.4r15-6 - Rebuilt for GCC 5 C++11 ABI change * Tue Feb 10 2015 Jerry James <loganjerry@gmail.com> - 1.4r15-5 - Add -inline patch to fix a build failure with gcc 5.0 - Use the license macro * Sun Aug 17 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4r15-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild * Sat Jun 07 2014 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4r15-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild * Sat Aug 03 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4r15-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild * Tue Jul 02 2013 Jerry James <loganjerry@gmail.com> - 1.4r15-1 - Update to 1.4-15 * Mon Apr 29 2013 Jerry James <loganjerry@gmail.com> - 1.4r14-1 - Update to 1.4-14 - Make "guide", which is undefined on purpose, a weak symbol * Thu Feb 14 2013 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4r13-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild * Fri Jul 20 2012 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4r13-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild * Fri Jan 06 2012 Jerry James <loganjerry@gmail.com> - 1.4r13-5 - Rebuild for GCC 4.7 - Spec file cleanups * Tue Feb 08 2011 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4r13-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_15_Mass_Rebuild * Mon Nov 29 2010 Jerry James <loganjerry@gmail.com> - 1.4r13-4 - Move COPYING and other docs to -libs, which is required by the main package. - Remove unnecessary libtool BR. - Remove BuildRoot tag. * Sat Jul 25 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4r13-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild * Wed Feb 25 2009 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4r13-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild * Mon Aug 11 2008 Jerry James <loganjerry@gmail.com> - 1.4r13-1 - Update to 1.4-13 * Tue Jun 17 2008 Jerry James <loganjerry@gmail.com> - 1.4r11-1 - Update to 1.4-11 - Add the user manual to the main package docs * Mon Mar 10 2008 Jerry James <loganjerry@gmail.com> - 1.4r10-1 - Initial RPM