معرفی شرکت ها

gappalib-coq-1.5.3-4.fc39.aarch64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

Coq support library for gappa
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 39
مخزن Fedora Everything aarch64
نام بسته gappalib-coq
نام فایل بسته gappalib-coq-1.5.3-4.fc39.aarch64.rpm
نسخه بسته 1.5.3
انتشار بسته 4.fc39
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Thu 27 Jul 2023 09
هاست سازنده buildvm-a64-08.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://gitlab.inria.fr/gappa/coq
مجوز LGPL-3.0-or-later
حجم دانلود 701K
حجم نصب 2.360M
This support library provides vernacular files so that the certificates Gappa generates can be imported by the Coq proof assistant. It also provides a "gappa" tactic that calls Gappa on the current Coq goal. Gappa (Génération Automatique de Preuves de Propriétés Arithmétiques -- automatic proof generation of arithmetic properties) is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.


جایگزین ها

بسته نسخه معماری مخزن
gappalib-coq-1.5.3-4.fc39.src.rpm 1.5.3 x86_64 Fedora Everything
gappalib-coq-1.5.3-4.fc39.x86_64.rpm 1.5.3 x86_64 Fedora Everything
gappalib-coq-1.5.4-1.fc39.aarch64.rpm 1.5.4 aarch64 Fedora Everything
gappalib-coq-1.5.4-1.fc39.src.rpm 1.5.4 x86_64 Fedora Everything
gappalib-coq-1.5.4-1.fc39.x86_64.rpm 1.5.4 x86_64 Fedora Everything
gappalib-coq-debuginfo-1.5.3-4.fc39.aarch64.rpm 1.5.3 aarch64 Fedora Everything
gappalib-coq-debuginfo-1.5.3-4.fc39.x86_64.rpm 1.5.3 x86_64 Fedora Everything
gappalib-coq-debuginfo-1.5.4-1.fc39.aarch64.rpm 1.5.4 aarch64 Fedora Everything
gappalib-coq-debuginfo-1.5.4-1.fc39.x86_64.rpm 1.5.4 x86_64 Fedora Everything
gappalib-coq-debugsource-1.5.3-4.fc39.aarch64.rpm 1.5.3 aarch64 Fedora Everything
gappalib-coq-debugsource-1.5.3-4.fc39.x86_64.rpm 1.5.3 x86_64 Fedora Everything
gappalib-coq-debugsource-1.5.4-1.fc39.aarch64.rpm 1.5.4 aarch64 Fedora Everything
gappalib-coq-debugsource-1.5.4-1.fc39.x86_64.rpm 1.5.4 x86_64 Fedora Everything
gappalib-coq-source-1.5.3-4.fc39.aarch64.rpm 1.5.3 aarch64 Fedora Everything
gappalib-coq-source-1.5.3-4.fc39.x86_64.rpm 1.5.3 x86_64 Fedora Everything
gappalib-coq-source-1.5.4-1.fc39.aarch64.rpm 1.5.4 aarch64 Fedora Everything
gappalib-coq-source-1.5.4-1.fc39.x86_64.rpm 1.5.4 x86_64 Fedora Everything


نیازمندی

