fedora

Information for RPM ocaml-psmt2-frontend-devel-0.4.0-22.rvre0.fc42.riscv64.rpm

ID48725
Buildocaml-psmt2-frontend-0.4.0-22.rvre0.fc42
Nameocaml-psmt2-frontend-devel
Version0.4.0
Release22.rvre0.fc42
Epoch
Archriscv64
DraftFalse
SummaryDevelopment files for ocaml-psmt2-frontend
DescriptionThe ocaml-psmt2-frontend-devel package contains libraries and signature files for developing applications that use ocaml-psmt2-frontend.
Build Time2025-04-02 07:27:47 GMT
Size2.43 MB
c2d1d42276bf6ec46f55bd5323698c75
LicenseApache-2.0
git:https://github.com/ACoquereau/psmt2-frontend.git
Provides
ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807
ocaml(Psmt2Frontend__Main) = a7a1d74422008ed981a3e1588f80e1b2
ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7
ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd
ocaml(Psmt2Frontend__Smtlib_lexer) = fdbc1aba625531e8176b5098e36c5c70
ocaml(Psmt2Frontend__Smtlib_parser) = c1544d41e1d6b5fdb7977a04bb88fb0c
ocaml(Psmt2Frontend__Smtlib_printer) = 89c2fe940f9e39796dc263797e08cc8c
ocaml(Psmt2Frontend__Smtlib_syntax) = 84f494d542c5f758df42028a1581a53a
ocaml(Psmt2Frontend__Smtlib_ty) = 8f30bf5be4431fa5b4e5f42c2d62c1c9
ocaml(Psmt2Frontend__Smtlib_typed_env) = 5d1fc87a782daebb3332ec9e9fe043b4
ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced
ocaml(Psmt2Frontend__Smtlib_typing) = 243852d0888387869e7439b9d32dae59
ocaml(Psmt2Frontend__Version) = e46916c01ef00daa8020057f636a1538
ocaml-psmt2-frontend-devel = 0.4.0-22.rvre0.fc42
ocaml-psmt2-frontend-devel(riscv-64) = 0.4.0-22.rvre0.fc42
ocamlx(Psmt2Frontend) = 7f6288125d5b2c4f27595652ffc232eb
ocamlx(Psmt2Frontend__Main) = f0675f37ff3d1e0237da8d05a076e40d
ocamlx(Psmt2Frontend__Options) = 16502f7f051a6c501a3862947c533d23
ocamlx(Psmt2Frontend__Smtlib_error) = d82d15d071693ff9b1a4d231f8faef81
ocamlx(Psmt2Frontend__Smtlib_lexer) = 88735205739728514c576abc5f92d83b
ocamlx(Psmt2Frontend__Smtlib_parser) = bd49e390933afca3b8abd7dab3e50f06
ocamlx(Psmt2Frontend__Smtlib_printer) = 249b185572bee21f1236a94f8ee82821
ocamlx(Psmt2Frontend__Smtlib_syntax) = 1c161c2fad490f2c3cd509334e8da32c
ocamlx(Psmt2Frontend__Smtlib_ty) = 1d000cce5b29eaedbb12c717a58035c2
ocamlx(Psmt2Frontend__Smtlib_typed_env) = 6fae466a96b507ab41b01387f03d7c41
ocamlx(Psmt2Frontend__Smtlib_typed_logic) = 0a14fb0374a3f8140bda8550544bab4d
ocamlx(Psmt2Frontend__Smtlib_typing) = 6a0c80e42c158314d4982fbc52214446
ocamlx(Psmt2Frontend__Version) = 37de199bec9a8fee43790dac055a1edd
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807
ocaml(Psmt2Frontend__Options) = f9085dc5b042e4da1cd5e75167bdadc7
ocaml(Psmt2Frontend__Smtlib_error) = 4c6e6324e5441e8ba3325d09a4c9dacd
ocaml(Psmt2Frontend__Smtlib_parser) = c1544d41e1d6b5fdb7977a04bb88fb0c
ocaml(Psmt2Frontend__Smtlib_printer) = 89c2fe940f9e39796dc263797e08cc8c
ocaml(Psmt2Frontend__Smtlib_syntax) = 84f494d542c5f758df42028a1581a53a
ocaml(Psmt2Frontend__Smtlib_ty) = 8f30bf5be4431fa5b4e5f42c2d62c1c9
ocaml(Psmt2Frontend__Smtlib_typed_env) = 5d1fc87a782daebb3332ec9e9fe043b4
ocaml(Psmt2Frontend__Smtlib_typed_logic) = 1e82f54e2c5a8bb356b2745f9ace1ced
ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e
ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a
ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569
ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7
ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e
ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06
ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc
ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be
ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
ocaml-psmt2-frontend(riscv-64) = 0.4.0-22.rvre0.fc42
ocamlx(CamlinternalFormat) = 8dd3be4582e976f0a6f69a910d4a5efe
ocamlx(Psmt2Frontend__Options) = 16502f7f051a6c501a3862947c533d23
ocamlx(Psmt2Frontend__Smtlib_error) = d82d15d071693ff9b1a4d231f8faef81
ocamlx(Psmt2Frontend__Smtlib_printer) = 249b185572bee21f1236a94f8ee82821
ocamlx(Psmt2Frontend__Smtlib_ty) = 1d000cce5b29eaedbb12c717a58035c2
ocamlx(Psmt2Frontend__Smtlib_typed_env) = 6fae466a96b507ab41b01387f03d7c41
ocamlx(Psmt2Frontend__Smtlib_typed_logic) = 0a14fb0374a3f8140bda8550544bab4d
ocamlx(Stdlib) = 29ccdc189a615dabadac01b99d97fd28
ocamlx(Stdlib__Bytes) = 18ef580ddbffe6a1280e9aed4494c4d3
ocamlx(Stdlib__Domain) = 497fd555d896adaf3be163fec31546c9
ocamlx(Stdlib__Format) = f822c9fc11de6b986a5e9169fdea8af4
ocamlx(Stdlib__Hashtbl) = d10c8d4c0b641ab242198048075a2b60
ocamlx(Stdlib__Lexing) = 97927c9b4a6378af7864dcd2e6215a41
ocamlx(Stdlib__List) = 3f29768f7527d3ab37c91af9aa0997df
ocamlx(Stdlib__Map) = 1d0cc843181f510c94c1b7ac7977ba84
ocamlx(Stdlib__Printf) = 02eeb55af45bc28bbfbc703d255ac2b0
ocamlx(Stdlib__Random) = be0ccad184326d574715215885193685
ocamlx(Stdlib__Stack) = 4610e2b6df278052a237b1c2bc885a76
ocamlx(Stdlib__String) = 9e26947ec23b93ed6e936b8a407df85b
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 48 of 48
Name ascending sort Size
/usr/lib64/ocaml/psmt2-frontend/dune-package4.42 KB
/usr/lib64/ocaml/psmt2-frontend/main.ml864.00 B
/usr/lib64/ocaml/psmt2-frontend/opam1005.00 B
/usr/lib64/ocaml/psmt2-frontend/options.mli1.10 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.a2.30 MB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmt4.15 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmx582.00 B
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.cmxa10.59 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend.ml1.13 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmt3.05 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Main.cmx1.68 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmt14.27 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmti6.90 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Options.cmx19.95 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmt18.32 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_error.cmx15.02 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmt32.17 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_lexer.cmx101.71 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmt1.11 MB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmti10.55 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_parser.cmx1.28 MB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmt62.53 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_printer.cmx69.06 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmt23.14 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_syntax.cmx896.00 B
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmt58.06 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_ty.cmx114.54 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmt84.66 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_env.cmx127.08 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmt72.56 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typed_logic.cmx68.84 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmt72.04 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Smtlib_typing.cmx78.26 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmt1.37 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmti1.62 KB
/usr/lib64/ocaml/psmt2-frontend/psmt2Frontend__Version.cmx408.00 B
/usr/lib64/ocaml/psmt2-frontend/smtlib_error.ml2.69 KB
/usr/lib64/ocaml/psmt2-frontend/smtlib_lexer.ml382.36 KB
/usr/lib64/ocaml/psmt2-frontend/smtlib_parser.mli1.80 KB
/usr/lib64/ocaml/psmt2-frontend/smtlib_printer.ml8.39 KB
/usr/lib64/ocaml/psmt2-frontend/smtlib_syntax.ml5.03 KB
/usr/lib64/ocaml/psmt2-frontend/smtlib_ty.ml7.50 KB
/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_env.ml12.88 KB
/usr/lib64/ocaml/psmt2-frontend/smtlib_typed_logic.ml14.87 KB
/usr/lib64/ocaml/psmt2-frontend/smtlib_typing.ml13.06 KB
/usr/lib64/ocaml/psmt2-frontend/version.mli20.00 B
/usr/lib64/ocaml/psmt2-frontend_bin/dune-package302.00 B
/usr/lib64/ocaml/psmt2-frontend_bin/opam1.02 KB
Component of No Buildroots