معرفی شرکت ها

gappalib-coq-1.5.4-1.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.4-1.fc39.aarch64.rpm
نسخه بسته 1.5.4
انتشار بسته 1.fc39
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Wed 03 Jan 2024 06
هاست سازنده buildvm-a64-36.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://gitlab.inria.fr/gappa/coq
مجوز LGPL-3.0-or-later
حجم دانلود 677K
حجم نصب 2.333M
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.aarch64.rpm 1.5.3 aarch64 Fedora Everything
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.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.18.0 coq(aarch-64)
- flocq
- gappa
= 392150c230c7b773614b8132b5050594 ocaml(AcyclicGraph)
= 730265eec2e3da042cdd0f8a8c134f46 ocaml(Attributes)
= 981a14e500660f2c264fb221a4e70905 ocaml(Big_int_Z)
= 6d58569e3639e38decf1a0dbacbf0726 ocaml(CArray)
= 42d6ecfe3ce9d100a355b5990a884114 ocaml(CAst)
= 5f02da07dc25d0af177e5b431bd2ca7d ocaml(CClosure)
= 326079a49c3f190b8b7ab5844c584942 ocaml(CDebug)
= 93e20cd55896e94be0d04b06c6571279 ocaml(CEphemeron)
= 00917bcf8ba9a78b4ea100f83590b566 ocaml(CErrors)
= f77e1d27f3ce84e91131fb23dda42504 ocaml(CLexer)
= a7a0c48b94e35b57bfb2bc2689d58cb7 ocaml(CList)
= 56aa025417b342f792402ad3a956066e ocaml(CMap)
= 07235103f046552da753e83ad1b62004 ocaml(CPrimitives)
= 7d7be9cc23fb38e10753233bf859750e ocaml(CSet)
= cbe0b0a079f2ef2dcd13f42ae80840dd ocaml(CSig)
= ba1439e877c8deb15a04b63ae44497cb ocaml(CString)
= 02c1e8f824a500e558673c6fa375775f ocaml(CUnix)
= 360d9e855470374f7e15382e6a31506b ocaml(CWarnings)
= cecfafd5c021473f5e358c96ac7502a0 ocaml(CamlinternalFormatBasics)
= 2c797917c31a980b79e9d16d84057b70 ocaml(CamlinternalLazy)
= 3f4b790f488db7e835774cc53c561179 ocaml(Coercionops)
= f7420182b69f0d3646c935cd7b59745b ocaml(Constr)
= f19d3c6b7b2f9c73b4d81d5072fc7969 ocaml(Constrexpr)
= c6d0cd9c635fb2a8e83830f9fedd9565 ocaml(Constrintern)
= 3d39efc23f824b02c82114025f1ecac4 ocaml(Context)
= 710e6424928355e4e79f94fc54e3996f ocaml(Conv_oracle)
= 0e64c1e86b9425ae4be9b3521e2fc857 ocaml(Conversion)
= 2a47249e98b3be9e170d34cd4d9a6ef1 ocaml(Cooking)
= 5bebc4a384c77c5330739cc72ad255ce ocaml(Coqlib)
= 2f2b7acba36e311950e44668c73498db ocaml(DAst)
= 9235ebed91210dcb1116cac6b9f1ff52 ocaml(Declarations)
= d63daa907f5178bf92cad80835b83e89 ocaml(Declare)
= 56f94fa38dfba52fbbd1ba4b373560fb ocaml(Declaremods)
= 7079ec08ffb13ce1605792ed809e58e8 ocaml(Decls)
= b15ef9256df466a8fb4166c91d2d6585 ocaml(Deprecation)
= 7c33431d9bab53ffe442f1e16db6f418 ocaml(Dumpglob)
= cbf19b204d91d94e8817b26f32a8ba9c ocaml(Dyn)
= c828561535e94b6bb6037ca74c3dc755 ocaml(EConstr)
= 686565494ada419160a018901fb8a7cb ocaml(Entries)
= 83aaa9e324085d2b14616342f28d3fb3 ocaml(Environ)
= c2751a2f74dfdcda1741a60f0fed5949 ocaml(Equality)
= a549cc4681bd9d26223a774c2293c7d0 ocaml(Esubst)
= 936b4695f5e968c33ce133feca72b7e0 ocaml(Evar)
= c973ae08e81b47c22640985418fb723c ocaml(Evar_kinds)
= 156f4c10177df214d4b5a70fbf8e3ee1 ocaml(Evardefine)
= 5a6518f834013128cce6f0cb7653cb8e ocaml(Evarsolve)
= f57cc4e3212a18a2f246ff62f7aa6385 ocaml(Evarutil)
= 4bf57d086fdc5fb953540e310c0e0dfc ocaml(Evd)
= 38ad6517d5220e43e479a1d0d18b8b8c ocaml(Exninfo)
= 3831d7e350ed8543105c96a41bcd8c33 ocaml(Extend)
= 84d6570848e9511aae54659b18a17c2d ocaml(Float64)
= 8401680cca79c824c5b71cc932e9a25e ocaml(Ftactic)
= 056918f0691a7206769938958c112a1c ocaml(Future)
= fddccfeb13126b528290ec87ecc1f1a7 ocaml(Genarg)
= 94333dd10bf18846afa016633d57b4ee ocaml(Genintern)
= 41e563f9682585c8f4605bf8cf16dd89 ocaml(Geninterp)
= 8ee011d79118a98a7f27ae2bd719a75c ocaml(Genlambda)
= 2025ef30bb1bd30db40755104651d881 ocaml(Genprint)
= 567e09f09846700aa78b1ed7a39ded25 ocaml(Genredexpr)
= 1791f2107572a3aa0dac7befc171da34 ocaml(GlobEnv)
= a3ef8f490a43c8aa92a42b438f47bc64 ocaml(Glob_term)
= 1bdb57f67b55e26a3d01f6cdf4d532b6 ocaml(Global)
= ccaef1b15d958f724ef8d18c6135e84b ocaml(Globnames)
= d1247cc3b0ac79c2f9ffbdcbabebbb2c ocaml(Goal_select)
= bf7a454f420eb014657355188b4e2709 ocaml(Goptions)
= f7a9c352b24c4ddeba559951b0f7dd3e ocaml(Gramlib)
= 443690b2317f143c76466a5d3a66eb2f ocaml(Gramlib__Gramext)
= b3ee77afd0274c9e58578c067acc2971 ocaml(Gramlib__Grammar)
= 5dc778a5dca30e266e638f5a662d462a ocaml(Gramlib__LStream)
= ebd2354d5681096939bb78667a23cba0 ocaml(Gramlib__Plexing)
= 15a7f9875972299004ab0b232b77c3cc ocaml(Gramlib__Stream)
= 16cd719166c8c5010b0670dadb52fe96 ocaml(Hashcons)
= 054fe5127bf9aac57339f346c0d1a1ef ocaml(Hashset)
= d1a0cc09c64a0e832098981425c88d43 ocaml(Hints)
= 04f6c318e5dc4380e8d89a7074c603b3 ocaml(Hook)
= 3834a0a72a85abdbfdd7cd99ac966b7f ocaml(Impargs)
= 6b4a4972f474f1fd801a00991a35d69b ocaml(Ind_tables)
= d92806c6b6b4bc96e03c8a07044dcf08 ocaml(Int)
= df8be7514f78b424c211904ce94fe875 ocaml(Inv)
= 2610876f92739a59576d0b9e745fca30 ocaml(Lib)
= 26b9cee5e6731fa5766e9f04bc2d7507 ocaml(Libnames)
= 0917543958915872f997aabaa90cfdd4 ocaml(Libobject)
= 66403678cb7815a79c0e1a1c82447bd2 ocaml(Loc)
= 32c60adefab0a4ba123be4179a8853cc ocaml(Locality)
= c41553c61784d017f4a2b6e4d5ed763d ocaml(Locus)
= f6e192ce90f21df1a1f454bddd287ded ocaml(Logic)
= b617dbec58c0edc562650901e5ea7463 ocaml(Logic_monad)
= df167d955e180cbe1923b3aca1a51797 ocaml(Ltac_plugin)
= 0befda10affa57106501d4def2056fca ocaml(Ltac_plugin__Pptactic)
= 0b718829f353e89009297173466b202e ocaml(Ltac_plugin__Tacentries)
= 3638a4f42753310bdf3da2ac0c732558 ocaml(Ltac_plugin__Tacexpr)
= 88712f99ab7d0e957b7d460228e30585 ocaml(Ltac_pretype)
= bc983aac0253b2f720ae8da3dbb1feba ocaml(Metasyntax)
= f515792a9d8da2051dd4c02260bc813d ocaml(Mltop)
= 87bf8a9e488a2d66b98b311cd9e9b9f9 ocaml(Mod_subst)
= 75707a1786cd199cf3322d7f42662457 ocaml(Modintern)
= 111c49d5acef9c643936ce9c7f2dfa62 ocaml(Monad)
= ac0919cc300b6a61e06dd7e1199a9a24 ocaml(Namegen)
= 085b410b2201aab95c4b28f79466b72d ocaml(Names)
= 7b2bc797d81dde90816bfbdb05ed9cd8 ocaml(Nametab)
= caaa3c0045d8b1cf818dd091b9f9de8f ocaml(Nativecode)
= ca885e8aba83fb0f378e718af379cb04 ocaml(Nativelib)
= 83c41dd7e32a59ded1e43e007a331f75 ocaml(Nativevalues)
= 970a4fb3b081f410660ba7e487594f83 ocaml(NeList)
= 854e26ad5e405f07e58f00bb1c3f238f ocaml(Notation)
= 12d45aaf6e2b0d86d8695f8d56b3cd19 ocaml(Notation_term)
= 602a3ec077d38fb6ec655de88568b1a9 ocaml(Notationextern)
= 47afeeff9c8b0a62798648ec22366e22 ocaml(NumTok)
= ce97714638bdef636ddcdf6595d88997 ocaml(Opaqueproof)
= d7ffd5166e0ad210e99839a7a8859a57 ocaml(Parray)
= c96e307117bd71a535339af9cf3b1814 ocaml(Pattern)
= 278ab275fec18665ab0d2b379f6e2d7c ocaml(Pcoq)
= a06106912b4260216a95b51835f39c2e ocaml(Pp)
= 1b54ffe866048b283dcf39c247b9f856 ocaml(Predicate)
= b19c822df2d1d082a111931a6e23af16 ocaml(Pretype_errors)
= 7baa8835c2cd158b2240b5d7edfc4ac4 ocaml(Pretyping)
= a2a70f50cb0abf7070f6d70f32e1af58 ocaml(Primred)
= 38f65e0e7495c9884f4fbc757df288b5 ocaml(Printer)
= a7f2c3e341f1b2909c590a79b6b8a04c ocaml(Proof)
= 8866137c53fe7e92b68bcefc4b78c9d9 ocaml(Proof_bullet)
= f95bf5e900a7623f3c35f6b6e0202f24 ocaml(Proof_using)
= 580140f14a4ca6b43694306c5c408edd ocaml(Proofview)
= 0ea514d7b87be1004a21b151bfeceb86 ocaml(Proofview_monad)
= c562639c5293c3f6a9bc29c4d52cdd71 ocaml(Pvernac)
= 63247554a25737029029a5ce190b7152 ocaml(Range)
= 39fe585ef6d85c68f9e1bdbb96de5db4 ocaml(Redexpr)
= 1b00d396d927b2dd74ec3ded04626b44 ocaml(Reductionops)
= eedb3ca4fc9d6f01553de097dcc3258d ocaml(RetrieveObl)
= 2acb5320cf7ecf9e2f3efdc0bdc1d99d ocaml(Retroknowledge)
= 3070acfe312150638de5f65e9e319e64 ocaml(Rtree)
= 3db7c318198c7d1af831076050e784a4 ocaml(SList)
= 4ac03c1fdfa988037fb40dfae916b6a9 ocaml(Safe_typing)
= 2613b1d4c008a4c834ee19752feb6018 ocaml(Section)
= 61442a743ca9846b7087cbab9dc63fe7 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)
= fad478c460d01a21465ad93ec5e9648f ocaml(Summary)
= ee4ee105a2dbbdef7373d8b1284bed1c ocaml(Tacmach)
= eb0036c45d4a3e614366560fc8d6fc0b ocaml(Tacred)
= 63c5a0b28bf2def0bb08a9e47fc50bcc ocaml(Tacticals)
= 019bb345cda1870f39aaf25886ba4fb7 ocaml(Tactics)
= ba10a2d8be8db5731a9dca13b13c6195 ocaml(Tactypes)
= 4fbbd5e83cff685ad353c731ebb6dd18 ocaml(Term)
= c7e17493652fa46ec713b60e9fc08fef ocaml(Tok)
= 7823591e24f8fe112e1e16e79655d585 ocaml(TransparentState)
= 71aafacb8c42b9a633bed6ea553e5463 ocaml(Type_errors)
= 6fbd580650fbc640e2381e2517d848be ocaml(Typeclasses)
= b5b877aec9d0c6f90af91489e5cc6cbd ocaml(UGraph)
= 7057f875f8be32d40547332bfd86ed12 ocaml(UState)
= 69f038589ad8461f82667721d319bc09 ocaml(Uint63)
= 5ae0b46009678933af883b64da697c7d ocaml(Unification)
= 3996390653d490fd2676712cb08acd41 ocaml(Univ)
= 988aedf72070cd703d14a8bb8174ca03 ocaml(UnivGen)
= 2b59f78b9f5ac159d219fe823893efb3 ocaml(UnivNames)
= f0ebfa77aee8f5aee71e8bc114598a42 ocaml(UnivProblem)
= 10466c79a75d4b4870f1dbf10ad25b96 ocaml(UnivSubst)
= 8da0575524ccb15782c0ca7ebc83ccb8 ocaml(Unix)
= 739c05c768541246b721db6b4ded59cd ocaml(Util)
= dd4b54c7a63002dbbaf42b63ae2c0422 ocaml(Values)
= 7e109c978a761d1b350cff2c72c92ab4 ocaml(Vars)
= d7b1d116584b719654d93c454841c6ef ocaml(Vernacexpr)
= 7ab74f32c62eb0896692db15c73f1b5d ocaml(Vernacextend)
= e473504b85f6c7a6e54572cdc52dff4d ocaml(Vmbytecodes)
= 914f5a6360e08c57a373d1aea72b8c44 ocaml(Vmemitcodes)
= 9164664dac68a78436cd7507a8434bcd ocaml(Vmvalues)
= 0009d1c1f4074c1e5cac1497b3dc94fa ocaml(Z)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 1.5.4-1.fc39 gappalib-coq
= 1.5.4-1.fc39 gappalib-coq(aarch-64)
= c83328a09b22d1239b4a62eba212e8d9 ocaml(Gappatac)


نحوه نصب


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

    dnf install gappalib-coq-1.5.4-1.fc39.aarch64.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/3e
/usr/lib/.build-id/3e/dbb48bd391497dbab35ba8f0381bb68ebca31c
/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


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

تاریخ آخرین تغییر جزئیات
2024-01-02

Version 1.5.4

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