Sun, 05 May 2024 04:46:57 UTC | login

Information for RPM mona-1.4r18-8.fc38.riscv64.rpm

ID973552
Namemona
Version1.4r18
Release8.fc38
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 analyzes the automaton resulting from the compilation, and determines whether the formula is valid and, if the formula is not valid, generates a counterexample.
Build Time2023-03-18 19:37:41 GMT
Size180.63 KB
bbd0ebd97ca39933901ff3332eedafbd
LicenseGPL-2.0-or-later
Buildrootf38-build-697579-86653
Provides
mona = 1.4r18-8.fc38
mona(riscv-64) = 1.4r18-8.fc38
Obsoletes
mona-xemacs < 1.4r18-5
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)
libc.so.6(GLIBC_2.33)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libgcc_s.so.1()(64bit)
libgcc_s.so.1(GCC_3.0)(64bit)
libgcc_s.so.1(GCC_3.3.1)(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.29)(64bit)
libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
mona-libs(riscv-64) = 1.4r18-8.fc38
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 10 of 10
Name ascending sort Size
/usr/bin/dfa2dot15.81 KB
/usr/bin/gta2dot19.86 KB
/usr/bin/mona480.48 KB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/a60.00 B
/usr/lib/.build-id/a6/4dd940938dbd14524a6261a3f608d7eae6df9424.00 B
/usr/lib/.build-id/a6/c27f1c6807d32aa090168d267b7d7adb8a2ac627.00 B
/usr/lib/.build-id/c90.00 B
/usr/lib/.build-id/c9/9785c6419d5614c5086d737e85f9bc58f67e8227.00 B
/usr/share/man/man1/mona.1.gz1.33 KB
Component of No Buildroots