معرفی شرکت ها

ocaml-alt-ergo-lib-devel-2.3.3-10.fc39.x86_64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Development files for ocaml-alt-ergo-lib
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything x86_64
نام بسته ocaml-alt-ergo-lib-devel
نام فایل بسته ocaml-alt-ergo-lib-devel-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
حجم دانلود 6.5M
حجم نصب 25.822M
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 library.


جایگزین ها

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


نیازمندی

مقدار نام
= ce34a71b8ff0acf57da7f3ba64381627 ocaml(AltErgoLib)
= 174b5fef89a104a16004cee66065beaa ocaml(AltErgoLib__Ac)
= 96ee8c91fdb6a771eaa8ddb722b55bb4 ocaml(AltErgoLib__Adt)
= 80d7a845a5b3592e575297c1a2d65754 ocaml(AltErgoLib__Adt_rel)
= 234b4a54deb9c2e1c8f0905853dcbdbc ocaml(AltErgoLib__Arith)
= 4c327a6b45099282d4605419b6254196 ocaml(AltErgoLib__Arrays)
= 78a3cc6d19f2aed2c88edf173673c89a ocaml(AltErgoLib__Arrays_rel)
= 1b7434b4a0e37451b03df2037cbdc38c ocaml(AltErgoLib__Bitv)
= 6ccb53a01d774735f1386518c45cfd3f ocaml(AltErgoLib__Bitv_rel)
= 86a4458dcaa94d174d3329da3f61b570 ocaml(AltErgoLib__Ccx)
= 8d1c90a28f94e36ab30a1eb94efa0dd4 ocaml(AltErgoLib__Cnf)
= 991fbad215d061321354f55557fae5d6 ocaml(AltErgoLib__Commands)
= 8b97f72d99bf8375ca582a53eb1d2417 ocaml(AltErgoLib__Config)
= f5cbaa6c9b4da3c87f5b2f41e5dd8a34 ocaml(AltErgoLib__Emap)
= f5213bdb6bfda32f9b25319784dc08be ocaml(AltErgoLib__Enum)
= 21383d60ef03aa4c947fedb80b874ba8 ocaml(AltErgoLib__Enum_rel)
= bf5cb30dd914c1090b2fa6cd73dad55a ocaml(AltErgoLib__Errors)
= 7b2ea25b711ce00ca26ce30106835997 ocaml(AltErgoLib__Explanation)
= 55dbf48aa3313f5c9cf270b66c380600 ocaml(AltErgoLib__Expr)
= def481745edf0522abf757f8459e738e ocaml(AltErgoLib__Fpa_rounding)
= 5ebed4c794803dfaf4c0b4fa0bb46943 ocaml(AltErgoLib__Fun_sat)
= fa688f5075d622ea7766078c0537973f ocaml(AltErgoLib__Hconsing)
= e5cf26e419195148644f898e98257d4f ocaml(AltErgoLib__Hstring)
= f192022eb9c4efc2513b7682f0368bac ocaml(AltErgoLib__Iheap)
= 45c2edd3f33ab46bb114358cd0d0b844 ocaml(AltErgoLib__Inequalities)
= 8b1b0bb80f2f9d35eda3c5782a91bd4b ocaml(AltErgoLib__Instances)
= 6cde95a20d7a3e3f135492c3beae3ab8 ocaml(AltErgoLib__IntervalCalculus)
= 4c948aee27d999a52020708a701feefe ocaml(AltErgoLib__Intervals)
= cc2ebe6cf5931d760b34d263ab0f7f01 ocaml(AltErgoLib__Ite)
= 751dfb0de1cf3906f86d621d0db0b093 ocaml(AltErgoLib__Ite_rel)
= 683794d4f988780b097baeb9d8b29aab ocaml(AltErgoLib__Lists)
= 2b2dd57c875e9cf908a505ec0f0b6955 ocaml(AltErgoLib__Loc)
= 10f82e181de775d334e6f2af58794660 ocaml(AltErgoLib__Matching)
= de731a21b10d39758437d7b34894a86a ocaml(AltErgoLib__Matching_types)
= f3dff9e6ce88c05d8921f68607580107 ocaml(AltErgoLib__MyDynlink)
= 266ead2763f0fe15ff7bba8fb3dc538f ocaml(AltErgoLib__MyUnix)
= f49a7a5d15e00e34d881b95d41d87a42 ocaml(AltErgoLib__Numbers)
= f3652ea41a17f6eaf94277ccb93e2623 ocaml(AltErgoLib__NumbersInterface)
= 36af2bd3447a7a52947ed081eb204a64 ocaml(AltErgoLib__Options)
= cdcd7788a1bae8f91a1b3f54781a1ff9 ocaml(AltErgoLib__Parsed)
= 9d5f4aa1342ab7c33f071a9b2990aa71 ocaml(AltErgoLib__Polynome)
= aefd076c6375ed93e21aa6165e26a7ea ocaml(AltErgoLib__Profiling)
= 002c9b72fed935c2e2df60f781fefdb8 ocaml(AltErgoLib__Records)
= 127e059c9fd4172b1f195571ef78a8f5 ocaml(AltErgoLib__Records_rel)
= 6ace304852779d5f8a17b5b8efce2914 ocaml(AltErgoLib__Relation)
= 184fa3809770469a6da46a493c49d9f8 ocaml(AltErgoLib__Sat_solver_sig)
= a79e984671d8f0f86533d16a65bc5fd7 ocaml(AltErgoLib__Satml)
= 2be5ceeb777f63e2990c80d8cac958a9 ocaml(AltErgoLib__Satml_frontend)
= e2cc2eaf49d2cf762c20a5b6b79f8f07 ocaml(AltErgoLib__Satml_frontend_hybrid)
= 21c8f2918b7048dc3383fac7f55af312 ocaml(AltErgoLib__Satml_types)
= 501bc5777c92dcda78894edff4c28de2 ocaml(AltErgoLib__Shostak)
= 5efdf781fdf17a7915c6e40308c3f4eb ocaml(AltErgoLib__Sig)
= 37d2a057aa983d9c5335df5c7c78d7c9 ocaml(AltErgoLib__Sig_rel)
= 8d2afd2fa4c8da2fdfe28a9811e4466d ocaml(AltErgoLib__Symbols)
= 0e790bbf36d9cde82076ce045cb7973e ocaml(AltErgoLib__Th_util)
= 00e19983a987d53c9c98e0746c061b6e ocaml(AltErgoLib__Theory)
= bcbc0eb37513a5b3d970ce3b6aa28bac ocaml(AltErgoLib__Timers)
= fd1271816fd0c6b518c32711af3658af ocaml(AltErgoLib__Ty)
= 84bf3b9af7e2d7bf508f6a9ea8d34c95 ocaml(AltErgoLib__Typed)
= 4b3d837781b163f3744caaf0be71fb59 ocaml(AltErgoLib__Uf)
= 5ebe4a7b134922a9331970e34417b5a1 ocaml(AltErgoLib__Use)
= 2de7595a3486b407dedbaea16d1f1da3 ocaml(AltErgoLib__Util)
= e9832a21a07c077b7a1b45d133c5408d ocaml(AltErgoLib__Var)
= de15ef3fba24aef72e686cf0601483c6 ocaml(AltErgoLib__Vec)
= 999d25bd1edb7e28f352914c97303f53 ocaml(AltErgoLib__Version)
= ce72c4a0e2652e3d71161c42c1e92f07 ocaml(AltErgoLib__Xliteral)
= b7b1895374fdb3286653d4877c505898 ocaml(AltErgoLib__ZarithNumbers)
= c348bf5d6952825e8ab4697cd21d92e8 ocaml(Big_int)
= cecfafd5c021473f5e358c96ac7502a0 ocaml(CamlinternalFormatBasics)
= 2c797917c31a980b79e9d16d84057b70 ocaml(CamlinternalLazy)
= 5f3bf6a430a949e1f685fd8552eeeda5 ocaml(CamlinternalMod)
= 4ef8f180b6a55f28c092cd0698987af5 ocaml(Dynlink)
= 36ba3d58508817d41dd1905e534c85c9 ocaml(Nat)
= 69a10358c2a75c07be1bac4cd2c1551f ocaml(Num)
= 21bf883c616161ae0a42a82630694798 ocaml(OcplibSimplex)
= dfd79ff05360c4cc4bc120db10ee3749 ocaml(Q)
= 341ea856349b462e0ac3337940b8bef9 ocaml(Ratio)
= 85f85ddb47edc0c7579657eee740302d ocaml(Stdlib)
= 37ac8abf22d3dbe8e900dc221da3abf4 ocaml(Stdlib__Arg)
= 9bcf1a06bdcfbb976f898e818e15611a ocaml(Stdlib__Array)
= 55a812d9a3c89e7a8ebb917e63e4beea ocaml(Stdlib__Bigarray)
= 12b944b4b2913751cd65bdc638975d4d ocaml(Stdlib__Buffer)
= 71d01c936f35204d25fbdc2a38153066 ocaml(Stdlib__Char)
= d5f041ccbe9783af90ca38337002fb4e ocaml(Stdlib__Complex)
= 0d152be3cd9163970a657d842fca8ecf ocaml(Stdlib__Domain)
= b3ad0f8c65f28252059edebc03f68808 ocaml(Stdlib__Either)
= 218e1f57bdea9d296a9f66e323e71029 ocaml(Stdlib__Filename)
= e7385010d0d6a0bbd4191bc7546d458a ocaml(Stdlib__Format)
= 2259960cc6f070189d9bbc89ce4392ee ocaml(Stdlib__Gc)
= bafdecabd3fce4f5ccc09a1a5587dab4 ocaml(Stdlib__Hashtbl)
= 1db604c2106f996ea47a572773a5ff7f ocaml(Stdlib__Int32)
= 7ab3f2ace09cfcc67be8a7133d18f0e2 ocaml(Stdlib__Int64)
= ca3d5c326131437daef18ae34e7f4aa9 ocaml(Stdlib__Lazy)
= be62854f0fbcd8531fe531cd00e34821 ocaml(Stdlib__Lexing)
= feb7c568830f9f239501efb83f4725e4 ocaml(Stdlib__List)
= 71415964978d1cf0c1701af1137aa1ea ocaml(Stdlib__Map)
= 627e6e1768175d0dea895dfbcbc11457 ocaml(Stdlib__Nativeint)
= 85655eceec5bcd6c7c4ef5dd6758b19d ocaml(Stdlib__Obj)
= b6df92cdc398ed512c6107b99069599a ocaml(Stdlib__Parsing)
= ce1d04478ff0e3403b8c05aa790a9f79 ocaml(Stdlib__Printexc)
= 7c394795afe79287e9401b5c6c36e64d ocaml(Stdlib__Queue)
= 3f2ddc04bb28ff1050c0c8d7cf5a8d57 ocaml(Stdlib__Random)
= c00e8fda2c354d0d6aed03da5643b593 ocaml(Stdlib__Scanf)
= cc3f899885b746f777815dc93be7ede2 ocaml(Stdlib__Seq)
= f849884bcf48f894e90800c7ccd98f21 ocaml(Stdlib__Set)
= facad7e0dada5941148738b8188d844f ocaml(Stdlib__String)
= a0375c47cee9c7e20ff8f61d4f04e748 ocaml(Stdlib__Sys)
= 9ea864085095970c73b7b17c26c37317 ocaml(Stdlib__Uchar)
= 2fce646729aeb77fa66361591aa9dc46 ocaml(Stdlib__Weak)
= 6033104bfe804d2da0486bb38da86608 ocaml(Str)
= 8da0575524ccb15782c0ca7ebc83ccb8 ocaml(Unix)
= 0009d1c1f4074c1e5cac1497b3dc94fa ocaml(Z)
= 2.3.3-10.fc39 ocaml-alt-ergo-lib(x86-64)
- ocaml-num-devel(x86-64)
- ocaml-ocplib-simplex-devel(x86-64)
- ocaml-zarith-devel(x86-64)
= 824f72f323352c85ca9481e8f70931f4 ocamlx(Arith_flags)
= 9e30c11a5562dcd7c5efc3b219827502 ocamlx(Big_int)
= 58f88a5a5c64196bd9b440558fffce16 ocamlx(CamlinternalFormat)
= 86b70b45542f76ceaaf8e37cf02f4733 ocamlx(CamlinternalFormatBasics)
= cb7abf7287d654348173d00f3138d492 ocamlx(CamlinternalLazy)
= d5a40fc44e7086875825e07d79519de7 ocamlx(CamlinternalMod)
= 837bc42c277f1552b35648daabf1155b ocamlx(CamlinternalOO)
= a17cc1a4a68db7738783ee5b108ce1e6 ocamlx(Dynlink)
= 9a99ded17f5dfef122748b3d904974cf ocamlx(Dynlink_types)
= 61464396e87d8cf84de5ee94f8e2ebd5 ocamlx(Nat)
= a9bb44ff6ba54c697151522b59f2f704 ocamlx(Num)
= 0440a409be0075a866dc11a0f68b7782 ocamlx(OcplibSimplex)
= 6dd7d79a7e38cd49dc1c73c134f5ae87 ocamlx(Q)
= 1953a30016d90e9c3a397451b82d7aed ocamlx(Ratio)
= c6f226e44d674edd1d531948ff863828 ocamlx(Stdlib)
= a7bfe462c73b77a839722756c12297da ocamlx(Stdlib__Arg)
= 888f09bbed5faa92247fb11d913bbe54 ocamlx(Stdlib__Array)
= b408aede49ea6c933a86ec2dd65b7cda ocamlx(Stdlib__Bigarray)
= 3bbe0fd85e51b1403af1226c5d608789 ocamlx(Stdlib__Buffer)
= cb1095d933ce955029ed699727baead0 ocamlx(Stdlib__Bytes)
= 9d509a8b8f129bee104d1c5e382565e5 ocamlx(Stdlib__Char)
= d7f8796322f2cd99efcf341f8e42acf4 ocamlx(Stdlib__Domain)
= 1a0948a06efab72702b15994c0522f5d ocamlx(Stdlib__Filename)
= c94bb08665553c56dece8353dbff3b32 ocamlx(Stdlib__Format)
= 19cc825fc8eda58764714133c836daf6 ocamlx(Stdlib__Gc)
= acdc6437bcb9e7a81c6ed8660e82b471 ocamlx(Stdlib__Hashtbl)
= 34583d780fb32553cca7b01d146bc5d2 ocamlx(Stdlib__Int64)
= 76289d92733d00a1d4c106dfb93c8ac7 ocamlx(Stdlib__Lexing)
= b78ab95aebcef67de9b99ec053edb534 ocamlx(Stdlib__List)
= 7b1e4df07736a72638c021a5a9ffbccd ocamlx(Stdlib__Map)
= dc9e0059b8bcfff0535b76d7f47c1795 ocamlx(Stdlib__Obj)
= 76c1d6f89b36add808194632c3badd7a ocamlx(Stdlib__Parsing)
= dbd2965d5e68fda0a54826680cfe3254 ocamlx(Stdlib__Printexc)
= 662e9ca31ecdf5f11c9788ed827feb11 ocamlx(Stdlib__Printf)
= 968e2f724fd81b382edfc126f84c80d0 ocamlx(Stdlib__Queue)
= 2617b12d0fefbf237d757668e0688155 ocamlx(Stdlib__Random)
= 194cd750fb6f7e70c46fdc85aa1a0a95 ocamlx(Stdlib__Scanf)
= 97f28c73dceb6fdb51985a1ca0c2f52d ocamlx(Stdlib__Set)
= 018afd60df09186eaef4d0d459f62321 ocamlx(Stdlib__Stack)
= ff814de8355985ea0e450e0986a59446 ocamlx(Stdlib__String)
= 318f20829e5e32f065cd5b00f4538f80 ocamlx(Stdlib__Sys)
= 1662d917b454dc90a83a0e89c6e379ed ocamlx(Stdlib__Weak)
= 924f01c074dacb70584a6f40220f4c26 ocamlx(Str)
= 0fcc9ad8081b664e01ea70f9c9f893df ocamlx(Unix)
= 6198bfa6e30905f220cf5f1cd3d005f9 ocamlx(Z)


