معرفی شرکت ها

ocaml-alt-ergo-parsers-devel-2.3.3-6.fc38.aarch64.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Development files for ocaml-alt-ergo-parsers
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything aarch64
نام بسته ocaml-alt-ergo-parsers-devel
نام فایل بسته ocaml-alt-ergo-parsers-devel-2.3.3-6.fc38.aarch64.rpm
نسخه بسته 2.3.3
انتشار بسته 6.fc38
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Fri 24 Mar 2023 07
هاست سازنده buildvm-a64-29.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://alt-ergo.ocamlpro.com/
مجوز Apache-2.0
حجم دانلود 1.7M
حجم نصب 6.873M
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.


جایگزین ها

بسته نسخه معماری مخزن
ocaml-alt-ergo-parsers-devel-2.3.3-6.fc38.i686.rpm 2.3.3 i686 Fedora Everything
ocaml-alt-ergo-parsers-devel-2.3.3-6.fc38.x86_64.rpm 2.3.3 x86_64 Fedora Everything


نیازمندی

مقدار نام
= 9eb66ead7c16505345480d13d62e19da ocaml(AltErgoLib)
= 9835656dab47de6cda20af4248b2c2cf ocaml(AltErgoLib__Config)
= 8ddedb86ddf18434908fc29a84d5546c ocaml(AltErgoLib__Errors)
= c93e12be40643436ef709ad9e2706bb0 ocaml(AltErgoLib__Hstring)
= b8f3bebe83000b643e8579e4920032b1 ocaml(AltErgoLib__Loc)
= 5a67fb8407d6c8e5a46cd8e666501148 ocaml(AltErgoLib__MyDynlink)
= 71b1a067d71454362971f6534db1cc10 ocaml(AltErgoLib__Numbers)
= 181149daa6fe682f6f5620828b3bdef3 ocaml(AltErgoLib__NumbersInterface)
= 14fb4d773074dba9990c8bcc335f9f7a ocaml(AltErgoLib__Options)
= ef01fbd8363b4f00948438735572597d ocaml(AltErgoLib__Parsed)
= cf785c50d11b6d9f8f07c6801663e599 ocaml(AltErgoLib__Parsed_interface)
= d7f0d2d4113a8cc1600b67cbe22de1b1 ocaml(AltErgoLib__Symbols)
= 8ef60b809738fabfb3a77cc9ad26199e ocaml(AltErgoLib__Ty)
= ed0c2975007767bee70b3cba28930fb0 ocaml(AltErgoLib__Util)
= 9dfadf1482d7c321f0f33dbdcdbc799f ocaml(AltErgoLib__Var)
= ce89ed8e1069e44be12abf26bc173520 ocaml(AltErgoParsers)
= deca2516f1fe6634681e8e06a4e11508 ocaml(AltErgoParsers__MyZip)
= efee12d9ac60bf318ea2db0c98768227 ocaml(AltErgoParsers__Parsers)
= 1cfce6e3fa809e1823f069538f4c4ec2 ocaml(AltErgoParsers__Parsers_loader)
= 6fe205aaef100d6231b8edb8c0bd1d27 ocaml(AltErgoParsers__Why_parser)
= 0d29f9784dac1f856b4e4b9ce51e6e37 ocaml(Big_int)
= 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalFormatBasics)
= cf53074211ea56c636ac753b3faa2286 ocaml(Nat)
= d7e7bf3115ef0f4d7fc54872e5ab1a14 ocaml(Num)
= 3acb5fff4139ae05e0a9decb7f14b441 ocaml(Psmt2Frontend)
= f2a7d3b1791e22532e11aab66897b80e ocaml(Psmt2Frontend__Options)
= 9db40cf067a5f5dfaee657fa78b512c2 ocaml(Psmt2Frontend__Smtlib_error)
= 9e85d1060c958e8d001eb03bca8f6a88 ocaml(Psmt2Frontend__Smtlib_lexer)
= e81464008f8a2258172e55589846de9e ocaml(Psmt2Frontend__Smtlib_parser)
= be9f1a8a628fcb7f7a036510514a2463 ocaml(Psmt2Frontend__Smtlib_printer)
= cb4c1e026844f8e78cd5146035b5774a ocaml(Psmt2Frontend__Smtlib_syntax)
= 8661f17d2610dfba82827494bde6d5dd ocaml(Psmt2Frontend__Smtlib_ty)
= 990dd6593a57a6587922a1820ed67a83 ocaml(Psmt2Frontend__Smtlib_typed_env)
= 812b13d1c32c68cbda2225da8fe9f724 ocaml(Psmt2Frontend__Smtlib_typed_logic)
= ac4488d3b0b57c9b3b554ec5407ec195 ocaml(Psmt2Frontend__Smtlib_typing)
= 28be2dbf598b1671fb5c1b4bdf6e2b0b ocaml(Ratio)
= 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib)
= 04b768df3893b886dc494cea56b4aa5f ocaml(Stdlib__Arg)
= 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Array)
= 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Buffer)
= 62afe57b49defcc078960a68b9efbbee ocaml(Stdlib__Char)
= 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Either)
= 3bcff250dd30a0e620fa7546882aaadf ocaml(Stdlib__Filename)
= b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Format)
= 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Hashtbl)
= a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int32)
= c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__Lexing)
= ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__List)
= 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Map)
= 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Obj)
= bb5f62fa906224c917383a27d025e251 ocaml(Stdlib__Parsing)
= bc8af6214197dc8f40eaa738a4cd6a28 ocaml(Stdlib__Printf)
= b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Seq)
= 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__Set)
= 30ae8c258e7fc6fb7e6370a60256d724 ocaml(Stdlib__Stack)
= 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__String)
= 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Sys)
= c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Uchar)
= 0611311d26f05fe79e34390886c01f94 ocaml(Zip)
= 2.3.3-6.fc38 ocaml-alt-ergo-lib-devel(aarch-64)
= 2.3.3-6.fc38 ocaml-alt-ergo-parsers(aarch-64)
- ocaml-psmt2-frontend-devel(aarch-64)
- ocaml-zip-devel(aarch-64)
= a8c327a0020c520b2a4c3c7082ed57a7 ocamlx(Num)
= e60c0e611c11791a372043a4682287fd ocamlx(Psmt2Frontend__Options)
= 9434372ca5afd1559b46b518d24bff7d ocamlx(Psmt2Frontend__Smtlib_error)
= ca4564c227e07d46d822a9a3831e7309 ocamlx(Psmt2Frontend__Smtlib_lexer)
= 74804e9d569f27589747ab24853db376 ocamlx(Psmt2Frontend__Smtlib_parser)
= df6b2fc02d82e041ec84fd59e20c8c2f ocamlx(Psmt2Frontend__Smtlib_ty)
= 9bf4e1bfd3bc7c6c8e20381bb30526c2 ocamlx(Psmt2Frontend__Smtlib_typed_env)
= e15f8234ec04a765fa9d454176294a6c ocamlx(Psmt2Frontend__Smtlib_typing)
= 29fc6b4fd90dc91235156e20d0575996 ocamlx(Stdlib)
= 2df71eccebe0b6136a2e86c3c8daffc0 ocamlx(Stdlib__Arg)
= bb1212fc50265efb994301edbd2f0ecc ocamlx(Stdlib__Array)
= 673e1a9feee4c24aeb62fe0f3e3ec4ad ocamlx(Stdlib__Buffer)
= d28509257398356aab9aed2edf11d6cb ocamlx(Stdlib__Filename)
= 983da56657d4a84e1921601ebd2ba5fd ocamlx(Stdlib__Format)
= c60c5e9b84ec15b69584c299944d0abb ocamlx(Stdlib__Hashtbl)
= 4ba20253768aee73219c565dee7243bd ocamlx(Stdlib__Lexing)
= 75bce4c751643e407b6e75caf60b9db7 ocamlx(Stdlib__List)
= a4138a3a0c08cdb070011623c83ca032 ocamlx(Stdlib__Parsing)
= 5637860688f82d7f837407cfaf0a6fae ocamlx(Stdlib__Printf)
= 16f00be18fe41d5b5f3bc6b9bf6629df ocamlx(Stdlib__String)
= b7b20574aeaf6b9579b0e18cd71b27d3 ocamlx(Stdlib__Sys)
= 9d5fd155dbb9cc59de6b95677cc20741 ocamlx(Zip)


