Sat, 14 Dec 2024 05:50:26 UTC | login

Information for RPM ocaml-psmt2-frontend-0.4.0-20.fc41.riscv64.rpm

ID1425866
Nameocaml-psmt2-frontend
Version0.4.0
Release20.fc41
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-08-11 16:04:05 GMT
Size1.31 MB
e4722b72796a573cc9c54c22589c73e0
LicenseApache-2.0
git:https://github.com/ACoquereau/psmt2-frontend.git
Buildrootf41-build-838415-159693
Provides
ocaml(Psmt2Frontend) = 16e934f5e87089e766aa09562a438efe
ocaml(Psmt2Frontend__Main) = 62ce7a6bbd072ff51760d98afa01724e
ocaml(Psmt2Frontend__Options) = 0183792009bdd1ccf4fc3356a77f3c76
ocaml(Psmt2Frontend__Smtlib_error) = 3cae633711eff5613643b0cf8d65678e
ocaml(Psmt2Frontend__Smtlib_lexer) = 8ac611cd5def81338137aeba51e08c1a
ocaml(Psmt2Frontend__Smtlib_parser) = 576c780e497c40c2a031856279f82a6e
ocaml(Psmt2Frontend__Smtlib_printer) = 128804738431a0ff1ca2e849585079d6
ocaml(Psmt2Frontend__Smtlib_syntax) = e8d687333df9e302eed84e0d62d4c727
ocaml(Psmt2Frontend__Smtlib_ty) = 35d34e8ce959e1dc8c58c403f8b32540
ocaml(Psmt2Frontend__Smtlib_typed_env) = 606e51fb056b424decb446adda400515
ocaml(Psmt2Frontend__Smtlib_typed_logic) = 20620a8c05f71e7857477557f7998676
ocaml(Psmt2Frontend__Smtlib_typing) = 5e83b2f1f848ca056111f48ba5a21800
ocaml(Psmt2Frontend__Version) = c4d1ca60e0f703ba7bd5261c767ca213
ocaml-psmt2-frontend = 0.4.0-20.fc41
ocaml-psmt2-frontend(riscv-64) = 0.4.0-20.fc41
ocaml-psmt2-frontend-doc = 0.4.0-20.fc41
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) = 2ef2d91ced81f6c72f852bab8ab406e0
ocaml(Psmt2Frontend) = 16e934f5e87089e766aa09562a438efe
ocaml(Psmt2Frontend__Options) = 0183792009bdd1ccf4fc3356a77f3c76
ocaml(Psmt2Frontend__Smtlib_error) = 3cae633711eff5613643b0cf8d65678e
ocaml(Psmt2Frontend__Smtlib_parser) = 576c780e497c40c2a031856279f82a6e
ocaml(Psmt2Frontend__Smtlib_printer) = 128804738431a0ff1ca2e849585079d6
ocaml(Psmt2Frontend__Smtlib_syntax) = e8d687333df9e302eed84e0d62d4c727
ocaml(Psmt2Frontend__Smtlib_ty) = 35d34e8ce959e1dc8c58c403f8b32540
ocaml(Psmt2Frontend__Smtlib_typed_env) = 606e51fb056b424decb446adda400515
ocaml(Psmt2Frontend__Smtlib_typed_logic) = 20620a8c05f71e7857477557f7998676
ocaml(Stdlib) = e8d9af458547c45080a71b9a6eaed658
ocaml(Stdlib__Buffer) = 95ef512a7236f1bacc50f09f9c168696
ocaml(Stdlib__Domain) = a456c9e3e2f48243314ef1be35f4d446
ocaml(Stdlib__Either) = d56b2e9ca14b69fdeef09f3b2fbd10ad
ocaml(Stdlib__Format) = 702457daf23d31d60ed421880364809f
ocaml(Stdlib__Hashtbl) = a95c460b872969c8d1b778e529006189
ocaml(Stdlib__Lexing) = d530e1b331fd907548b19994db369785
ocaml(Stdlib__List) = 0cd6f52e67f5324941afcf7df215a281
ocaml(Stdlib__Map) = 651c80e4374b6cfc98d3ddde65a9bf3e
ocaml(Stdlib__Printf) = 9472a4e324507b23e36ef7898eaf654a
ocaml(Stdlib__Seq) = ac22688c50c848ab417492a023ff76ab
ocaml(Stdlib__Stack) = 5814952db79030b43e32619dfb931b26
ocaml(Stdlib__String) = cdb3775f91c0e999766c3b2a50f03a7d
ocaml(Stdlib__Uchar) = 7eb8f0d1a7c18933885eaef3b23d79f4
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.75 MB
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/2c0.00 B
/usr/lib/.build-id/2c/768d2034ee727d7fb0c1c221a0b87f7fd54fa361.00 B
/usr/lib/.build-id/c00.00 B
/usr/lib/.build-id/c0/bdf37c9fa08507dbd9e6fc31ca042506fdec1138.00 B
/usr/lib64/ocaml/psmt2-frontend0.00 B
/usr/lib64/ocaml/psmt2-frontend/META196.00 B
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cma753.48 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmi920.00 B
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxs982.18 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.59 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmi6.05 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
f41-build-841371-161186 2024-08-14 16:38:31 expired