مقدار نام
= 8.17.1 coq(aarch-64)
- flocq
- gappa
= 075502ca3357cf235179ed6b9b34d699 ocaml(AcyclicGraph)
= 10a9271295c73222723c35d497a9c142 ocaml(Attributes)
= 981a14e500660f2c264fb221a4e70905 ocaml(Big_int_Z)
= 6d58569e3639e38decf1a0dbacbf0726 ocaml(CArray)
= 42d6ecfe3ce9d100a355b5990a884114 ocaml(CAst)
= e6f92f47a3a34da19529eb5ab292a15c ocaml(CClosure)
= 326079a49c3f190b8b7ab5844c584942 ocaml(CDebug)
= 93e20cd55896e94be0d04b06c6571279 ocaml(CEphemeron)
= 00917bcf8ba9a78b4ea100f83590b566 ocaml(CErrors)
= f40080596f5cf76bf47880b35de4d520 ocaml(CList)
= 57c0f678ba0c1d7497fe55560bcebe5e ocaml(CMap)
= ee0d0284977cedc9a396190afc96b017 ocaml(CPrimitives)
= 7d7be9cc23fb38e10753233bf859750e ocaml(CSet)
= cbe0b0a079f2ef2dcd13f42ae80840dd ocaml(CSig)
= a4fefb8c8cd7dd8cf22cbb31ad12719e ocaml(CString)
= 02c1e8f824a500e558673c6fa375775f ocaml(CUnix)
= cecfafd5c021473f5e358c96ac7502a0 ocaml(CamlinternalFormatBasics)
= 2c797917c31a980b79e9d16d84057b70 ocaml(CamlinternalLazy)
= 72d5956fe74aa7305ae3bbb641e3b983 ocaml(Coercionops)
= acf664940fffc0313c01688209a0d237 ocaml(Constr)
= 001812fbe88649fb85bc1e1063d17af5 ocaml(Constrexpr)
= a8033a28fe7fca27d16d372e65fed2d6 ocaml(Constrintern)
= 3fe7fbe659a4f13008383d4561c31eb0 ocaml(Context)
= 710e6424928355e4e79f94fc54e3996f ocaml(Conv_oracle)
= 18a51bbae8bd6cfbdcbbe7f63e3c6353 ocaml(Cooking)
= af23afa2424208686fde11efe7e05e65 ocaml(Coqlib)
= 2f2b7acba36e311950e44668c73498db ocaml(DAst)
= e11e7b55e2022e146635311703c7f8ca ocaml(Declarations)
= d2c0103ef1dc9d638c4f209a7cefc785 ocaml(Declare)
= 86af76c503a5c17f27d1b57895a1b62b ocaml(Declaremods)
= ad2128d119f2ee083fd08bc3fcbb1bd8 ocaml(Decls)
= d7b041802f27786187ee8416dee16311 ocaml(Deprecation)
= 05df61c86fa04d0600215123dc34a560 ocaml(Dumpglob)
= 1b538aaee631897369983bb45811c33a ocaml(Dyn)
= f12616ad158d21a2ed5537e3da0fd5b1 ocaml(EConstr)
= 511d06092314c189eb1c73b513757058 ocaml(Entries)
= 9cb8af3706e624f8843581aa98c3b87a ocaml(Environ)
= b115b42503ec4fb9aa8262153178f5fd ocaml(Equality)
= 815313524e169289b486f89e5e192bff ocaml(Esubst)
= 935cc7677fe970a7206ebfe2e1779a82 ocaml(Evar)
= 4a35778ef84c18690cf246825141e273 ocaml(Evar_kinds)
= 228b2e357edb99df41e0489c0b23d6bf ocaml(Evardefine)
= a581a8be5cbf80aba6d58be7b0b9c4e1 ocaml(Evarsolve)
= 47a72ebec653dd2a1a218ef6464ebb6c ocaml(Evarutil)
= 421312b8e9c7e6fdce6aef8679c651d3 ocaml(Evd)
= 38ad6517d5220e43e479a1d0d18b8b8c ocaml(Exninfo)
= 3e9ecbb91300c3df69a2c84e49286afb ocaml(Extend)
= 84d6570848e9511aae54659b18a17c2d ocaml(Float64)
= 8401680cca79c824c5b71cc932e9a25e ocaml(Ftactic)
= 056918f0691a7206769938958c112a1c ocaml(Future)
= 508690e563971eb655c545a2954a0bba ocaml(Genarg)
= c2b6d5d20ae5122ff92df401a96874f0 ocaml(Genintern)
= 7067c9e7d583f7cf0548275722897c48 ocaml(Geninterp)
= 43b0bce21e3927e5e2ad9fe8c9dc1499 ocaml(Genlambda)
= 5ce4a74c2a2b11fa0102addd6be3e7a6 ocaml(Genprint)
= 9a8af566f499d25a7d7025c9325b22c7 ocaml(Genredexpr)
= c7a9306448899f6209f66dd655affca9 ocaml(GlobEnv)
= 3642013615c2c0112ce8b70fca2bf9f4 ocaml(Glob_term)
= c82a68dcfdf2586e15f7548a15f6691a ocaml(Global)
= 24828265b7f1ae3dcf2facaf6787efa2 ocaml(Globnames)
= d1247cc3b0ac79c2f9ffbdcbabebbb2c ocaml(Goal_select)
= 937deb56091f7d609729cb85a9c00970 ocaml(Goptions)
= f7a9c352b24c4ddeba559951b0f7dd3e ocaml(Gramlib)
= 443690b2317f143c76466a5d3a66eb2f ocaml(Gramlib__Gramext)
= b6f613b5af6e74fccbf4932ead3118a2 ocaml(Gramlib__Grammar)
= 479adf7cc6f48be49a10d952f395e202 ocaml(Gramlib__LStream)
= d29433cae784e60b04be278488111983 ocaml(Gramlib__Plexing)
= e34e97e7287f3698c88dac7d11f02272 ocaml(Gramlib__Stream)
= 16cd719166c8c5010b0670dadb52fe96 ocaml(Hashcons)
= 054fe5127bf9aac57339f346c0d1a1ef ocaml(Hashset)
= b841647482cd3fef24aaec52ad0cc2a7 ocaml(Hints)
= 04f6c318e5dc4380e8d89a7074c603b3 ocaml(Hook)
= 6ebc2fdbc25579ff2cc46910f5a9c2f2 ocaml(Impargs)
= 39b410cf6e73871ee85700ab3cccc044 ocaml(Ind_tables)
= 9db9b156b240b450eebcce7d49c69088 ocaml(Int)
= 9e795fa84cce70167d1330cc7ff395db ocaml(Inv)
= 47ec689cb28c94f14058358d26142693 ocaml(Lib)
= 17c14327b9e22b508dbf16535b8e9383 ocaml(Libnames)
= f566ef24eea0c63237d3c3f167816608 ocaml(Libobject)
= 66403678cb7815a79c0e1a1c82447bd2 ocaml(Loc)
= a4f0d96e768809a92230d1e461bb358b ocaml(Locality)
= 88f0e885b31a8dd39208e2b14fb5adeb ocaml(Locus)
= 2dd074517298492cf3666f61f877c172 ocaml(Logic)
= b617dbec58c0edc562650901e5ea7463 ocaml(Logic_monad)
= df167d955e180cbe1923b3aca1a51797 ocaml(Ltac_plugin)
= c6bd202577c8962298f99a38565f9e33 ocaml(Ltac_plugin__Pptactic)
= 5a2d1920a346f707cef71ab0d8d2396c ocaml(Ltac_plugin__Tacentries)
= 7dad1a4e00b4f3c0a8a7b85276991bec ocaml(Ltac_plugin__Tacexpr)
= c63e6540f28100332bfc151da2ff363d ocaml(Ltac_pretype)
= b630613c74b71f1b5f49d5d79ee3ff74 ocaml(Metasyntax)
= 537ad855371b86d53e2f554314bb594b ocaml(Mltop)
= 87bf8a9e488a2d66b98b311cd9e9b9f9 ocaml(Mod_subst)
= 111c49d5acef9c643936ce9c7f2dfa62 ocaml(Monad)
= d7cfa5e742ed7cd93aa0dbcc494b1071 ocaml(Namegen)
= 012fb1b3a7cfe3314a332d1ca5acf690 ocaml(Names)
= 1df605c7bad951b8cae34399bc930f27 ocaml(Nametab)
= 10320d3f9e177dc2c8883253f4b1aae4 ocaml(Nativecode)
= ca885e8aba83fb0f378e718af379cb04 ocaml(Nativelib)
= 71c6a790ed5749675aad7773ae17fb44 ocaml(Nativevalues)
= 970a4fb3b081f410660ba7e487594f83 ocaml(NeList)
= 56341c774049f672274e301c53e12656 ocaml(Notation)
= 23d4f51cd91d7b03965dfa71c2d499ae ocaml(Notation_term)
= 9b4f5d6a8734829b79fa5c35ad263828 ocaml(Notationextern)
= b0a3b98c1f6a9bd60982ac4e9ef65dd4 ocaml(NumTok)
= 38a55fba1df13077948ee92b583d927d ocaml(Opaqueproof)
= d7ffd5166e0ad210e99839a7a8859a57 ocaml(Parray)
= f5c4f8fed7d2454c5806df017306bd03 ocaml(Pattern)
= ea2c841c09442e708e0f8a8cc0044923 ocaml(Pcoq)
= a06106912b4260216a95b51835f39c2e ocaml(Pp)
= 1b54ffe866048b283dcf39c247b9f856 ocaml(Predicate)
= 1d0a44b2a2d6f9e290fe733e60bff375 ocaml(Pretype_errors)
= 8c7597fa2cac52e76bd458219483c86d ocaml(Pretyping)
= a2a70f50cb0abf7070f6d70f32e1af58 ocaml(Primred)
= 7a19633a5ac20808f8a4b826012915ac ocaml(Printer)
= 33a8a89b8674f99fcff5ad7076a118e8 ocaml(Proof)
= 8866137c53fe7e92b68bcefc4b78c9d9 ocaml(Proof_bullet)
= 791e55bc95f9956363dda1074e7c939a ocaml(Proof_using)
= 539ebd2b6bc29156327ec1b098209181 ocaml(Proofview)
= 9cf42adffde2d967be09cedb88fe9c17 ocaml(Proofview_monad)
= a0e7a205ef7ee4bd4d4ff5846012bb37 ocaml(Pvernac)
= 63247554a25737029029a5ce190b7152 ocaml(Range)
= 7f4803a94320953997ff3430a70c62a9 ocaml(Redexpr)
= 0bb6d8efa644c9bbf5faebe969e316a8 ocaml(Reduction)
= 214e513363c495db0adb82ed78d9a803 ocaml(Reductionops)
= 7f21b7a5114e080ee84528e731ba6f65 ocaml(RetrieveObl)
= 2acb5320cf7ecf9e2f3efdc0bdc1d99d ocaml(Retroknowledge)
= 3070acfe312150638de5f65e9e319e64 ocaml(Rtree)
= 3db7c318198c7d1af831076050e784a4 ocaml(SList)
= f0c7eeeaf667d13dbc8a0f3cd6047d0b ocaml(Safe_typing)
= 4d882372f334b74c5b84c177f7747048 ocaml(Section)
= cc9f372946ba5f59c2897e02518b0d22 ocaml(Sorts)
= 54380a42612c023be92895eb75e54315 ocaml(Stateid)
= 85f85ddb47edc0c7579657eee740302d ocaml(Stdlib)
= 9bcf1a06bdcfbb976f898e818e15611a ocaml(Stdlib__Array)
= 55a812d9a3c89e7a8ebb917e63e4beea ocaml(Stdlib__Bigarray)
= 12b944b4b2913751cd65bdc638975d4d ocaml(Stdlib__Buffer)
= b0d2a0027e7278e26a1fe4bc0e79a690 ocaml(Stdlib__Bytes)
= d5f041ccbe9783af90ca38337002fb4e ocaml(Stdlib__Complex)
= ff876226ab2584c79cfe1afd26ca2f58 ocaml(Stdlib__Digest)
= 0d152be3cd9163970a657d842fca8ecf ocaml(Stdlib__Domain)
= b3ad0f8c65f28252059edebc03f68808 ocaml(Stdlib__Either)
= 218e1f57bdea9d296a9f66e323e71029 ocaml(Stdlib__Filename)
= e7385010d0d6a0bbd4191bc7546d458a ocaml(Stdlib__Format)
= bafdecabd3fce4f5ccc09a1a5587dab4 ocaml(Stdlib__Hashtbl)
= 1db604c2106f996ea47a572773a5ff7f ocaml(Stdlib__Int32)
= 7ab3f2ace09cfcc67be8a7133d18f0e2 ocaml(Stdlib__Int64)
= ca3d5c326131437daef18ae34e7f4aa9 ocaml(Stdlib__Lazy)
= feb7c568830f9f239501efb83f4725e4 ocaml(Stdlib__List)
= 71415964978d1cf0c1701af1137aa1ea ocaml(Stdlib__Map)
= 627e6e1768175d0dea895dfbcbc11457 ocaml(Stdlib__Nativeint)
= 85655eceec5bcd6c7c4ef5dd6758b19d ocaml(Stdlib__Obj)
= 3f2ddc04bb28ff1050c0c8d7cf5a8d57 ocaml(Stdlib__Random)
= cc3f899885b746f777815dc93be7ede2 ocaml(Stdlib__Seq)
= f849884bcf48f894e90800c7ccd98f21 ocaml(Stdlib__Set)
= facad7e0dada5941148738b8188d844f ocaml(Stdlib__String)
= a0375c47cee9c7e20ff8f61d4f04e748 ocaml(Stdlib__Sys)
= 9ea864085095970c73b7b17c26c37317 ocaml(Stdlib__Uchar)
= 63270e261706eb1cea0ca37b342126b2 ocaml(Store)
= dc1c2505d9b1f77b75c6aca426effa7d ocaml(Summary)
= deb977ab888afefade68e53a1030f984 ocaml(Tacmach)
= 251ae9ed0fd6696c3aebd5d914cc64ec ocaml(Tacred)
= d9c3c068a9ec0363e46738dc9b8e23cf ocaml(Tacticals)
= bc99036b575021c9469a54f7cdffa366 ocaml(Tactics)
= 46cd140832db0a4b9b5c3813f1f2b415 ocaml(Tactypes)
= d1d85dd60ebc47c2ab7926343361de62 ocaml(Term)
= c7e17493652fa46ec713b60e9fc08fef ocaml(Tok)
= 7823591e24f8fe112e1e16e79655d585 ocaml(TransparentState)
= ccc6b095df0172e70996c28a46a055ef ocaml(Type_errors)
= b2e4186412dac99a2430de9d4fb3337f ocaml(Typeclasses)
= 27ea9b0119ade4eab3827ab655b4694d ocaml(UGraph)
= d548a2a4bdaad5a30afd65583788dd7f ocaml(UState)
= 69f038589ad8461f82667721d319bc09 ocaml(Uint63)
= ce2d4155b080b7ce63bc49841bfd3efc ocaml(Unification)
= c7f67b2c06faaeeac37d4134d85684a7 ocaml(Univ)
= c66e7e99afb88a1b75ebcaa1a84a5eb0 ocaml(UnivGen)
= acfb4f75dcc88c28bf984b666dfb2c68 ocaml(UnivNames)
= bf1fcc3d4d632b787dd90eba436e288b ocaml(UnivProblem)
= 36b66b56cf5c40a7e66f709a7e16793e ocaml(UnivSubst)
= 8da0575524ccb15782c0ca7ebc83ccb8 ocaml(Unix)
= 4e2d66cd8854d72d19ca403ade93245b ocaml(Util)
= dd4b54c7a63002dbbaf42b63ae2c0422 ocaml(Values)
= 83a744e387e1a9296ab828829f307cd7 ocaml(Vars)
= 4819a3602643a6a28fcd1293bc081b14 ocaml(Vernacexpr)
= 85b8597350f5136edd4d4f835e8ca307 ocaml(Vernacextend)
= 901eac76543c714b27471d77c4300db9 ocaml(Vmbytecodes)
= 914f5a6360e08c57a373d1aea72b8c44 ocaml(Vmemitcodes)
= d45c240d6b251288e3668fb3c0027bd7 ocaml(Vmvalues)
= 0009d1c1f4074c1e5cac1497b3dc94fa ocaml(Z)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 1.5.3-4.fc39 gappalib-coq
= 1.5.3-4.fc39 gappalib-coq(aarch-64)
= 5c34155bc03ef07cbeaae66d8b9817cc ocaml(Gappatac)


