معرفی شرکت ها

ocaml-alt-ergo-lib-devel-2.3.3-6.fc38.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 38
مخزن Fedora Everything x86_64
نام بسته ocaml-alt-ergo-lib-devel
نام فایل بسته ocaml-alt-ergo-lib-devel-2.3.3-6.fc38.x86_64.rpm
نسخه بسته 2.3.3
انتشار بسته 6.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Fri 24 Mar 2023 07
هاست سازنده buildvm-x86-17.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://alt-ergo.ocamlpro.com/
مجوز Apache-2.0
حجم دانلود 5.9M
حجم نصب 20.478M
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-6.fc38.aarch64.rpm 2.3.3 aarch64 Fedora Everything
ocaml-alt-ergo-lib-devel-2.3.3-6.fc38.i686.rpm 2.3.3 i686 Fedora Everything


نیازمندی

مقدار نام
= 9eb66ead7c16505345480d13d62e19da ocaml(AltErgoLib)
= ce5bc384acfde88d8754e98ef3878c2e ocaml(AltErgoLib__Ac)
= 5936b5e6260bc74eca9142d5046dc836 ocaml(AltErgoLib__Adt)
= 704fd51ce41ccf594921193cbade044d ocaml(AltErgoLib__Adt_rel)
= 61f70bd28d710ae7b615ee74f7edcad0 ocaml(AltErgoLib__Arith)
= 02b2fa56f51840de162bda316c245a27 ocaml(AltErgoLib__Arrays)
= 5ad8ee9a95812c8098788d5eafd488e4 ocaml(AltErgoLib__Arrays_rel)
= 6320ae1a827b7214c306dccb09394092 ocaml(AltErgoLib__Bitv)
= 7f57c749eb5cd50056261ee507834620 ocaml(AltErgoLib__Bitv_rel)
= 16470fc407d5b9688a7ac17103b06eb7 ocaml(AltErgoLib__Ccx)
= 964fa121fc1a8055a1a0e7515fbc22de ocaml(AltErgoLib__Cnf)
= 296631d292f69eda2970d219d2dba588 ocaml(AltErgoLib__Commands)
= 9835656dab47de6cda20af4248b2c2cf ocaml(AltErgoLib__Config)
= 0964a35d786914dc48575066fe104ca0 ocaml(AltErgoLib__Emap)
= 9e0e53df6d5390cf838a9352e00b4a56 ocaml(AltErgoLib__Enum)
= 3cd8b56b35d5e8b6526d2f017fb91b88 ocaml(AltErgoLib__Enum_rel)
= 8ddedb86ddf18434908fc29a84d5546c ocaml(AltErgoLib__Errors)
= cb41b4d8d37190996392adeb41b62df5 ocaml(AltErgoLib__Explanation)
= 6fa355919f817f5185a0f8ca3d11cf46 ocaml(AltErgoLib__Expr)
= 0a762a5ff447c9c9fbd50c82a3780b66 ocaml(AltErgoLib__Fpa_rounding)
= c15082a40a2fcc2e9bdc7a1f5f6928ed ocaml(AltErgoLib__Fun_sat)
= aa950ff05bc34f6bb56017c946b0929e ocaml(AltErgoLib__Hconsing)
= c93e12be40643436ef709ad9e2706bb0 ocaml(AltErgoLib__Hstring)
= c50136a95ccc5d1db02b38b271f82e23 ocaml(AltErgoLib__Iheap)
= 4a6b1996a7c5386d5e4a20d93ba7e227 ocaml(AltErgoLib__Inequalities)
= 5156c9729dad854d23aff6518c2f7edb ocaml(AltErgoLib__Instances)
= 937a6f3563a5ee9f9dd59cde1b7db022 ocaml(AltErgoLib__IntervalCalculus)
= ef23773ae063c7a5d11575ca0273f9c3 ocaml(AltErgoLib__Intervals)
= b8ee2546edf14396ecf727ca2fb08758 ocaml(AltErgoLib__Ite)
= 411bf1fe65d87b39f5b0475a0e80a10f ocaml(AltErgoLib__Ite_rel)
= d2f136049d58612f3807918682f31a09 ocaml(AltErgoLib__Lists)
= b8f3bebe83000b643e8579e4920032b1 ocaml(AltErgoLib__Loc)
= decf14f3bf4b30b22fefaa47c0eb2e32 ocaml(AltErgoLib__Matching)
= 18e84cb4d29a22a17535546ecb60b399 ocaml(AltErgoLib__Matching_types)
= 5a67fb8407d6c8e5a46cd8e666501148 ocaml(AltErgoLib__MyDynlink)
= de114fa3a6d42d8bd24b96bbae489942 ocaml(AltErgoLib__MyUnix)
= 71b1a067d71454362971f6534db1cc10 ocaml(AltErgoLib__Numbers)
= 181149daa6fe682f6f5620828b3bdef3 ocaml(AltErgoLib__NumbersInterface)
= 14fb4d773074dba9990c8bcc335f9f7a ocaml(AltErgoLib__Options)
= ef01fbd8363b4f00948438735572597d ocaml(AltErgoLib__Parsed)
= 19753a6ac56e7fd7db9f9ad20dfacafe ocaml(AltErgoLib__Polynome)
= 84becef63bb1581fb29712561d05b53d ocaml(AltErgoLib__Profiling)
= 7192168f0fd7b69756eca3725dc9229a ocaml(AltErgoLib__Records)
= b6daff5184aa672160ce860c47093cf8 ocaml(AltErgoLib__Records_rel)
= 889532e1cd9d1792e89a5b62f1d2ae1f ocaml(AltErgoLib__Relation)
= 959a00c2cde77586236464f9bfa13c56 ocaml(AltErgoLib__Sat_solver_sig)
= 06e8850bed79ee187d8a48b713af2e28 ocaml(AltErgoLib__Satml)
= 3d86d2311f4dc54f8210ca0032a82c99 ocaml(AltErgoLib__Satml_frontend)
= 1141d91899329cf905639a4dda3b4c8c ocaml(AltErgoLib__Satml_frontend_hybrid)
= 4a6c2e8227afdf786a9032b2ae895bd2 ocaml(AltErgoLib__Satml_types)
= aee4ebdf0db343bbe808fe1ac7c8525e ocaml(AltErgoLib__Shostak)
= f726c85171660981807d32a8ce4cff3e ocaml(AltErgoLib__Sig)
= 4add60eef783e4c355cdbbc896aeac1f ocaml(AltErgoLib__Sig_rel)
= d7f0d2d4113a8cc1600b67cbe22de1b1 ocaml(AltErgoLib__Symbols)
= c4009ced4e0490e6b635a2a26457757e ocaml(AltErgoLib__Th_util)
= 4cb4912e03d08f33a1bc7d9d26ff6b56 ocaml(AltErgoLib__Theory)
= e27aba7e2fb08ba806f02708ed302eef ocaml(AltErgoLib__Timers)
= 8ef60b809738fabfb3a77cc9ad26199e ocaml(AltErgoLib__Ty)
= a8ff61a6bb7fc2a4549d357425c3b79a ocaml(AltErgoLib__Typed)
= 2b09597e0c041f0d2bddcfeae7aeae6b ocaml(AltErgoLib__Uf)
= 90fd136e14fa59b36df99358cc32036b ocaml(AltErgoLib__Use)
= ed0c2975007767bee70b3cba28930fb0 ocaml(AltErgoLib__Util)
= 9dfadf1482d7c321f0f33dbdcdbc799f ocaml(AltErgoLib__Var)
= 6225abb9e030add87cadea5da5042492 ocaml(AltErgoLib__Vec)
= 2b97fc6a9ace33016d21e6127bda60a5 ocaml(AltErgoLib__Version)
= 996435b0a5e471fe0d9b94e59004ef77 ocaml(AltErgoLib__Xliteral)
= aab2c26282eb9d39efc1f534422b5edf ocaml(AltErgoLib__ZarithNumbers)
= 0d29f9784dac1f856b4e4b9ce51e6e37 ocaml(Big_int)
= 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalFormatBasics)
= 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(CamlinternalLazy)
= 2004005091bc8a61fe26ab15e0fb28e4 ocaml(CamlinternalMod)
= b542e5672ad42f5b838f58913ba15456 ocaml(Dynlink)
= cf53074211ea56c636ac753b3faa2286 ocaml(Nat)
= d7e7bf3115ef0f4d7fc54872e5ab1a14 ocaml(Num)
= db5a3500202b85aa9cc59c664092f504 ocaml(OcplibSimplex)
= 95ed12df5d619f4cf43c3f5256a0f97b ocaml(Q)
= 28be2dbf598b1671fb5c1b4bdf6e2b0b ocaml(Ratio)
= 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib)
= 04b768df3893b886dc494cea56b4aa5f ocaml(Stdlib__Arg)
= 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Array)
= 994a14f10d5ae081663b52b790ee11d3 ocaml(Stdlib__Bigarray)
= 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Buffer)
= 62afe57b49defcc078960a68b9efbbee ocaml(Stdlib__Char)
= 4555217c759e89d65daa8f682eb09b35 ocaml(Stdlib__Complex)
= 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Either)
= 3bcff250dd30a0e620fa7546882aaadf ocaml(Stdlib__Filename)
= b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Format)
= c3ec15218bd26e175e6d959e216eb39a ocaml(Stdlib__Gc)
= 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Hashtbl)
= a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int32)
= 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__Int64)
= 01430d340c028322c7247031a874e355 ocaml(Stdlib__Lazy)
= c9318c276ac7e383fd682c2dd06be434 ocaml(Stdlib__Lexing)
= ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__List)
= 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Map)
= 989149bf8f2ce1a89fecbc3f5f40f52c ocaml(Stdlib__Nativeint)
= 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Obj)
= bb5f62fa906224c917383a27d025e251 ocaml(Stdlib__Parsing)
= ae914d0568e8b6e482a66bbd62a4432f ocaml(Stdlib__Printexc)
= b066724fe533c7b8fc9b521e37aedad8 ocaml(Stdlib__Queue)
= 81e43bab9bd47bab804eb6e582306de1 ocaml(Stdlib__Random)
= 5bfc827c9980349e00f2aa1f5eade58f ocaml(Stdlib__Scanf)
= b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Seq)
= 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__Set)
= 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__String)
= 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Sys)
= c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Uchar)
= 28f276c430fdc51a3a10691d3066b26a ocaml(Stdlib__Weak)
= 514c63e7d96516ff4c601fe47900a52d ocaml(Str)
= 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Unix)
= a71ac4a535434978287848841376388e ocaml(Z)
= 2.3.3-6.fc38 ocaml-alt-ergo-lib(x86-64)
- ocaml-num-devel(x86-64)
- ocaml-ocplib-simplex-devel(x86-64)
- ocaml-zarith-devel(x86-64)
= 431112b2e7463349ad30cf0e3ea4d6e7 ocamlx(Big_int)
= 0573444d7d158417dbd5f4f46081e73b ocamlx(CamlinternalLazy)
= 6655be7904f5f055c5ec94e3fc3775ba ocamlx(CamlinternalMod)
= d08637f19b43f8abf794c7007961024e ocamlx(Dynlink)
= a8c327a0020c520b2a4c3c7082ed57a7 ocamlx(Num)
= 6b4457a00a1c1a57ce398cf75718ceeb ocamlx(OcplibSimplex)
= 778db690673a2ecd778badfca767ce6a ocamlx(Q)
= 1fa902db6d8000f007b4dd71a97bf34b ocamlx(Ratio)
= 29fc6b4fd90dc91235156e20d0575996 ocamlx(Stdlib)
= 2df71eccebe0b6136a2e86c3c8daffc0 ocamlx(Stdlib__Arg)
= bb1212fc50265efb994301edbd2f0ecc ocamlx(Stdlib__Array)
= 7cfadcb8c8da32e9f00e211aa321718b ocamlx(Stdlib__Char)
= d28509257398356aab9aed2edf11d6cb ocamlx(Stdlib__Filename)
= 983da56657d4a84e1921601ebd2ba5fd ocamlx(Stdlib__Format)
= 69b30dbb497b1693413644ac9604be89 ocamlx(Stdlib__Gc)
= c60c5e9b84ec15b69584c299944d0abb ocamlx(Stdlib__Hashtbl)
= 371b761429600b4a3480435d7bb83c8a ocamlx(Stdlib__Int64)
= 4ba20253768aee73219c565dee7243bd ocamlx(Stdlib__Lexing)
= 75bce4c751643e407b6e75caf60b9db7 ocamlx(Stdlib__List)
= f9b31d0fc661b76354b76376270f8fae ocamlx(Stdlib__Map)
= 23286e910874d627cdfbcadb3610dcf9 ocamlx(Stdlib__Obj)
= a4138a3a0c08cdb070011623c83ca032 ocamlx(Stdlib__Parsing)
= 92fa2375a865927827b95a710fd8db2b ocamlx(Stdlib__Printexc)
= ac29fa1eab3344162fa1d6afdf6872d4 ocamlx(Stdlib__Queue)
= bd6cc79123202b55fdf31fc087aa06eb ocamlx(Stdlib__Random)
= 77c1354d6effc4c07123bbe247f06393 ocamlx(Stdlib__Scanf)
= 9d41b0f6935651fa2b340a0986078a0a ocamlx(Stdlib__Set)
= 16f00be18fe41d5b5f3bc6b9bf6629df ocamlx(Stdlib__String)
= b7b20574aeaf6b9579b0e18cd71b27d3 ocamlx(Stdlib__Sys)
= bba061f4005216cd927f027dd350ea87 ocamlx(Stdlib__Weak)
= 4f153d0614e739753ccb1a58e9ecaa38 ocamlx(Str)
= f98e9ef7f9e913e26df2cf0d3af4252b ocamlx(Unix)
= 35e6c2baec05f2448f0ffb79a9faad0e ocamlx(Z)


