Sat, 18 May 2024 12:29:29 UTC | login

Information for build mona-1.4r17-4.fc28

ID8848
Package Namemona
Version1.4r17
Release4.fc28
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 bykojiadmin
State complete
Volume DEFAULT
StartedSat, 14 Apr 2018 20:11:45 UTC
CompletedSat, 14 Apr 2018 20:11:45 UTC
Tags
f28
f29
RPMs
src
mona-1.4r17-4.fc28.src.rpm (info) (download)
noarch
mona-emacs-1.4r17-4.fc28.noarch.rpm (info) (download)
mona-examples-1.4r17-4.fc28.noarch.rpm (info) (download)
mona-xemacs-1.4r17-4.fc28.noarch.rpm (info) (download)
riscv64
mona-1.4r17-4.fc28.riscv64.rpm (info) (download)
mona-devel-1.4r17-4.fc28.riscv64.rpm (info) (download)
mona-libs-1.4r17-4.fc28.riscv64.rpm (info) (download)
Changelog * 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