Name: ocaml-alt-ergo-parsers-devel	Distribution: Mageia
Version: 2.3.3	Vendor: Mageia.Org
Release: 1.mga9	Build date: Mon Mar 20 12:29:22 2023
Group: Sciences/Computer science	Build host: localhost
Size: 7450982	Source RPM: alt-ergo-2.3.3-1.mga9.src.rpm
Packager: pterjan <pterjan>
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) = 2805a9ba4c0200933b0aebe076a87520
ocaml(AltErgoLib__Config) = 9835656dab47de6cda20af4248b2c2cf
ocaml(AltErgoLib__Errors) = 8ddedb86ddf18434908fc29a84d5546c
ocaml(AltErgoLib__Hstring) = c93e12be40643436ef709ad9e2706bb0
ocaml(AltErgoLib__Loc) = b8f3bebe83000b643e8579e4920032b1
ocaml(AltErgoLib__MyDynlink) = 5a67fb8407d6c8e5a46cd8e666501148
ocaml(AltErgoLib__Numbers) = 71b1a067d71454362971f6534db1cc10
ocaml(AltErgoLib__NumbersInterface) = 181149daa6fe682f6f5620828b3bdef3
ocaml(AltErgoLib__Options) = 14fb4d773074dba9990c8bcc335f9f7a
ocaml(AltErgoLib__Parsed) = ef01fbd8363b4f00948438735572597d
ocaml(AltErgoLib__Parsed_interface) = cf785c50d11b6d9f8f07c6801663e599
ocaml(AltErgoLib__Symbols) = d7f0d2d4113a8cc1600b67cbe22de1b1
ocaml(AltErgoLib__Ty) = 8ef60b809738fabfb3a77cc9ad26199e
ocaml(AltErgoLib__Util) = ed0c2975007767bee70b3cba28930fb0
ocaml(AltErgoLib__Var) = 9dfadf1482d7c321f0f33dbdcdbc799f
ocaml(AltErgoParsers) = db2285e8da323cbeb0ca16107a3d5fc2
ocaml(AltErgoParsers__MyZip) = deca2516f1fe6634681e8e06a4e11508
ocaml(AltErgoParsers__Parsers) = efee12d9ac60bf318ea2db0c98768227
ocaml(AltErgoParsers__Parsers_loader) = 1cfce6e3fa809e1823f069538f4c4ec2
ocaml(AltErgoParsers__Why_parser) = 6fe205aaef100d6231b8edb8c0bd1d27
ocaml(Big_int) = 0d29f9784dac1f856b4e4b9ce51e6e37
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(Nat) = cf53074211ea56c636ac753b3faa2286
ocaml(Num) = d7e7bf3115ef0f4d7fc54872e5ab1a14
ocaml(Psmt2Frontend) = 606c3212e2cdca58a7413943d1c1f655
ocaml(Psmt2Frontend__Options) = f2a7d3b1791e22532e11aab66897b80e
ocaml(Psmt2Frontend__Smtlib_error) = 9db40cf067a5f5dfaee657fa78b512c2
ocaml(Psmt2Frontend__Smtlib_lexer) = 9e85d1060c958e8d001eb03bca8f6a88
ocaml(Psmt2Frontend__Smtlib_parser) = e81464008f8a2258172e55589846de9e
ocaml(Psmt2Frontend__Smtlib_printer) = be9f1a8a628fcb7f7a036510514a2463
ocaml(Psmt2Frontend__Smtlib_syntax) = cb4c1e026844f8e78cd5146035b5774a
ocaml(Psmt2Frontend__Smtlib_ty) = 8661f17d2610dfba82827494bde6d5dd
ocaml(Psmt2Frontend__Smtlib_typed_env) = 990dd6593a57a6587922a1820ed67a83
ocaml(Psmt2Frontend__Smtlib_typed_logic) = 812b13d1c32c68cbda2225da8fe9f724
ocaml(Psmt2Frontend__Smtlib_typing) = ac4488d3b0b57c9b3b554ec5407ec195
ocaml(Ratio) = 28be2dbf598b1671fb5c1b4bdf6e2b0b
ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930
ocaml(Stdlib__Arg) = 04b768df3893b886dc494cea56b4aa5f
ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865
ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
ocaml(Stdlib__Char) = 62afe57b49defcc078960a68b9efbbee
ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf
ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401
ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab
ocaml(Stdlib__Lexing) = c9318c276ac7e383fd682c2dd06be434
ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680
ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3
ocaml(Stdlib__Parsing) = bb5f62fa906224c917383a27d025e251
ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28
ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658
ocaml(Stdlib__Stack) = 30ae8c258e7fc6fb7e6370a60256d724
ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocaml(Zip) = 0611311d26f05fe79e34390886c01f94
ocaml-alt-ergo-lib-devel(x86-64) = 2.3.3-1.mga9
ocaml-alt-ergo-parsers(x86-64) = 2.3.3-1.mga9
ocaml-psmt2-frontend-devel(x86-64)
ocaml-zip-devel(x86-64)
ocamlx(AltErgoLib__Config) = 53fa23d07131c993d9de625ef0c942c7
ocamlx(AltErgoLib__Errors) = b0ee91ac6d559a5b571a86571ac01ff7
ocamlx(AltErgoLib__Loc) = 807c83c8bc40d700f22ebd9a0528498b
ocamlx(AltErgoLib__MyDynlink) = 09e0f58bdf5cafb8df6ca79ea33c34fd
ocamlx(AltErgoLib__Options) = 95b339b20019021651192ce031bafe17
ocamlx(AltErgoLib__Parsed_interface) = 355a015285bedbe913421416ae7e80c7
ocamlx(AltErgoParsers__MyZip) = a4ee5d67f4996bac044a3c39683a97f2
ocamlx(AltErgoParsers__Parsers) = 38dd3ba9b15229fc372d9ed3f2960c40
ocamlx(AltErgoParsers__Parsers_loader) = 404f6bb7be16c61e2298594a64c02afb
ocamlx(AltErgoParsers__Why_parser) = 679d36b241b8f1e5b9fcb9cbbdc56c15
ocamlx(Num) = 59a1c4e6386b714f6c3a84434ca2b6ed
ocamlx(Psmt2Frontend__Options) = 513af3a5a93264c1613ac58e9aa28b7e
ocamlx(Psmt2Frontend__Smtlib_error) = 012bc5b98a5877c9dd8fcc256ae90d2f
ocamlx(Psmt2Frontend__Smtlib_lexer) = 5fd3a84b9ad771389b570acae07557ec
ocamlx(Psmt2Frontend__Smtlib_parser) = 77feddaa5233c127823fcae56a63ef90
ocamlx(Psmt2Frontend__Smtlib_ty) = 7ab97ef699fb1c8a95bb9c0a6c6ba5b6
ocamlx(Psmt2Frontend__Smtlib_typed_env) = 164952a1071868fc126c13e7efe55db2
ocamlx(Psmt2Frontend__Smtlib_typing) = a37dc6a89ef3ad08dba6f52b484b3133
ocamlx(Stdlib) = 38e227ea48015bcdfb5d9a4f1cb2689a
ocamlx(Stdlib__Arg) = d130df570295c3fefaee00f88db5fed5
ocamlx(Stdlib__Array) = c17b2f7cf4a4cce9bfec4b26eec495f7
ocamlx(Stdlib__Buffer) = ec734da0dbd1f4871a6e468dd99f1edb
ocamlx(Stdlib__Filename) = bb85b1b67a0eed0835203615c014e867
ocamlx(Stdlib__Format) = 252dee0ca8b365189f2ed175e3779e3c
ocamlx(Stdlib__Hashtbl) = ffa6c0b4e31fbd58c5b0b7fda03f991f
ocamlx(Stdlib__Lexing) = b92bcde89c2e887e267fc7f0ad189ee9
ocamlx(Stdlib__List) = 55527cfeed14dbd1464fa9bc64111883
ocamlx(Stdlib__Parsing) = f50fe0f7d9facd7fd97342bdfe2c1be0
ocamlx(Stdlib__Printf) = b5325f43d38afc618da7b0fb873c7faa
ocamlx(Stdlib__String) = 650b799d3032d2e3c133eae0b21c0f95
ocamlx(Stdlib__Sys) = 5c3bb467dddca8a9684f29a499f12938
ocamlx(Zip) = efd34814af9d92b53382b0147eb10137
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