نحوه نصب


نصب پکیج rpm gappalib-coq:

    dnf install gappalib-coq-1.5.3-4.fc39.aarch64.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/de
/usr/lib/.build-id/de/ac4790122aa5037eace0585e0e52aee3d0d0df
/usr/lib64/ocaml/coq-gappa
/usr/lib64/ocaml/coq-gappa/META
/usr/lib64/ocaml/coq-gappa/gappatac.cmo
/usr/lib64/ocaml/coq-gappa/gappatac.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_common.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_decimal.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_definitions.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_dyadic.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_fixed.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_float.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_library.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_obfuscate.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_abs.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_bnd.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_fixflt.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_nzr.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_pred_rel.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_real.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_rewriting.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_round.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_round_aux.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_round_def.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_tactic.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_tactic_loader.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_tree.vo
/usr/lib64/ocaml/coq/user-contrib/Gappa/Gappa_user.vo
/usr/share/doc/gappalib-coq
/usr/share/doc/gappalib-coq/AUTHORS
/usr/share/doc/gappalib-coq/NEWS.md
/usr/share/doc/gappalib-coq/README.md
/usr/share/licenses/gappalib-coq


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

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

Rebuild for ocaml-zarith 1.13

2023-07-19

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

2023-07-10

OCaml 5.0.0 rebuild

2023-04-01

Version 1.5.3

2023-01-24

Rebuild OCaml packages for F38

2023-01-19

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

2022-11-26

Rebuild for coq 8.16.1

2022-09-16

Rebuild for coq 8.16.0

2022-08-18

Rebuild to fix coq dependency
Change license to LGPL-3.0-or-later

2022-07-21

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

2022-07-20

Version 1.5.2

2022-07-19

Remove i686 support
Use new OCaml macros

2022-06-19

OCaml 4.14.0 rebuild

2022-03-25

Rebuild for coq 8.15.1

2022-02-28

Version 1.5.1

2022-02-04

OCaml 4.13.1 rebuild to remove package notes