Sun, 12 Jul 2020 13:49:15 UTC

Information for build mona-1.4r13-1.fc10

ID59250
Package Namemona
Version1.4r13
Release1.fc10
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 byjjames
State complete
Volume fedora_koji_archive00
StartedMon, 11 Aug 2008 16:57:45 UTC
CompletedMon, 11 Aug 2008 17:04:13 UTC
Taskbuild (dist-f10, /cvs/pkgs:rpms/mona/devel:mona-1_4r13-1_fc10)
Tags
dist-f10
f10-beta
f10-final
f11-alpha
f11-alpha-2
RPMs
src
mona-1.4r13-1.fc10.src.rpm (info) (download)
i386
mona-1.4r13-1.fc10.i386.rpm (info) (download)
mona-devel-1.4r13-1.fc10.i386.rpm (info) (download)
mona-emacs-1.4r13-1.fc10.i386.rpm (info) (download)
mona-emacs-el-1.4r13-1.fc10.i386.rpm (info) (download)
mona-examples-1.4r13-1.fc10.i386.rpm (info) (download)
mona-libs-1.4r13-1.fc10.i386.rpm (info) (download)
mona-xemacs-1.4r13-1.fc10.i386.rpm (info) (download)
mona-xemacs-el-1.4r13-1.fc10.i386.rpm (info) (download)
mona-debuginfo-1.4r13-1.fc10.i386.rpm (info) (download)
ppc
mona-1.4r13-1.fc10.ppc.rpm (info) (download)
mona-devel-1.4r13-1.fc10.ppc.rpm (info) (download)
mona-emacs-1.4r13-1.fc10.ppc.rpm (info) (download)
mona-emacs-el-1.4r13-1.fc10.ppc.rpm (info) (download)
mona-examples-1.4r13-1.fc10.ppc.rpm (info) (download)
mona-libs-1.4r13-1.fc10.ppc.rpm (info) (download)
mona-xemacs-1.4r13-1.fc10.ppc.rpm (info) (download)
mona-xemacs-el-1.4r13-1.fc10.ppc.rpm (info) (download)
mona-debuginfo-1.4r13-1.fc10.ppc.rpm (info) (download)
ppc64
mona-1.4r13-1.fc10.ppc64.rpm (info) (download)
mona-devel-1.4r13-1.fc10.ppc64.rpm (info) (download)
mona-emacs-1.4r13-1.fc10.ppc64.rpm (info) (download)
mona-emacs-el-1.4r13-1.fc10.ppc64.rpm (info) (download)
mona-examples-1.4r13-1.fc10.ppc64.rpm (info) (download)
mona-libs-1.4r13-1.fc10.ppc64.rpm (info) (download)
mona-xemacs-1.4r13-1.fc10.ppc64.rpm (info) (download)
mona-xemacs-el-1.4r13-1.fc10.ppc64.rpm (info) (download)
mona-debuginfo-1.4r13-1.fc10.ppc64.rpm (info) (download)
x86_64
mona-1.4r13-1.fc10.x86_64.rpm (info) (download)
mona-devel-1.4r13-1.fc10.x86_64.rpm (info) (download)
mona-emacs-1.4r13-1.fc10.x86_64.rpm (info) (download)
mona-emacs-el-1.4r13-1.fc10.x86_64.rpm (info) (download)
mona-examples-1.4r13-1.fc10.x86_64.rpm (info) (download)
mona-libs-1.4r13-1.fc10.x86_64.rpm (info) (download)
mona-xemacs-1.4r13-1.fc10.x86_64.rpm (info) (download)
mona-xemacs-el-1.4r13-1.fc10.x86_64.rpm (info) (download)
mona-debuginfo-1.4r13-1.fc10.x86_64.rpm (info) (download)
Logs
i386
build.log
root.log
state.log
ppc
build.log
root.log
state.log
ppc64
build.log
root.log
state.log
x86_64
build.log
root.log
state.log
Changelog * 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