ارائه دهنده

مقدار نام
= ce89ed8e1069e44be12abf26bc173520 ocaml(AltErgoParsers)
= deca2516f1fe6634681e8e06a4e11508 ocaml(AltErgoParsers__MyZip)
= efee12d9ac60bf318ea2db0c98768227 ocaml(AltErgoParsers__Parsers)
= 1cfce6e3fa809e1823f069538f4c4ec2 ocaml(AltErgoParsers__Parsers_loader)
= be851fd3d8d4c60c4277513a418e1149 ocaml(AltErgoParsers__Psmt2_to_alt_ergo)
= 1fe46b40f9c3b7489cf5e9b2ed78f0c2 ocaml(AltErgoParsers__Why_lexer)
= 6fe205aaef100d6231b8edb8c0bd1d27 ocaml(AltErgoParsers__Why_parser)
= 2.3.3-6.fc38 ocaml-alt-ergo-parsers-devel
= 2.3.3-6.fc38 ocaml-alt-ergo-parsers-devel(aarch-64)
= 675e76dc48d528ef3997fd4bef81e30d ocamlx(AltErgoParsers)
= 4632a6835cad8f29b8ffd8e0a5e09d42 ocamlx(AltErgoParsers__MyZip)
= d990806546bb3076d8bc97cbb8a11743 ocamlx(AltErgoParsers__Parsers)
= c43549fec8d22bc076d90d02d5f42a5c ocamlx(AltErgoParsers__Parsers_loader)
= 210f88d4e2bcf716278ed4b8a150d16a ocamlx(AltErgoParsers__Psmt2_to_alt_ergo)
= bdabe2567b9826a6783417c8db8a92b0 ocamlx(AltErgoParsers__Why_lexer)
= 86dd9d6c6b9406c414c4b6022d0d9fb8 ocamlx(AltErgoParsers__Why_parser)