ارائه دهنده

مقدار نام
= 9eb66ead7c16505345480d13d62e19da ocaml(AltErgoLib)
= ce5bc384acfde88d8754e98ef3878c2e ocaml(AltErgoLib__Ac)
= 5936b5e6260bc74eca9142d5046dc836 ocaml(AltErgoLib__Adt)
= 704fd51ce41ccf594921193cbade044d ocaml(AltErgoLib__Adt_rel)
= 61f70bd28d710ae7b615ee74f7edcad0 ocaml(AltErgoLib__Arith)
= 02b2fa56f51840de162bda316c245a27 ocaml(AltErgoLib__Arrays)
= 5ad8ee9a95812c8098788d5eafd488e4 ocaml(AltErgoLib__Arrays_rel)
= 6320ae1a827b7214c306dccb09394092 ocaml(AltErgoLib__Bitv)
= 7f57c749eb5cd50056261ee507834620 ocaml(AltErgoLib__Bitv_rel)
= 16470fc407d5b9688a7ac17103b06eb7 ocaml(AltErgoLib__Ccx)
= 964fa121fc1a8055a1a0e7515fbc22de ocaml(AltErgoLib__Cnf)
= 296631d292f69eda2970d219d2dba588 ocaml(AltErgoLib__Commands)
= 9835656dab47de6cda20af4248b2c2cf ocaml(AltErgoLib__Config)
= 0964a35d786914dc48575066fe104ca0 ocaml(AltErgoLib__Emap)
= 9e0e53df6d5390cf838a9352e00b4a56 ocaml(AltErgoLib__Enum)
= 3cd8b56b35d5e8b6526d2f017fb91b88 ocaml(AltErgoLib__Enum_rel)
= 8ddedb86ddf18434908fc29a84d5546c ocaml(AltErgoLib__Errors)
= cb41b4d8d37190996392adeb41b62df5 ocaml(AltErgoLib__Explanation)
= 6fa355919f817f5185a0f8ca3d11cf46 ocaml(AltErgoLib__Expr)
= 0a762a5ff447c9c9fbd50c82a3780b66 ocaml(AltErgoLib__Fpa_rounding)
= d281a0ce10315037cb4c50b4b7576346 ocaml(AltErgoLib__Frontend)
= c15082a40a2fcc2e9bdc7a1f5f6928ed ocaml(AltErgoLib__Fun_sat)
= cbc97bbcc5e172c0f83d85cc04e89250 ocaml(AltErgoLib__Gc_debug)
= aa950ff05bc34f6bb56017c946b0929e ocaml(AltErgoLib__Hconsing)
= c93e12be40643436ef709ad9e2706bb0 ocaml(AltErgoLib__Hstring)
= c50136a95ccc5d1db02b38b271f82e23 ocaml(AltErgoLib__Iheap)
= 4a6b1996a7c5386d5e4a20d93ba7e227 ocaml(AltErgoLib__Inequalities)
= 40b036b5127ea5471bc66507a7fcc5e7 ocaml(AltErgoLib__Input)
= 5156c9729dad854d23aff6518c2f7edb ocaml(AltErgoLib__Instances)
= 937a6f3563a5ee9f9dd59cde1b7db022 ocaml(AltErgoLib__IntervalCalculus)
= ef23773ae063c7a5d11575ca0273f9c3 ocaml(AltErgoLib__Intervals)
= b8ee2546edf14396ecf727ca2fb08758 ocaml(AltErgoLib__Ite)
= 411bf1fe65d87b39f5b0475a0e80a10f ocaml(AltErgoLib__Ite_rel)
= d2f136049d58612f3807918682f31a09 ocaml(AltErgoLib__Lists)
= b8f3bebe83000b643e8579e4920032b1 ocaml(AltErgoLib__Loc)
= decf14f3bf4b30b22fefaa47c0eb2e32 ocaml(AltErgoLib__Matching)
= 5a67fb8407d6c8e5a46cd8e666501148 ocaml(AltErgoLib__MyDynlink)
= de114fa3a6d42d8bd24b96bbae489942 ocaml(AltErgoLib__MyUnix)
= 71b1a067d71454362971f6534db1cc10 ocaml(AltErgoLib__Numbers)
= 30a0239be1953a2a62a3f5f3b0f1f562 ocaml(AltErgoLib__NumsNumbers)
= 14fb4d773074dba9990c8bcc335f9f7a ocaml(AltErgoLib__Options)
= ef01fbd8363b4f00948438735572597d ocaml(AltErgoLib__Parsed)
= cf785c50d11b6d9f8f07c6801663e599 ocaml(AltErgoLib__Parsed_interface)
= 19753a6ac56e7fd7db9f9ad20dfacafe ocaml(AltErgoLib__Polynome)
= 84becef63bb1581fb29712561d05b53d ocaml(AltErgoLib__Profiling)
= 7192168f0fd7b69756eca3725dc9229a ocaml(AltErgoLib__Records)
= b6daff5184aa672160ce860c47093cf8 ocaml(AltErgoLib__Records_rel)
= 889532e1cd9d1792e89a5b62f1d2ae1f ocaml(AltErgoLib__Relation)
= e529daa7d872a60a9f823e514da655bb ocaml(AltErgoLib__Sat_solver)
= 959a00c2cde77586236464f9bfa13c56 ocaml(AltErgoLib__Sat_solver_sig)
= 06e8850bed79ee187d8a48b713af2e28 ocaml(AltErgoLib__Satml)
= 3d86d2311f4dc54f8210ca0032a82c99 ocaml(AltErgoLib__Satml_frontend)
= 1141d91899329cf905639a4dda3b4c8c ocaml(AltErgoLib__Satml_frontend_hybrid)
= 4a6c2e8227afdf786a9032b2ae895bd2 ocaml(AltErgoLib__Satml_types)
= aee4ebdf0db343bbe808fe1ac7c8525e ocaml(AltErgoLib__Shostak)
= d7f0d2d4113a8cc1600b67cbe22de1b1 ocaml(AltErgoLib__Symbols)
= c4009ced4e0490e6b635a2a26457757e ocaml(AltErgoLib__Th_util)
= 4cb4912e03d08f33a1bc7d9d26ff6b56 ocaml(AltErgoLib__Theory)
= e27aba7e2fb08ba806f02708ed302eef ocaml(AltErgoLib__Timers)
= 8ef60b809738fabfb3a77cc9ad26199e ocaml(AltErgoLib__Ty)
= 92b5de247a87192cf6345734af880a24 ocaml(AltErgoLib__Typechecker)
= a8ff61a6bb7fc2a4549d357425c3b79a ocaml(AltErgoLib__Typed)
= 2b09597e0c041f0d2bddcfeae7aeae6b ocaml(AltErgoLib__Uf)
= 90fd136e14fa59b36df99358cc32036b ocaml(AltErgoLib__Use)
= ed0c2975007767bee70b3cba28930fb0 ocaml(AltErgoLib__Util)
= 9dfadf1482d7c321f0f33dbdcdbc799f ocaml(AltErgoLib__Var)
= 6225abb9e030add87cadea5da5042492 ocaml(AltErgoLib__Vec)
= 2b97fc6a9ace33016d21e6127bda60a5 ocaml(AltErgoLib__Version)
= 996435b0a5e471fe0d9b94e59004ef77 ocaml(AltErgoLib__Xliteral)
= aab2c26282eb9d39efc1f534422b5edf ocaml(AltErgoLib__ZarithNumbers)
= 2.3.3-6.fc38 ocaml-alt-ergo-lib-devel
= 2.3.3-6.fc38 ocaml-alt-ergo-lib-devel(x86-64)
= b7614e4bc88184ba07b60e06de3104fd ocamlx(AltErgoLib)
= bd5692db4b258942bcd52ecc1849a14b ocamlx(AltErgoLib__Ac)
= d0a047d0a896ad632001009087722a57 ocamlx(AltErgoLib__Adt)
= 08498615b9b478363f1dac29320717e4 ocamlx(AltErgoLib__Adt_rel)
= 3fa9d3e166dd3f34609296377988ca47 ocamlx(AltErgoLib__Arith)
= 5f2ecd6a9659afafbdd00910b3d784ea ocamlx(AltErgoLib__Arrays)
= c0866a129867620e7e09c81143f307b9 ocamlx(AltErgoLib__Arrays_rel)
= 131740d354efbe89683d18a671ff1db0 ocamlx(AltErgoLib__Bitv)
= 6a483cbd41db11a46cd80f29b9729992 ocamlx(AltErgoLib__Bitv_rel)
= 3e6eb7643ecc76d588bd1cc280c37455 ocamlx(AltErgoLib__Ccx)
= 60a2a109c5c7412dd14e9d94e514d9ba ocamlx(AltErgoLib__Cnf)
= ed6ecac56ff59c4b19cd8293098f6852 ocamlx(AltErgoLib__Commands)
= e6f723c23b113418b009f379e9109e63 ocamlx(AltErgoLib__Config)
= f0daf41252fa93c27391f796b7536c2f ocamlx(AltErgoLib__Emap)
= ae591e1d7957afbbf835c3dcb8fcaa01 ocamlx(AltErgoLib__Enum)
= 4a0c1c2cbe1d786a055acdf316d83c01 ocamlx(AltErgoLib__Enum_rel)
= 66d288a989757c868679c954672c0a52 ocamlx(AltErgoLib__Errors)
= 66ff4fadbef41c7fb830053734e76050 ocamlx(AltErgoLib__Explanation)
= c97d6e779af90f1f7622cf193a69280e ocamlx(AltErgoLib__Expr)
= cf2fd589a8ff9e61a8972e3a9257b20c ocamlx(AltErgoLib__Fpa_rounding)
= 1c38be30dec69bfc3807170eeb162525 ocamlx(AltErgoLib__Frontend)
= 180c2fc3ba7e79061f0fe6fae1478a69 ocamlx(AltErgoLib__Fun_sat)
= 4569a9fc0f85308682e4237092cef993 ocamlx(AltErgoLib__Gc_debug)
= bfedb0079e3ca7650e210597aad2f750 ocamlx(AltErgoLib__Hconsing)
= 1d86e195718616529a12d5093744919a ocamlx(AltErgoLib__Hstring)
= f3c123ca961b267c9a2a93f8ac51333e ocamlx(AltErgoLib__Iheap)
= d2dd4601355bf86e74b2073c9961055a ocamlx(AltErgoLib__Inequalities)
= 929440f66023b6489fb7cd83e726427a ocamlx(AltErgoLib__Input)
= d1cd28c99f2a2b7b4f46960dbeeb3d91 ocamlx(AltErgoLib__Instances)
= c0b1606d1d650009bfccd5ce5c5d8614 ocamlx(AltErgoLib__IntervalCalculus)
= 54d2b4bbbbec3d0a8e9df222b850b9d4 ocamlx(AltErgoLib__Intervals)
= b68a1d6f18f0d3504c0b34b99adf974c ocamlx(AltErgoLib__Ite)
= 2daef9317d9665446f660770429be2b3 ocamlx(AltErgoLib__Ite_rel)
= e74f0ec0739d72018e3fd98dfd8bb96b ocamlx(AltErgoLib__Lists)
= 278f7a784ba6d8f69323139df0db4d7d ocamlx(AltErgoLib__Loc)
= f03ff7b22080fed60762f39ad2817f79 ocamlx(AltErgoLib__Matching)
= e481464a24ee2f7a3c13a333806a4ea3 ocamlx(AltErgoLib__MyDynlink)
= 3e9b0295b9792cab3d561928bfe1f35b ocamlx(AltErgoLib__MyUnix)
= 2297c43a193ec0955c051ef198e3b98c ocamlx(AltErgoLib__Numbers)
= 35b8df0f0130528d8ab2fed7d100afa3 ocamlx(AltErgoLib__NumsNumbers)
= b2f7cb361b20f0fc151b38a7fb3d81fc ocamlx(AltErgoLib__Options)
= df8f8950814d3de519779f4c8584f657 ocamlx(AltErgoLib__Parsed)
= 052c4755cd27106172a59a401e76d132 ocamlx(AltErgoLib__Parsed_interface)
= 1ec1bc4aedd71681659b38996acb06bd ocamlx(AltErgoLib__Polynome)
= 6b99b8f408f11c79ac6732f2b6baebf8 ocamlx(AltErgoLib__Profiling)
= 1221887740ec9ceb9b264731aa04871f ocamlx(AltErgoLib__Records)
= 49e1fcd950490184eb43af33e9ac5844 ocamlx(AltErgoLib__Records_rel)
= f18b5e9d5cb02eccd0d3ec484e27568b ocamlx(AltErgoLib__Relation)
= a49668f5fcbbaf71d04eb8e8a5571752 ocamlx(AltErgoLib__Sat_solver)
= 09934fc54d2493ab10b0fe8acf8dd539 ocamlx(AltErgoLib__Sat_solver_sig)
= bfe6ec947db341ee00d7595341a362d1 ocamlx(AltErgoLib__Satml)
= 1bd179a59637a8dd5accee739a9626d4 ocamlx(AltErgoLib__Satml_frontend)
= d5aac10cd18d82cd0eba6ce1a505d46e ocamlx(AltErgoLib__Satml_frontend_hybrid)
= c6b88aad1d39e21cadca45f05f11a09d ocamlx(AltErgoLib__Satml_types)
= 4d6bf076daf3a50badce017273b720fe ocamlx(AltErgoLib__Shostak)
= a244dd650b440f6f7dc0b325ce2f0ed4 ocamlx(AltErgoLib__Symbols)
= 4d70313544c958c80f147f127b2c30e0 ocamlx(AltErgoLib__Th_util)
= 76eccff462bf20c1b30be2c2a26bc26a ocamlx(AltErgoLib__Theory)
= e9806a64970172343e7d85cd5910ee8c ocamlx(AltErgoLib__Timers)
= 3c7fcd1ac9baec20ac265eba31e73e13 ocamlx(AltErgoLib__Ty)
= 7d01ade925ac34d359db3a98df4fc07a ocamlx(AltErgoLib__Typechecker)
= f5f05f11b40a6718cc06a54aaa2f26ee ocamlx(AltErgoLib__Typed)
= fa90c01c0a80524d7fc3418b278c6750 ocamlx(AltErgoLib__Uf)
= ff5240a54c60079df88691f140f70fd8 ocamlx(AltErgoLib__Use)
= ecaa90f69565806a88639d1efee74250 ocamlx(AltErgoLib__Util)
= 7f952de258609d6a09a70bd1d4e47e95 ocamlx(AltErgoLib__Var)
= eceb66a6b81132355b24bb11d0db1eae ocamlx(AltErgoLib__Vec)
= 2802a74d2a64200d6823446230d80f0d ocamlx(AltErgoLib__Version)
= 8182f403b872d6c3ece5d9304707a335 ocamlx(AltErgoLib__Xliteral)
= 3e46c88d005a1ad938fa78ee7e6a1afe ocamlx(AltErgoLib__ZarithNumbers)


نحوه نصب


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

    dnf install ocaml-alt-ergo-lib-devel-2.3.3-6.fc38.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-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