Thu, 19 Dec 2024 02:48:12 UTC | login

Information for build mona-1.4r18-1.fc33

ID154066
Package Namemona
Version1.4r18
Release1.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/mona.git#e59c9f7634f57024b9b0ed194df193f2e986731f
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
StartedSun, 29 Mar 2020 00:49:19 UTC
CompletedSun, 29 Mar 2020 01:26:34 UTC
Taskbuild (f33, /rpms/mona.git:e59c9f7634f57024b9b0ed194df193f2e986731f)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/mona.git#e59c9f7634f57024b9b0ed194df193f2e986731f'}}
Tags
f33
RPMs
src
mona-1.4r18-1.fc33.src.rpm (info) (download)
noarch
mona-emacs-1.4r18-1.fc33.noarch.rpm (info) (download)
mona-examples-1.4r18-1.fc33.noarch.rpm (info) (download)
mona-xemacs-1.4r18-1.fc33.noarch.rpm (info) (download)
riscv64
mona-1.4r18-1.fc33.riscv64.rpm (info) (download)
mona-devel-1.4r18-1.fc33.riscv64.rpm (info) (download)
mona-libs-1.4r18-1.fc33.riscv64.rpm (info) (download)
mona-debuginfo-1.4r18-1.fc33.riscv64.rpm (info) (download)
mona-debugsource-1.4r18-1.fc33.riscv64.rpm (info) (download)
mona-libs-debuginfo-1.4r18-1.fc33.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
root.log
state.log
Changelog * Mon Feb 10 2020 Jerry James <loganjerry@gmail.com> - 1.4r18-1 - Update to 1.4-18 * Wed Jan 29 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r17-10 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Sat Dec 14 2019 Jeff Law <law@redhat.com> - 1.4r17-9 - Fix inline vs static inline issue for gcc-10 * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r17-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Fri Feb 01 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r17-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 1.4r17-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild