Sat, 30 Nov 2024 09:50:40 UTC | login

Information for RPM ocaml-psmt2-frontend-0.4.0-16.fc40.riscv64.rpm

ID1225166
Nameocaml-psmt2-frontend
Version0.4.0
Release16.fc40
Epoch
Archriscv64
SummaryParser and typechecker for an extension of SMT-LIB 2
DescriptionThis package contains a library to parse and typecheck a conservative extension of the SMT-LIB 2 standard with prenex polymorphism.
Build Time2024-02-29 17:08:47 GMT
Size1.45 MB
5759889e36b5cb49ebde5760385126b6
LicenseApache-2.0
Buildrootf40-build-784132-133242
Provides
ocaml(Psmt2Frontend) = 219855a38aa6cf8619553442e5735b87
ocaml(Psmt2Frontend__Main) = 0d9f29df6383ad1fb4ff1e5e3655c5ae
ocaml(Psmt2Frontend__Options) = b846a47305946ed8286de7b3cf10cd4b
ocaml(Psmt2Frontend__Smtlib_error) = b9aeec9b23419acd2142dbf393f1f309
ocaml(Psmt2Frontend__Smtlib_lexer) = 95b7e91d2b6e70a48979844d90bc1101
ocaml(Psmt2Frontend__Smtlib_parser) = 13e4a0814e04e1351f321bf9b7e51354
ocaml(Psmt2Frontend__Smtlib_printer) = cd5606558451821ff41a7003b0cc6a4d
ocaml(Psmt2Frontend__Smtlib_syntax) = fa43cbeca4d88633e669d19d3504f0fc
ocaml(Psmt2Frontend__Smtlib_ty) = 2d6a15171a7fd3dad116953f67d27919
ocaml(Psmt2Frontend__Smtlib_typed_env) = ed7bd0fbac73edb4b9aee44475821e0e
ocaml(Psmt2Frontend__Smtlib_typed_logic) = 41feba8ba0fe0942103442c83189a5e4
ocaml(Psmt2Frontend__Smtlib_typing) = fccb5ff64d1a719f242a4db109261e58
ocaml(Psmt2Frontend__Version) = 2ebc1d4f86943710cb645be32095df8f
ocaml-psmt2-frontend = 0.4.0-16.fc40
ocaml-psmt2-frontend(riscv-64) = 0.4.0-16.fc40
ocaml-psmt2-frontend-doc = 0.4.0-16.fc40
Obsoletes
ocaml-psmt2-frontend-doc < 0.4.0-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.32)(64bit)
libc.so.6(GLIBC_2.33)(64bit)
libc.so.6(GLIBC_2.34)(64bit)
libc.so.6(GLIBC_2.38)(64bit)
libm.so.6()(64bit)
libm.so.6(GLIBC_2.27)(64bit)
ocaml(CamlinternalFormatBasics) = 2125f26b831153c92a44f06bfde570ae
ocaml(Psmt2Frontend) = 219855a38aa6cf8619553442e5735b87
ocaml(Psmt2Frontend__Options) = b846a47305946ed8286de7b3cf10cd4b
ocaml(Psmt2Frontend__Smtlib_error) = b9aeec9b23419acd2142dbf393f1f309
ocaml(Psmt2Frontend__Smtlib_parser) = 13e4a0814e04e1351f321bf9b7e51354
ocaml(Psmt2Frontend__Smtlib_printer) = cd5606558451821ff41a7003b0cc6a4d
ocaml(Psmt2Frontend__Smtlib_syntax) = fa43cbeca4d88633e669d19d3504f0fc
ocaml(Psmt2Frontend__Smtlib_ty) = 2d6a15171a7fd3dad116953f67d27919
ocaml(Psmt2Frontend__Smtlib_typed_env) = ed7bd0fbac73edb4b9aee44475821e0e
ocaml(Psmt2Frontend__Smtlib_typed_logic) = 41feba8ba0fe0942103442c83189a5e4
ocaml(Stdlib) = 0b4549228bc9b8c1cfa1e888d7432bdf
ocaml(Stdlib__Buffer) = 11209f45e0193c65ddf3fa42e62ca351
ocaml(Stdlib__Domain) = 15eb47920ac7664c134360a87b41ef28
ocaml(Stdlib__Either) = 4c7aace90230bd854d0973c7e456ef08
ocaml(Stdlib__Format) = 94d7f939ea070018aea40586f319a4ee
ocaml(Stdlib__Hashtbl) = c04858fec86768f735bb82b2552d3868
ocaml(Stdlib__Lexing) = 949e28f0e0f98281ad3e5361c8e0a3c4
ocaml(Stdlib__List) = 8992587f26a4ebfea5772490b254b328
ocaml(Stdlib__Map) = c10b896173aa2c544de555b28ee90050
ocaml(Stdlib__Printf) = d73c8b5d158ee045f56dc671632857e5
ocaml(Stdlib__Seq) = e469865a3128bb838ded5895e9e9e56c
ocaml(Stdlib__Stack) = 4d97119fd0dea45b19db67afa0f254e5
ocaml(Stdlib__String) = 8d7e7cd15035dc5d921d9985a1f7d0a3
ocaml(Stdlib__Uchar) = bd0ab58d166b896b51c953631e3a39c5
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 30 of 30
Name ascending sort Size
/usr/bin/psmt2-frontend_bin2.61 MB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/c40.00 B
/usr/lib/.build-id/c4/a418fc4ce9b107a00c1bc1b7760737881e930438.00 B
/usr/lib/.build-id/e70.00 B
/usr/lib/.build-id/e7/80de34d72a2cd5f1bb0d1c45c291fab5a86f1e61.00 B
/usr/lib64/ocaml/psmt2-frontend0.00 B
/usr/lib64/ocaml/psmt2-frontend/META196.00 B
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma940.61 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi920.00 B
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs959.56 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmi504.00 B
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmi1.57 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmi1.44 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmi1.41 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmi3.32 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmi2.41 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmi5.58 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi6.06 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmi6.47 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmi1.90 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmi2.47 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmi327.00 B
/usr/lib64/ocaml/psmt2-frontend_bin0.00 B
/usr/lib64/ocaml/psmt2-frontend_bin/META0.00 B
/usr/share/doc/ocaml-psmt2-frontend0.00 B
/usr/share/doc/ocaml-psmt2-frontend/CHANGES.md573.00 B
/usr/share/doc/ocaml-psmt2-frontend/README.md1.13 KB
/usr/share/licenses/ocaml-psmt2-frontend0.00 B
/usr/share/licenses/ocaml-psmt2-frontend/LICENSE11.09 KB
Component of
1 through 1 of 1
Buildroot descending sort Created State
f40-build-793243-138788 2024-03-20 07:05:39 expired