ارائه دهنده

مقدار نام
= ce34a71b8ff0acf57da7f3ba64381627 ocaml(AltErgoLib)
= 174b5fef89a104a16004cee66065beaa ocaml(AltErgoLib__Ac)
= 96ee8c91fdb6a771eaa8ddb722b55bb4 ocaml(AltErgoLib__Adt)
= 80d7a845a5b3592e575297c1a2d65754 ocaml(AltErgoLib__Adt_rel)
= 234b4a54deb9c2e1c8f0905853dcbdbc ocaml(AltErgoLib__Arith)
= 4c327a6b45099282d4605419b6254196 ocaml(AltErgoLib__Arrays)
= 78a3cc6d19f2aed2c88edf173673c89a ocaml(AltErgoLib__Arrays_rel)
= 1b7434b4a0e37451b03df2037cbdc38c ocaml(AltErgoLib__Bitv)
= 6ccb53a01d774735f1386518c45cfd3f ocaml(AltErgoLib__Bitv_rel)
= 86a4458dcaa94d174d3329da3f61b570 ocaml(AltErgoLib__Ccx)
= 8d1c90a28f94e36ab30a1eb94efa0dd4 ocaml(AltErgoLib__Cnf)
= 991fbad215d061321354f55557fae5d6 ocaml(AltErgoLib__Commands)
= 8b97f72d99bf8375ca582a53eb1d2417 ocaml(AltErgoLib__Config)
= f5cbaa6c9b4da3c87f5b2f41e5dd8a34 ocaml(AltErgoLib__Emap)
= f5213bdb6bfda32f9b25319784dc08be ocaml(AltErgoLib__Enum)
= 21383d60ef03aa4c947fedb80b874ba8 ocaml(AltErgoLib__Enum_rel)
= bf5cb30dd914c1090b2fa6cd73dad55a ocaml(AltErgoLib__Errors)
= 7b2ea25b711ce00ca26ce30106835997 ocaml(AltErgoLib__Explanation)
= 55dbf48aa3313f5c9cf270b66c380600 ocaml(AltErgoLib__Expr)
= def481745edf0522abf757f8459e738e ocaml(AltErgoLib__Fpa_rounding)
= 95848d6f9592bf127973dbf993a98320 ocaml(AltErgoLib__Frontend)
= 5ebed4c794803dfaf4c0b4fa0bb46943 ocaml(AltErgoLib__Fun_sat)
= 76cb5cec331601bc8709e5975b534d00 ocaml(AltErgoLib__Gc_debug)
= fa688f5075d622ea7766078c0537973f ocaml(AltErgoLib__Hconsing)
= e5cf26e419195148644f898e98257d4f ocaml(AltErgoLib__Hstring)
= f192022eb9c4efc2513b7682f0368bac ocaml(AltErgoLib__Iheap)
= 45c2edd3f33ab46bb114358cd0d0b844 ocaml(AltErgoLib__Inequalities)
= 41816e328abb4209801ef03dd0a041ef ocaml(AltErgoLib__Input)
= 8b1b0bb80f2f9d35eda3c5782a91bd4b ocaml(AltErgoLib__Instances)
= 6cde95a20d7a3e3f135492c3beae3ab8 ocaml(AltErgoLib__IntervalCalculus)
= 4c948aee27d999a52020708a701feefe ocaml(AltErgoLib__Intervals)
= cc2ebe6cf5931d760b34d263ab0f7f01 ocaml(AltErgoLib__Ite)
= 751dfb0de1cf3906f86d621d0db0b093 ocaml(AltErgoLib__Ite_rel)
= 683794d4f988780b097baeb9d8b29aab ocaml(AltErgoLib__Lists)
= 2b2dd57c875e9cf908a505ec0f0b6955 ocaml(AltErgoLib__Loc)
= 10f82e181de775d334e6f2af58794660 ocaml(AltErgoLib__Matching)
= f3dff9e6ce88c05d8921f68607580107 ocaml(AltErgoLib__MyDynlink)
= 266ead2763f0fe15ff7bba8fb3dc538f ocaml(AltErgoLib__MyUnix)
= f49a7a5d15e00e34d881b95d41d87a42 ocaml(AltErgoLib__Numbers)
= 0146a5cb3b3d7205589ff5ae24029744 ocaml(AltErgoLib__NumsNumbers)
= 36af2bd3447a7a52947ed081eb204a64 ocaml(AltErgoLib__Options)
= cdcd7788a1bae8f91a1b3f54781a1ff9 ocaml(AltErgoLib__Parsed)
= 98b120306d32907f2a41e2b924ca3783 ocaml(AltErgoLib__Parsed_interface)
= 9d5f4aa1342ab7c33f071a9b2990aa71 ocaml(AltErgoLib__Polynome)
= aefd076c6375ed93e21aa6165e26a7ea ocaml(AltErgoLib__Profiling)
= 002c9b72fed935c2e2df60f781fefdb8 ocaml(AltErgoLib__Records)
= 127e059c9fd4172b1f195571ef78a8f5 ocaml(AltErgoLib__Records_rel)
= 6ace304852779d5f8a17b5b8efce2914 ocaml(AltErgoLib__Relation)
= a7472a06cfe411150459f29b59512f30 ocaml(AltErgoLib__Sat_solver)
= 184fa3809770469a6da46a493c49d9f8 ocaml(AltErgoLib__Sat_solver_sig)
= a79e984671d8f0f86533d16a65bc5fd7 ocaml(AltErgoLib__Satml)
= 2be5ceeb777f63e2990c80d8cac958a9 ocaml(AltErgoLib__Satml_frontend)
= e2cc2eaf49d2cf762c20a5b6b79f8f07 ocaml(AltErgoLib__Satml_frontend_hybrid)
= 21c8f2918b7048dc3383fac7f55af312 ocaml(AltErgoLib__Satml_types)
= 501bc5777c92dcda78894edff4c28de2 ocaml(AltErgoLib__Shostak)
= 8d2afd2fa4c8da2fdfe28a9811e4466d ocaml(AltErgoLib__Symbols)
= 0e790bbf36d9cde82076ce045cb7973e ocaml(AltErgoLib__Th_util)
= 00e19983a987d53c9c98e0746c061b6e ocaml(AltErgoLib__Theory)
= bcbc0eb37513a5b3d970ce3b6aa28bac ocaml(AltErgoLib__Timers)
= fd1271816fd0c6b518c32711af3658af ocaml(AltErgoLib__Ty)
= 83734b84eccc719d0579f2999a73e523 ocaml(AltErgoLib__Typechecker)
= 84bf3b9af7e2d7bf508f6a9ea8d34c95 ocaml(AltErgoLib__Typed)
= 4b3d837781b163f3744caaf0be71fb59 ocaml(AltErgoLib__Uf)
= 5ebe4a7b134922a9331970e34417b5a1 ocaml(AltErgoLib__Use)
= 2de7595a3486b407dedbaea16d1f1da3 ocaml(AltErgoLib__Util)
= e9832a21a07c077b7a1b45d133c5408d ocaml(AltErgoLib__Var)
= de15ef3fba24aef72e686cf0601483c6 ocaml(AltErgoLib__Vec)
= 999d25bd1edb7e28f352914c97303f53 ocaml(AltErgoLib__Version)
= ce72c4a0e2652e3d71161c42c1e92f07 ocaml(AltErgoLib__Xliteral)
= b7b1895374fdb3286653d4877c505898 ocaml(AltErgoLib__ZarithNumbers)
= 2.3.3-10.fc39 ocaml-alt-ergo-lib-devel
= 2.3.3-10.fc39 ocaml-alt-ergo-lib-devel(x86-64)
= a7aabdc331a17264fa7e386f6bd21223 ocamlx(AltErgoLib)
= f421f92709e91b72089541b35034dba9 ocamlx(AltErgoLib__Ac)
= 2e8f5a019f64501bd27ed31cea6ee1dc ocamlx(AltErgoLib__Adt)
= cdfc13d9271431ef4a30db41c40602d3 ocamlx(AltErgoLib__Adt_rel)
= 440e3db0bb14847e0e5d970164197274 ocamlx(AltErgoLib__Arith)
= 0c5c5c1f16718401535fd513a43c70d9 ocamlx(AltErgoLib__Arrays)
= 56a3f779c0286fb5fd8f61ae6f2e517a ocamlx(AltErgoLib__Arrays_rel)
= b5a6dc0d617b6ab5d87b29b7479fcbe6 ocamlx(AltErgoLib__Bitv)
= c243251c063c79d2f2844c03ca3dd000 ocamlx(AltErgoLib__Bitv_rel)
= 189354e775ead4558d7f60199535b91a ocamlx(AltErgoLib__Ccx)
= a1ed845b9a5972cf35f1f532562d3fa6 ocamlx(AltErgoLib__Cnf)
= a30f0e09d6ee3736a98935978fe8e012 ocamlx(AltErgoLib__Commands)
= 433f314ad67fb99186e5edbe055452c0 ocamlx(AltErgoLib__Config)
= d44b5b59e35dd71137b9c8323deb6df6 ocamlx(AltErgoLib__Emap)
= e9228aa29d2b14b08f0635190cc32f24 ocamlx(AltErgoLib__Enum)
= b4346fbe7bcbba763d3705a5e92e7840 ocamlx(AltErgoLib__Enum_rel)
= c4aea80eb12ff5bb394c337a0a57df34 ocamlx(AltErgoLib__Errors)
= 560878f0a4f0afb84f66d55d6914a8ac ocamlx(AltErgoLib__Explanation)
= 1fe0fbc39168d358cde45b4ee696f243 ocamlx(AltErgoLib__Expr)
= 4c3cd595f6ad6a1a3bfb000c5e0d6d59 ocamlx(AltErgoLib__Fpa_rounding)
= 633c56c36a3e7c37ab2f9bd1f9ded604 ocamlx(AltErgoLib__Frontend)
= e889c0234e123b84345f0ddd2465d403 ocamlx(AltErgoLib__Fun_sat)
= 49707a5c66da3b838531e9f7574b450f ocamlx(AltErgoLib__Gc_debug)
= cec62ecd683ba13ba21fe21b079cb7dc ocamlx(AltErgoLib__Hconsing)
= 0f3ed3bb1303c4e3d0584c04e9ad9042 ocamlx(AltErgoLib__Hstring)
= 1f62f8e32b7b972d7d6b47e1144344d9 ocamlx(AltErgoLib__Iheap)
= bc99aca999a274681ac1755c7b6eb5f9 ocamlx(AltErgoLib__Inequalities)
= 3e095b697aab28751235a754487886a8 ocamlx(AltErgoLib__Input)
= 6a55d9554447413530b80049e6a8f205 ocamlx(AltErgoLib__Instances)
= 2be14a17bd4043aaf068834c11b386b7 ocamlx(AltErgoLib__IntervalCalculus)
= e45493d357eb60e37ade92653fee748f ocamlx(AltErgoLib__Intervals)
= 9648e4f7445719ccc7a027f427d0f7af ocamlx(AltErgoLib__Ite)
= 075b89010091c61b37a6c4b1fce23c02 ocamlx(AltErgoLib__Ite_rel)
= 65165aa2898cc8b34ad7b7f0fe6228c6 ocamlx(AltErgoLib__Lists)
= e9124520b1312d860052068bec2d365e ocamlx(AltErgoLib__Loc)
= 73beb100e3d3559d51c75b6d61b4cc95 ocamlx(AltErgoLib__Matching)
= 9c3375768ab3ef832f02694571a61857 ocamlx(AltErgoLib__MyDynlink)
= 273b6b70a25f54186014e54a237f3223 ocamlx(AltErgoLib__MyUnix)
= 60a5d1fbc1ffcbbdadf0ea1da96de487 ocamlx(AltErgoLib__Numbers)
= 3bd13ced4e8734db48167de213c006b5 ocamlx(AltErgoLib__NumsNumbers)
= 896dd8f05a29271509c532968cb7ac64 ocamlx(AltErgoLib__Options)
= 1c112717a5fb567873a6412df155915b ocamlx(AltErgoLib__Parsed)
= 68caf1297c5ae2e83175f022a23c4101 ocamlx(AltErgoLib__Parsed_interface)
= cdc313860c8baf93803a1b6b70a17f6c ocamlx(AltErgoLib__Polynome)
= ca068cc0988fb0f6f2435a6b8c174236 ocamlx(AltErgoLib__Profiling)
= 2482463a16232f319fce7ce286f88a02 ocamlx(AltErgoLib__Records)
= e39531acf954f1344927a41b67e9b870 ocamlx(AltErgoLib__Records_rel)
= 2192215971e518593c7f40e7966af176 ocamlx(AltErgoLib__Relation)
= 488fcb84bf51888a1fb3612a3e9d39fb ocamlx(AltErgoLib__Sat_solver)
= a85f263f92e97731b13e24362eaf96df ocamlx(AltErgoLib__Sat_solver_sig)
= ffbbd585de7b28829c752e78f24c5ec8 ocamlx(AltErgoLib__Satml)
= b619860414154dc3633a462c0396caa7 ocamlx(AltErgoLib__Satml_frontend)
= 40e01a72f2253af83a7e50b623107e40 ocamlx(AltErgoLib__Satml_frontend_hybrid)
= 9ece158a528435287b3fabeb14f677ca ocamlx(AltErgoLib__Satml_types)
= 6e7f02d585632b37972f2a5e926cc813 ocamlx(AltErgoLib__Shostak)
= d4c95d9cd6ab6d5e00168954ebbbfba6 ocamlx(AltErgoLib__Symbols)
= 701e8c88f7a4497ef14b196873e35879 ocamlx(AltErgoLib__Th_util)
= 688e7ebb03eea54a36408d034dcee9f7 ocamlx(AltErgoLib__Theory)
= c6ffeaf222c3b95da497401a0117fe5e ocamlx(AltErgoLib__Timers)
= a985f96a6ca5c165ae35f7bc26d97d6c ocamlx(AltErgoLib__Ty)
= e8570dcc561d6b19a81ff603b5963483 ocamlx(AltErgoLib__Typechecker)
= 966f47ffe6700fb4f7fb875d0516886d ocamlx(AltErgoLib__Typed)
= 76eda6b26b0edd8acace2d2b579dc3b5 ocamlx(AltErgoLib__Uf)
= b01887508a0af9c08253cfa2b11f729d ocamlx(AltErgoLib__Use)
= 34b65c79a4b69b1698b8558a0e4d4514 ocamlx(AltErgoLib__Util)
= d04994d7c3a7036a0494f89f64a05f12 ocamlx(AltErgoLib__Var)
= f2422272ed0e9085319fb3a3f9e9d248 ocamlx(AltErgoLib__Vec)
= 8cd51468855185f4357276bbae4f82ce ocamlx(AltErgoLib__Version)
= 01eb0f27ac23c8ca7644c9f9cdc827a3 ocamlx(AltErgoLib__Xliteral)
= 53e08a57e4764770764daba0c523c7dc ocamlx(AltErgoLib__ZarithNumbers)


نحوه نصب


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

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


فایل ها

مسیرها
/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.a
/usr/lib64/ocaml/alt-ergo-lib/AltErgoLib.cmxa
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ac.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ac.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ac.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Adt_rel.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arith.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arith.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arith.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Arrays_rel.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Bitv_rel.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Ccx.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Cnf.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Commands.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Commands.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Commands.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Config.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Config.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Emap.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Emap.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Emap.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmti
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Enum_rel.cmx
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Errors.cmt
/usr/lib64/ocaml/alt-ergo-lib/altErgoLib__Errors.cmti
... and 242 more


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

تاریخ آخرین تغییر جزئیات
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