معرفی شرکت ها

ocaml-alt-ergo-parsers-2.3.3-10.fc39.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Parser library used by the Alt-Ergo SMT solver
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything x86_64
نام بسته ocaml-alt-ergo-parsers
نام فایل بسته ocaml-alt-ergo-parsers-2.3.3-10.fc39.x86_64.rpm
نسخه بسته 2.3.3
انتشار بسته 10.fc39
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Thu Jul 27 19
هاست سازنده buildvm-x86-07.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://alt-ergo.ocamlpro.com/
مجوز Apache-2.0
حجم دانلود 1.3M
حجم نصب 3.835M
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 the parser library used by the Alt-Ergo SMT solver.


جایگزین ها

بسته نسخه معماری مخزن
ocaml-alt-ergo-parsers-2.3.3-10.fc39.aarch64.rpm 2.3.3 aarch64 Fedora Everything
ocaml-alt-ergo-parsers-debuginfo-2.3.3-10.fc39.aarch64.rpm 2.3.3 aarch64 Fedora Everything
ocaml-alt-ergo-parsers-debuginfo-2.3.3-10.fc39.x86_64.rpm 2.3.3 x86_64 Fedora Everything
ocaml-alt-ergo-parsers-devel-2.3.3-10.fc39.aarch64.rpm 2.3.3 aarch64 Fedora Everything
ocaml-alt-ergo-parsers-devel-2.3.3-10.fc39.x86_64.rpm 2.3.3 x86_64 Fedora Everything


نیازمندی

