Name: ocaml-alt-ergo-parsers-devel	Distribution: Mageia
Version: 2.3.3	Vendor: Mageia.Org
Release: 2.mga10	Build date: Fri Jun 20 16:55:24 2025
Group: Sciences/Computer science	Build host: localhost
Size: 3084842	Source RPM: alt-ergo-2.3.3-2.mga10.src.rpm
Packager: daviddavid <daviddavid>
Url: https://alt-ergo.ocamlpro.com/
Summary: Development files for ocaml-alt-ergo-parsers

Alt-Ergo is an automated theorem prover implemented in OCaml. It is
based on CC(X) - a congruence closure algorithm parameterized by an
equational theory X. This algorithm is reminiscent of the Shostak
algorithm. Currently CC(X) is instantiated by the theory of linear
arithmetics. Alt-Ergo also contains a home made SAT-solver and an
instantiation mechanism by which it fully supports quantifiers.

This package contains development files needed to build applications
that use the Alt-Ergo parser library.

Provides

Requires

ocaml(AltErgoLib) = 4bb4f93905e596c2b8ecc24fc16d31f6
ocaml(AltErgoLib__Config) = 9aaa1da9433c07c86b584ef50a4dcf82
ocaml(AltErgoLib__Errors) = 3772753535a5bed26f6ff57747646492
ocaml(AltErgoLib__Hstring) = 16911fc0473d3f03256ae9ee74925fee
ocaml(AltErgoLib__Loc) = 94a1d1dc4899be5261fd5e652bd00e34
ocaml(AltErgoLib__MyDynlink) = a10b2a404f648b938cda50496cb794f1
ocaml(AltErgoLib__Numbers) = 4489fa1256880ffb66125d565c487b70
ocaml(AltErgoLib__NumbersInterface) = 57951aa763047c2975ea434f0bb66617
ocaml(AltErgoLib__Options) = 5b0efe6c35fe82d6776e8930e9332bcd
ocaml(AltErgoLib__Parsed) = 8edc0287f12c40665cd666d52f421e95
ocaml(AltErgoLib__Parsed_interface) = 1e995765b4355d954a2e1d47c14c771c
ocaml(AltErgoLib__Symbols) = 0c525027d45b1f5c918e6ed25626564a
ocaml(AltErgoLib__Ty) = fbcc26ba110d5329247e54ed73fa56f8
ocaml(AltErgoLib__Util) = f949b627fd5e2fbbd546f53f7f13a986
ocaml(AltErgoLib__Var) = b9ebf2fc76b06a147cf21f4de84275b1
ocaml(AltErgoParsers) = baceb72f71c7bb441e7b334b47847311
ocaml(AltErgoParsers__MyZip) = 831a03039a5d87585dc431ca8bf77671
ocaml(AltErgoParsers__Parsers) = 76a33564f2fdb18743f333eba17b520b
ocaml(AltErgoParsers__Parsers_loader) = 2c92dd2ffb22a846b5cb894fe796693a
ocaml(AltErgoParsers__Why_parser) = 0d3e2ba7fed17e449fe859c79e2d680a
ocaml(Big_int) = 8b70c3baa0dd4497291649f4406ff564
ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
ocaml(Nat) = ac055b7b9c802e3a7c7b5b4de2a0a7db
ocaml(Num) = 7f09aa952e547d565a7274a0bbe9de28
ocaml(Psmt2Frontend) = da1c48621eefb93bdb5487f67512e807
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(Ratio) = 4d4935f2d9806f8c43fd53cd32adbbfc
ocaml(Stdlib) = cfc6abca663b2d71db1750a2c051cf6e
ocaml(Stdlib__Arg) = 42e5c744281ca6c68a1c77928ebe6b38
ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c
ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
ocaml(Stdlib__Char) = 9d1b9b22570f14b7df32bb39bc59d2f2
ocaml(Stdlib__Domain) = 24d9be01b1377d92ed29d08905486a54
ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
ocaml(Stdlib__Filename) = f74cc059dcb93d696ed0ec81c946c31f
ocaml(Stdlib__Format) = 60af4e0c98f0be0b9d368a2a09700b3a
ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569
ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5
ocaml(Stdlib__Lexing) = 3e6ab8b82b1880d4ad2ced0d57aca6f7
ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
ocaml(Stdlib__Map) = c89b7925344cf894dcfa15de9855271e
ocaml(Stdlib__Obj) = 95b257801d6620efb9f733a08b806029
ocaml(Stdlib__Parsing) = bd54edc573639370f05685f6024fec11
ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06
ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
ocaml(Stdlib__Set) = 35df46d1279edd62fbcfbe1072794627
ocaml(Stdlib__Stack) = df4c36d6bbb131372027ae59ce7346dc
ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be
ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515
ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
ocaml(Zip) = e28cfee95af712fd1f0c66a38b17f013
ocaml-alt-ergo-lib-devel(x86-64) = 2.3.3-2.mga10
ocaml-alt-ergo-parsers(x86-64) = 2.3.3-2.mga10
ocaml-camlzip-devel(x86-64)
ocaml-psmt2-frontend-devel(x86-64)
ocamlx(AltErgoLib__Config) = c2f4c54910e7a79cf4dc93066c217bac
ocamlx(AltErgoLib__Errors) = 158e9671cdb9ef56b6d965d1782c304a
ocamlx(AltErgoLib__Loc) = b7042b7ffc8237dac3c34d87c5e0db62
ocamlx(AltErgoLib__MyDynlink) = eaadddb820fefb5859ea71dc5531b34b
ocamlx(AltErgoLib__Options) = 52c6872af57d5b85d55f602f373b41dd
ocamlx(AltErgoLib__Parsed_interface) = 4d7a93761c881f0913aa2e066a19c3c6
ocamlx(AltErgoParsers__MyZip) = f863ba967738c9b234bcd8bed41a197d
ocamlx(AltErgoParsers__Parsers) = c2f7cd19b1367237adab3c4bdb37f123
ocamlx(AltErgoParsers__Parsers_loader) = 819bffb572ae9192d18a033c29182b9f
ocamlx(AltErgoParsers__Why_parser) = 4560d6544038e8a71d7421e59c4d9a43
ocamlx(Num) = a64871318240e061de3e5ae93f461103
ocamlx(Psmt2Frontend__Options) = d105e8f05fa0d70690d202d660e38762
ocamlx(Psmt2Frontend__Smtlib_error) = 31c304b1ff5d6127b05393d0c2b72cbe
ocamlx(Psmt2Frontend__Smtlib_lexer) = 920da1d84e8f919141e5c0681c031f70
ocamlx(Psmt2Frontend__Smtlib_parser) = a79bcc26d2e13222b97bdb3b36c18b72
ocamlx(Psmt2Frontend__Smtlib_ty) = a10ef0def4cce8c2841c41545eb462b5
ocamlx(Psmt2Frontend__Smtlib_typed_env) = 856744990692d01ed9855f45b76f62d8
ocamlx(Psmt2Frontend__Smtlib_typing) = d75f239997d213e8574f35bd59b96d55
ocamlx(Stdlib) = 9dc4e5eb1428b4b83037e136de64d07b
ocamlx(Stdlib__Arg) = 8cb1072b0863a34eb88959888143e44f
ocamlx(Stdlib__Array) = def48d766be8b076d2a4fefcfbc64945
ocamlx(Stdlib__Buffer) = 019603e6c5a03da51c8ca38adff3c148
ocamlx(Stdlib__Filename) = bf3c8902f5a0bdbfcb879bef2df078c3
ocamlx(Stdlib__Format) = 9fd07a8bda3b6871f15d2dd899999381
ocamlx(Stdlib__Hashtbl) = 13921c1b993c3df360282ffc9e1fc820
ocamlx(Stdlib__Lexing) = a0a1b1cb8c436f14fa0076493b310581
ocamlx(Stdlib__List) = c3a511aa4a318695fc8c537a066b344c
ocamlx(Stdlib__Parsing) = deea4dc8ae9ee6caf763533e362a165b
ocamlx(Stdlib__Printf) = 3355dd2861376d6f7797acdac699579a
ocamlx(Stdlib__String) = f97b634b8d02a0422b61f35a94a2cf6b
ocamlx(Stdlib__Sys) = 2437f5a239783c66a7a6539f2924f9e6
ocamlx(Zip) = a9ca3f520292adcb52a89009eee06344
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1