* Sun Mar 19 2023 pterjan <pterjan> 2.3.3-1.mga9
  + Revision: 1949747
  - Update to 2.3.3 and partially sync with Fedora
  - Disable GUI as it needs gtksourceview2 we no longer have
* Sun Jan 08 2023 daviddavid <daviddavid> 2.2.0-18.mga9
  + Revision: 1931573
  - rebuild for ocaml-zarith change
* Thu May 19 2022 pterjan <pterjan> 2.2.0-17.mga9
  + Revision: 1859000
  - Rebuild for OCaml 4.14
* Wed Apr 06 2022 umeabot <umeabot> 2.2.0-16.mga9
  + Revision: 1845914
  - Mageia 9 Mass Rebuild
* Thu Oct 14 2021 tv <tv> 2.2.0-15.mga9
  + Revision: 1751384
  - Rebuild for ocaml 4.13.1
* Fri Mar 26 2021 tv <tv> 2.2.0-14.mga9
  + Revision: 1710561
  - Do not Require private ocaml interfaces that we don't Provide
    (thus fixing installation)
* Mon Mar 22 2021 tv <tv> 2.2.0-12.mga9
  + Revision: 1707991
  - Rebuild for ocaml 4.12
  - rebuild for ocaml-4.12

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, Fri Dec 27 05:16:26 2024

ocaml-alt-ergo-parsers-devel-2.3.3-1.mga9 RPM for x86_64

From Mageia 9 for x86_64 / media / core / release

Provides

Requires

License

Changelog

Files