مقدار نام
= ce34a71b8ff0acf57da7f3ba64381627 ocaml(AltErgoLib)
= 8b97f72d99bf8375ca582a53eb1d2417 ocaml(AltErgoLib__Config)
= bf5cb30dd914c1090b2fa6cd73dad55a ocaml(AltErgoLib__Errors)
= e5cf26e419195148644f898e98257d4f ocaml(AltErgoLib__Hstring)
= 2b2dd57c875e9cf908a505ec0f0b6955 ocaml(AltErgoLib__Loc)
= f3dff9e6ce88c05d8921f68607580107 ocaml(AltErgoLib__MyDynlink)
= f49a7a5d15e00e34d881b95d41d87a42 ocaml(AltErgoLib__Numbers)
= f3652ea41a17f6eaf94277ccb93e2623 ocaml(AltErgoLib__NumbersInterface)
= 36af2bd3447a7a52947ed081eb204a64 ocaml(AltErgoLib__Options)
= cdcd7788a1bae8f91a1b3f54781a1ff9 ocaml(AltErgoLib__Parsed)
= 98b120306d32907f2a41e2b924ca3783 ocaml(AltErgoLib__Parsed_interface)
= 8d2afd2fa4c8da2fdfe28a9811e4466d ocaml(AltErgoLib__Symbols)
= fd1271816fd0c6b518c32711af3658af ocaml(AltErgoLib__Ty)
= 2de7595a3486b407dedbaea16d1f1da3 ocaml(AltErgoLib__Util)
= e9832a21a07c077b7a1b45d133c5408d ocaml(AltErgoLib__Var)
= 42e33b0b70c66c7380c76d197e12ef0b ocaml(AltErgoParsers)
= fdf0c9639296f9391804332528f8ea01 ocaml(AltErgoParsers__MyZip)
= e3fdf25cff296ceaba1e10b6afaa7890 ocaml(AltErgoParsers__Parsers)
= 66dae3a491196f6bb7d39c4a13a576d0 ocaml(AltErgoParsers__Parsers_loader)
= 8899d86cfd9c16723bf61fd46d9f14b8 ocaml(AltErgoParsers__Why_parser)
= c348bf5d6952825e8ab4697cd21d92e8 ocaml(Big_int)
= cecfafd5c021473f5e358c96ac7502a0 ocaml(CamlinternalFormatBasics)
= 36ba3d58508817d41dd1905e534c85c9 ocaml(Nat)
= 69a10358c2a75c07be1bac4cd2c1551f ocaml(Num)
= 0ab297b4b0711d656b172837abc11452 ocaml(Psmt2Frontend)
= 7d7b72ebf84d4dfb4b996c96b0470e12 ocaml(Psmt2Frontend__Options)
= 6407385f4f368d53d5952fb397f6bdc9 ocaml(Psmt2Frontend__Smtlib_error)
= ab6f103813f24b0d53de46e596a24115 ocaml(Psmt2Frontend__Smtlib_lexer)
= 619f7f44689c46a50ea4a85165254816 ocaml(Psmt2Frontend__Smtlib_parser)
= 7e02e0c6fdac48d01c2b776f19230214 ocaml(Psmt2Frontend__Smtlib_printer)
= 0b284fa3ea9ca81f3b4cf1ee462140ca ocaml(Psmt2Frontend__Smtlib_syntax)
= 20caf42ce0d1a3851b588ef379a1ab63 ocaml(Psmt2Frontend__Smtlib_ty)
= b9e48d85d7b8701d0b500d9801f7e034 ocaml(Psmt2Frontend__Smtlib_typed_env)
= 8d3adeaee5bdfe5a90a5f72d22b20543 ocaml(Psmt2Frontend__Smtlib_typed_logic)
= 921f93d86adbb76e2967e183923fc867 ocaml(Psmt2Frontend__Smtlib_typing)
= 341ea856349b462e0ac3337940b8bef9 ocaml(Ratio)
= 85f85ddb47edc0c7579657eee740302d ocaml(Stdlib)
= 37ac8abf22d3dbe8e900dc221da3abf4 ocaml(Stdlib__Arg)
= 9bcf1a06bdcfbb976f898e818e15611a ocaml(Stdlib__Array)
= 12b944b4b2913751cd65bdc638975d4d ocaml(Stdlib__Buffer)
= 71d01c936f35204d25fbdc2a38153066 ocaml(Stdlib__Char)
= 0d152be3cd9163970a657d842fca8ecf ocaml(Stdlib__Domain)
= b3ad0f8c65f28252059edebc03f68808 ocaml(Stdlib__Either)
= 218e1f57bdea9d296a9f66e323e71029 ocaml(Stdlib__Filename)
= e7385010d0d6a0bbd4191bc7546d458a ocaml(Stdlib__Format)
= bafdecabd3fce4f5ccc09a1a5587dab4 ocaml(Stdlib__Hashtbl)
= 1db604c2106f996ea47a572773a5ff7f ocaml(Stdlib__Int32)
= be62854f0fbcd8531fe531cd00e34821 ocaml(Stdlib__Lexing)
= feb7c568830f9f239501efb83f4725e4 ocaml(Stdlib__List)
= 71415964978d1cf0c1701af1137aa1ea ocaml(Stdlib__Map)
= 85655eceec5bcd6c7c4ef5dd6758b19d ocaml(Stdlib__Obj)
= b6df92cdc398ed512c6107b99069599a ocaml(Stdlib__Parsing)
= 8debea255efc834da5c1bc2e73f09214 ocaml(Stdlib__Printf)
= cc3f899885b746f777815dc93be7ede2 ocaml(Stdlib__Seq)
= f849884bcf48f894e90800c7ccd98f21 ocaml(Stdlib__Set)
= 2c058a31c4619e2e1504072ca87f6bee ocaml(Stdlib__Stack)
= facad7e0dada5941148738b8188d844f ocaml(Stdlib__String)
= a0375c47cee9c7e20ff8f61d4f04e748 ocaml(Stdlib__Sys)
= 9ea864085095970c73b7b17c26c37317 ocaml(Stdlib__Uchar)
= d3a13faa15259e43ea878b68cf5cc748 ocaml(Zip)
= 2.3.3-10.fc39 ocaml-alt-ergo-lib(x86-64)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 42e33b0b70c66c7380c76d197e12ef0b ocaml(AltErgoParsers)
= fdf0c9639296f9391804332528f8ea01 ocaml(AltErgoParsers__MyZip)
= e3fdf25cff296ceaba1e10b6afaa7890 ocaml(AltErgoParsers__Parsers)
= 66dae3a491196f6bb7d39c4a13a576d0 ocaml(AltErgoParsers__Parsers_loader)
= 2b3d2df2489f71f667cb729ab78ff02b ocaml(AltErgoParsers__Psmt2_to_alt_ergo)
= fcac85b1bd22e4cec8cc8dd51bc039df ocaml(AltErgoParsers__Why_lexer)
= 8899d86cfd9c16723bf61fd46d9f14b8 ocaml(AltErgoParsers__Why_parser)
= 2.3.3-10.fc39 ocaml-alt-ergo-parsers
= 2.3.3-10.fc39 ocaml-alt-ergo-parsers(x86-64)


نحوه نصب


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

    dnf install ocaml-alt-ergo-parsers-2.3.3-10.fc39.x86_64.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/54
/usr/lib/.build-id/54/929fceb031e15336944d24a6644e6ca60319e9
/usr/lib64/ocaml/alt-ergo-parsers
/usr/lib64/ocaml/alt-ergo-parsers-free
/usr/lib64/ocaml/alt-ergo-parsers-free/META
/usr/lib64/ocaml/alt-ergo-parsers-free/dune-package
/usr/lib64/ocaml/alt-ergo-parsers-free/opam
/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.cma
/usr/lib64/ocaml/alt-ergo-parsers/AltErgoParsers.cmxs
/usr/lib64/ocaml/alt-ergo-parsers/META
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers.cmi
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__MyZip.cmi
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers.cmi
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Parsers_loader.cmi
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Psmt2_to_alt_ergo.cmi
/usr/lib64/ocaml/alt-ergo-parsers/altErgoParsers__Why_lexer.cmi


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

تاریخ آخرین تغییر جزئیات
2023-07-27

Rebuild for ocaml-zarith 1.13

2023-07-19

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

2023-07-18

Validate appdata with appstream-util

2023-07-12

OCaml 5.0 rebuild for Fedora 39

2023-07-10

OCaml 5.0.0 rebuild

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