Sat, 30 Nov 2024 19:55:53 UTC | login

Information for RPM mona-1.4r17-6.fc30.riscv64.rpm

ID314857
Namemona
Version1.4r17
Release6.fc30
Epoch
Archriscv64
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.
Build Time2018-12-09 10:05:39 GMT
Size689.39 KB
0e653c600468ef0bcbe9a01457da38c8
LicenseGPLv2+
Buildrootf30-build-40757-22842
Provides
mona = 1.4r17-6.fc30
mona(riscv-64) = 1.4r17-6.fc30
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ld-linux-riscv64-lp64d.so.1()(64bit)
ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.27)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libmonabdd.so.1()(64bit)
libmonadfa.so.1()(64bit)
libmonagta.so.1()(64bit)
libmonamem.so.1()(64bit)
libstdc++.so.6()(64bit)
libstdc++.so.6(CXXABI_1.3)(64bit)
libstdc++.so.6(CXXABI_1.3.8)(64bit)
libstdc++.so.6(CXXABI_1.3.9)(64bit)
libstdc++.so.6(GLIBCXX_3.4)(64bit)
libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
mona-libs(riscv-64) = 1.4r17-6.fc30
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 13 of 13
Name ascending sort Size
/usr/bin/dfa2dot12.05 KB
/usr/bin/gta2dot16.07 KB
/usr/bin/mona541.30 KB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/ad0.00 B
/usr/lib/.build-id/ad/0304c6dd58c0342980547863e4531936bd9c7d24.00 B
/usr/lib/.build-id/c30.00 B
/usr/lib/.build-id/c3/989d0aa1cb7ce176d77e16f5cdf5d8704fe7e527.00 B
/usr/lib/.build-id/f30.00 B
/usr/lib/.build-id/f3/3c58756f11de28ccc90e03f5a5d54b4c6fce6a27.00 B
/usr/share/doc/mona0.00 B
/usr/share/doc/mona/mona14.pdf721.57 KB
/usr/share/man/man1/mona.1.gz1.33 KB
Component of No Buildroots