License

Apache-2.0

Changelog

* Fri Jun 20 2025 daviddavid <daviddavid> 2.3.3-2.mga10
  + Revision: 2193100
  - exclude 32bit arches
  - rebuild for ocaml 5.3.0

Files

/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.a
/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.cmxa
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers.cmt
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers.cmx
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmt
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmti
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmx
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmt
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmti
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmx
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmt
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmti
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmx
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmt
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmti
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmx
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmt
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmx
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmt
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmti
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_parser.cmx
/usr/lib64/ocaml/alt-ergo-parsers/dune-package
/usr/lib64/ocaml/alt-ergo-parsers/myZip.mli
/usr/lib64/ocaml/alt-ergo-parsers/opam
/usr/lib64/ocaml/alt-ergo-parsers/parsers.mli
/usr/lib64/ocaml/alt-ergo-parsers/parsers_loader.mli
/usr/lib64/ocaml/alt-ergo-parsers/psmt2_to_alt_ergo.mli
/usr/lib64/ocaml/alt-ergo-parsers/why_parser.mli

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Jun 21 04:50:13 2025

ocaml-alt-ergo-parsers-devel-2.3.3-2.mga10 RPM for x86_64

From Mageia Cauldron for x86_64 / media / core / release

Provides

Requires

License

Changelog

Files