نحوه نصب


نصب پکیج rpm ocaml-alt-ergo-parsers-devel:

    dnf install ocaml-alt-ergo-parsers-devel-2.3.3-6.fc38.aarch64.rpm


فایل ها

مسیرها
/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


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2023-03-24

Dune 3.7.0 changed the install location of mli files

2023-01-24

Rebuild OCaml packages for F38

2023-01-18

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-08-11

Convert License tag to SPDX
Note that the AB plugin has a different license

2022-07-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-05

Patch out uses of the dune external-lib-deps command
Patch out references to the seq forward compatibility module
Use new OCaml macros

2022-06-20

Version 2.3.3
Add -menhir patch to fix FTBFS
Add -stdlib-shims patch since Fedora does not need stdlib-shims

2022-06-19

OCaml 4.14.0 rebuild

2022-02-28

Switch to the correct tarball
Drop unneeded ocaml-findlib BR
Add dependency on ocaml-alt-ergo-parsers from ocaml-alt-ergo-parsers-devel

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-12-27

Version 2.3.0
New ocaml-alt-ergo-lib and ocaml-alt-ergo-parsers subpackages

2021-10-05

OCaml 4.13.1 build

2021-07-29

Rebuild for changed ocamlx(Dynlink)

2021-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-07-19

Move META to the main package