gappalib-coq-1.10.0-1.fc45 RPM for x86_64

From Fedora Rawhide for x86_64 / g

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.

Provides

• gappalib-coq
• gappalib-coq(x86-64)
• ocaml(Gappatac)
• ocaml(NGappa_Gappa_common)
• ocaml(NGappa_Gappa_decimal)
• ocaml(NGappa_Gappa_definitions)
• ocaml(NGappa_Gappa_dyadic)
• ocaml(NGappa_Gappa_fixed)
• ocaml(NGappa_Gappa_float)
• ocaml(NGappa_Gappa_library)
• ocaml(NGappa_Gappa_obfuscate)
• ocaml(NGappa_Gappa_pred_abs)
• ocaml(NGappa_Gappa_pred_bnd)
• ocaml(NGappa_Gappa_pred_fixflt)
• ocaml(NGappa_Gappa_pred_lin)
• ocaml(NGappa_Gappa_pred_nzr)
• ocaml(NGappa_Gappa_pred_rel)
• ocaml(NGappa_Gappa_real)
• ocaml(NGappa_Gappa_rewriting)
• ocaml(NGappa_Gappa_round)
• ocaml(NGappa_Gappa_round_aux)
• ocaml(NGappa_Gappa_round_def)
• ocaml(NGappa_Gappa_tactic)
• ocaml(NGappa_Gappa_tree)
• ocaml(NGappa_Gappa_user)
• ocamlx(NGappa_Gappa_common)
• ocamlx(NGappa_Gappa_decimal)
• ocamlx(NGappa_Gappa_definitions)
• ocamlx(NGappa_Gappa_dyadic)
• ocamlx(NGappa_Gappa_fixed)
• ocamlx(NGappa_Gappa_float)
• ocamlx(NGappa_Gappa_library)
• ocamlx(NGappa_Gappa_obfuscate)
• ocamlx(NGappa_Gappa_pred_abs)
• ocamlx(NGappa_Gappa_pred_bnd)
• ocamlx(NGappa_Gappa_pred_fixflt)
• ocamlx(NGappa_Gappa_pred_lin)
• ocamlx(NGappa_Gappa_pred_nzr)
• ocamlx(NGappa_Gappa_pred_rel)
• ocamlx(NGappa_Gappa_real)
• ocamlx(NGappa_Gappa_rewriting)
• ocamlx(NGappa_Gappa_round)
• ocamlx(NGappa_Gappa_round_aux)
• ocamlx(NGappa_Gappa_round_def)
• ocamlx(NGappa_Gappa_tactic)
• ocamlx(NGappa_Gappa_tree)
• ocamlx(NGappa_Gappa_user)

Requires

• flocq
• gappa
• ocaml(AcyclicGraph) = a0928ab85aa9d3f76c78f32d885ccf4b
• ocaml(Attributes) = ee94f0e950a4045506fadfd8f8a692ed
• ocaml(Big_int_Z) = d6cb9e1c54060ad10e28f7ba86ae266a
• ocaml(Boot) = c10d1826ec03550bc542cef705e8a113
• ocaml(Boot__Env) = 6761f5c82d57f92b184c43064da1a433
• ocaml(Boot__Usage) = 38a803d96d64d1260891320e63e0a08b
• ocaml(CArray) = a2e455be7013ec529edc7deeb9c88dcd
• ocaml(CAst) = 23961d59b930d5aa36baa14c1928b394
• ocaml(CClosure) = ad77f6a8affd525d51346515f6cfef66
• ocaml(CDebug) = 7f2e1a015766edd1310ed03bf997b5bf
• ocaml(CEphemeron) = 7cae4867455538660558bdff12463859
• ocaml(CErrors) = fd6fe9d08d9caf8ea4d446ec01e9281a
• ocaml(CLexer) = fb825ee2f56f1eea8e0db95c92534d73
• ocaml(CList) = 9a2830c6a7f1e5138c25f4567f0e7335
• ocaml(CMap) = d8df1ab91a0cf1bc2bb100f53ca23222
• ocaml(CPrimitives) = 6cdb488917c5d051bf02f9e386b819ed
• ocaml(CSet) = c99ec5a860a1db040e3cb46a4ef41cff
• ocaml(CSig) = 8cb23fa269471e19f2cc9161ba3980d0
• ocaml(CString) = b8a8bb70f9e4d08f167510409e9a6053
• ocaml(CUnix) = f6850de84f62fe0043b8f44ae8b780c8
• ocaml(CWarnings) = 3d3d432d806232d106cde8a3e8935ad4
• ocaml(CamlinternalFormatBasics) = bb23651112c1e05c61498d902472830d
• ocaml(CamlinternalLazy) = 321f83e197d23ef3129f66a139b9829f
• ocaml(Coercionops) = 1bf96a451fdcf2424f92a69f4082338a
• ocaml(Constr) = fb261580b2c56e92b79230e91984b99e
• ocaml(Constrexpr) = fb00393fe0cfeeb27d5e33468e787bdd
• ocaml(Constrintern) = 6587e6cdecff8821f9e2719a01bd8340
• ocaml(Context) = b7bf9c2dd9f01e83956292783ef0d7dc
• ocaml(Conv_oracle) = ca9287d023dd57759fc769dc6d98e187
• ocaml(Conversion) = 3a7b3cb133deea09a215118994a3a709
• ocaml(Cooking) = ab1e9c5cf41a861b8d8e39a08760f872
• ocaml(Coq_config) = 4e8d62ba5366a6130182d87b6d493cae
• ocaml(Coqlib) = 468c3c84ff6a1c8dae148e1e23fc003d
• ocaml(DAst) = dfe8298509e157009558d4e8012a58d7
• ocaml(Declarations) = 030ba3d93147be2f26b3e9ab56f774ac
• ocaml(Declare) = 75949e6a91a3375dd3feac2aad4ca540
• ocaml(Declaremods) = d700e258fb2196fe2f6231a5999bdf53
• ocaml(Decls) = 54fed2f8d8694a8ed3706c9743199440
• ocaml(Deprecation) = df915a2364b805360c5b333eff08e454
• ocaml(Dumpglob) = 375ece1d72754a626848fe883fc6a68c
• ocaml(Dyn) = f0cdf5756549bfb2f13af24fa17b15ff
• ocaml(EConstr) = 8045370f4188bbd9ccb9faf948edaeba
• ocaml(Entries) = 2ff75b285b4a2a968be0145f18804393
• ocaml(Environ) = aede06b1411b49706b7510e2e4434f71
• ocaml(Equality) = d8621a5ddcac13d84a5c2ae7ff3873f3
• ocaml(Esubst) = 31516adf5d49c65ff5034d2fb4a17e23
• ocaml(Evaluable) = c23c968b6d8ec423fb5972ca9324f499
• ocaml(Evar) = 5c12d3020e6c58f5eec50fd86ffb3278
• ocaml(Evar_kinds) = 14944ba8a5fafb11f4045137ed5ad8de
• ocaml(Evardefine) = 6e3eaff04cdaa76ddfcdb5d33cca727b
• ocaml(Evarsolve) = b27ce4e0d7e6f908a79cef283c27810a
• ocaml(Evarutil) = 69bde9e70acfd360778497e8dcd20d85
• ocaml(Evd) = 9102614a89005ace383e19f7d0554bf5
• ocaml(Exninfo) = 95e7f938070548b5b5d750588295e6db
• ocaml(Extend) = 400158e1a07efc1d779de794d8a9dc32
• ocaml(Float64) = e3af59c461d447770a9513d585363662
• ocaml(Ftactic) = 3be3bbb1998ac5357e0ceff1ecb3e794
• ocaml(Future) = 0834bf495a97d13fe3d43454740f6994
• ocaml(Genarg) = b7d1b46b3555c6085534dc23bdd45ce2
• ocaml(Generalize) = 54ba689217bf7b77036e9228439b3e39
• ocaml(Genintern) = 11b6ab7464837ebd4e6d8b92fa589577
• ocaml(Geninterp) = 83fd29396e95aa620ef80e09cd7931dc
• ocaml(Genlambda) = 754cd6e7d91a4a53fdbdfdca25b3ddca
• ocaml(Genprint) = 9a9fb8ecbec26bf0c7d4212c77f9c263
• ocaml(Genredexpr) = 5d175f6163784bbfeddf6c186f6ace40
• ocaml(Gensubst) = d8ce3f530105e98c0927957d0db81613
• ocaml(Gentactic) = af12900fcf8c3f1a009c4d91b1406c4c
• ocaml(GlobEnv) = 3f612e3cc8565501734ac24751f3d9d5
• ocaml(Glob_term) = 96a14cf41e84f3fccf0f2ddc3786420d
• ocaml(Global) = 88d35a7c0bf9dbcf40f1afca4d221a8b
• ocaml(Globnames) = 052f59172207e5158a79c1e79e4d22a0
• ocaml(Goal_select) = 2814ca816c54330bf63114b93e467e39
• ocaml(Goptions) = ffdb7184b0ab5016877800c33ccd1a19
• ocaml(Gramlib) = ae39fd0bb86764a48d691d550ddeb9d2
• ocaml(Gramlib__Gramext) = e49c510afe5490ea4e64d84dc46dd6a9
• ocaml(Gramlib__Grammar) = f4df4fab3c9493ad0e0d895296764756
• ocaml(Gramlib__LStream) = e1885b119f7b1a59c48b239662cf0379
• ocaml(Gramlib__Plexing) = 4610fa3e2850b51afbc1eb3052b9141e
• ocaml(Gramlib__Stream) = 4764be9973f4964bc0d6417ffa24b77b
• ocaml(Hashcons) = d9da5b4a5d48cabeddb2878692bf1fce
• ocaml(Hashset) = f2a941d55c9ded6be6c8f9026ec7a921
• ocaml(Hints) = f06c15c1a5a46b5d254a17ccfd3d7438
• ocaml(Hook) = f86461414dc1ef72fcb0b45bed7f95ce
• ocaml(Impargs) = f83f4a1f007162bb4f50c56e3307e6a7
• ocaml(IndTyping) = b821f35aa3cbf1adc7f7b867851f6874
• ocaml(Ind_tables) = 37faf8fc4e3a244d008d9d60f6887166
• ocaml(Inductive) = 5d4e95b3b303626537151353b4f25223
• ocaml(Int) = 88f311a03d57180dbb31c55fea3304a2
• ocaml(Inv) = 14d5ba850261eeecb22f21b3173daed3
• ocaml(Lib) = 34637da1a9ad40f2e974b43ae42e7ff5
• ocaml(Libnames) = e5b66e348bb5442b01e64137ae7f2d2a
• ocaml(Libobject) = bb05130ad670044a529ebb92d8c348fa
• ocaml(Library_info) = bb67c359dd87a433666bd624be33a6e2
• ocaml(Loc) = 11ac099f9c19f0c65bf3b47a73ef6e27
• ocaml(Locality) = 0b0715af09ba64e4cca27ca908696be5
• ocaml(Locus) = 448271cd0d030c79416c91609509bb50
• ocaml(Logic) = ad092736ccbcc60c2cd9c84fd03f6ac7
• ocaml(Logic_monad) = 49c62e4f37eda148c3cd7a98e103b78e
• ocaml(Ltac_plugin) = 5409ef6e2f1819f62566d425aa6b978f
• ocaml(Ltac_plugin__Pptactic) = 03e54c329b30259332800d7aa69bef07
• ocaml(Ltac_plugin__Tacentries) = 33cf52af590ab8bcc3e72b9248747f92
• ocaml(Ltac_plugin__Tacexpr) = 12812dd5ab4f14f215e045033eac11be
• ocaml(Ltac_pretype) = a2c5dc34c670a49c63c836dcf7de7a96
• ocaml(Metasyntax) = d18e2229c276013295934e1339adbc5f
• ocaml(Mod_declarations) = 13ee1b9c6af74eb1079b381c1f5d5b03
• ocaml(Mod_subst) = cd69e5446f1ed18d8f4334e10fe92395
• ocaml(Modintern) = bf6fe5c41c6b05a80ec20e20fa324898
• ocaml(Monad) = 2bde140cae2e992b633c464725202d31
• ocaml(NCorelib_BinNums_IntDef) = 77ca4e1ef132e84761f53776df13279a
• ocaml(NCorelib_BinNums_NatDef) = 0e1b471e43a9527ce63d746d307295ad
• ocaml(NCorelib_BinNums_PosDef) = 199c6ca9c36844eaffd851f7b3a3287d
• ocaml(NCorelib_Classes_Morphisms) = 7570ef1ae72e527a2819a8b41a1eb92c
• ocaml(NCorelib_Classes_Morphisms_Prop) = d349ce6c45dcd5837340c60691f62637
• ocaml(NCorelib_Classes_RelationClasses) = d3093211aceab945e85acb64dbfee46e
• ocaml(NCorelib_Floats_FloatClass) = 98cc9475185f05d31e9c48f4287cc3cd
• ocaml(NCorelib_Floats_SpecFloat) = 3cd6a3d342c598375139163736aca15c
• ocaml(NCorelib_Init_Datatypes) = 50a303930d4a162213a0ce02d960445b
• ocaml(NCorelib_Init_Decimal) = 47831939263d2bf43d2bcc6f19f829e7
• ocaml(NCorelib_Init_Hexadecimal) = 4dc0c97ccb4be1240fe34fcde7c1cd7f
• ocaml(NCorelib_Init_Logic) = 8fefa2b31c1e74ead3b8c7d78f6dfcbe
• ocaml(NCorelib_Init_Nat) = 057504d187854d1e906f95a7033f0639
• ocaml(NCorelib_Init_Number) = 8280fbe686f6e58c033fe887e8b7854a
• ocaml(NCorelib_Init_Peano) = 1527a0cc9ec5f3aae84ed3f96c425141
• ocaml(NCorelib_Init_Specif) = 0c5f42422cc393fa68cff022fd31d4ff
• ocaml(NCorelib_Init_Wf) = dce5f8fbb9e1d213edd8cb749e0ebe9c
• ocaml(NCorelib_Lists_ListDef) = 527f79c3f1e2bece42e7a4a61a1d41bd
• ocaml(NCorelib_Numbers_BinNums) = ff707600f2964805f4fdb01a88362dda
• ocaml(NCorelib_Program_Basics) = 62a3c8e546e20ced6cb594f874017722
• ocaml(NCorelib_Relations_Relation_Definitions) = 990f1aea18d5142abd35fc8ba13c7cad
• ocaml(NCorelib_Setoids_Setoid) = 542ed61ea7c28a4d3fd1a139fe3ab714
• ocaml(NFlocq_Calc_Bracket) = c57a20619203ee10aae1e866f57f9e58
• ocaml(NFlocq_Core_Defs) = df407d508ea496808934670f6c929052
• ocaml(NFlocq_Core_Digits) = 6516d15a141e95c87bc5ab8775dd492d
• ocaml(NFlocq_Core_FIX) = 0a30e696247a5ec465d54ef7c87f1893
• ocaml(NFlocq_Core_FLT) = 2318f769adf1ff2e5f8f130afd9f1c75
• ocaml(NFlocq_Core_FLX) = 4db08d3bf5ed698809496bff4d81bcb9
• ocaml(NFlocq_Core_Generic_fmt) = 31296f683768015c5432eb50f4988ce5
• ocaml(NFlocq_Core_Raux) = 5a0f9f15560b1d177a851f71c88b9307
• ocaml(NFlocq_Core_Zaux) = 71ff98d9c860711aeb1c177702a2c6f0
• ocaml(NGappa_Gappa_decimal) = 086350c4b6d3f18c03cdd802f9117e1d
• ocaml(NGappa_Gappa_definitions) = 625fbf09907d8aa73affae42f11bddd0
• ocaml(NGappa_Gappa_dyadic) = 3be6d6d6c75c0d7d15c2639ba824137f
• ocaml(NGappa_Gappa_pred_bnd) = a7284646e6f3b89d6e9337121fc978ff
• ocaml(NGappa_Gappa_round) = e566fb490a4e2fb64302371da19bde12
• ocaml(NGappa_Gappa_round_aux) = c0ca64dab5bf1e942781f396f968b036
• ocaml(NGappa_Gappa_round_def) = f43ca14bb13c73aa6141da2697b79cfd
• ocaml(NGappa_Gappa_tree) = 2eeb1108d757e25672dd143d5dface46
• ocaml(NStdlib_Arith_PeanoNat) = 20b6402d219ca626903b7bb249b1473d
• ocaml(NStdlib_Bool_Bool) = 39daa154eb7bc811a8bd8164dacf0d52
• ocaml(NStdlib_Classes_DecidableClass) = 1af8b4bcfbf2b1189fa081e07d5e40c6
• ocaml(NStdlib_Lists_List) = 16df92ecef4373b41decd062bfd03198
• ocaml(NStdlib_Logic_HLevelsBase) = 8afbba98143cc697fc4f1189f0477a43
• ocaml(NStdlib_NArith_BinNat) = 02781db4bf87a677b130e01bba3910b9
• ocaml(NStdlib_PArith_BinPos) = 79ce659b348c8fe27c9e10c19bade35b
• ocaml(NStdlib_QArith_QArith_base) = 07c6dd8aecb44b4b90340b39e1f90cf7
• ocaml(NStdlib_QArith_Qabs) = 91a096f429849fd771fb669ef268cb01
• ocaml(NStdlib_QArith_Qreduction) = a6c4ce8eeb17fbd06ffc2c62682d9937
• ocaml(NStdlib_Reals_Cauchy_ConstructiveCauchyReals) = 880e235b297c7ed03553551f0885da50
• ocaml(NStdlib_Reals_Cauchy_ConstructiveCauchyRealsMult) = b2b58da2e31070950059fed76917e8dd
• ocaml(NStdlib_Reals_Cauchy_QExtra) = 2e0c0b05819ab673e801b4c87f4673aa
• ocaml(NStdlib_Reals_RIneq) = 7491c9e1c8fb2a7bdfd0f97d1e6bdd59
• ocaml(NStdlib_Reals_R_sqrt) = ab1d76545123185567766bd1ac05fe17
• ocaml(NStdlib_Reals_Raxioms) = 741230bb157497275fbcf5edd8f45e78
• ocaml(NStdlib_Reals_Rbasic_fun) = 9c4a2ab045215b4ddea546a72dd34f6d
• ocaml(NStdlib_Reals_Rdefinitions) = 884e5a26d3da09ff9a42b36afb3215e1
• ocaml(NStdlib_Reals_Rfunctions) = 92f96cb1300f4b8acd9fb91dfbd6fa40
• ocaml(NStdlib_Reals_Rpow_def) = 84477ca7ca9f722c44642c2f7cfa8c44
• ocaml(NStdlib_Reals_Rsqrt_def) = e7d146b6757c649afb8f3e90abeced40
• ocaml(NStdlib_Structures_OrdersTac) = 5b44b31c258b0a934884a0f1c4019424
• ocaml(NStdlib_ZArith_BinInt) = 39ce9a7f51fb8094619a87b7992ed174
• ocaml(NStdlib_ZArith_ZArith_dec) = 956574947db365cc88c411fd9df22d5b
• ocaml(NStdlib_ZArith_Zpower) = 6c28236fe5dbcaccc31d1d13979103b9
• ocaml(NStdlib_setoid_ring_BinList) = 92a691e02fe90e492f938c812dddf2ba
• ocaml(NStdlib_setoid_ring_Field_theory) = a07e451b73c6450926b1e84ffefef5a2
• ocaml(NStdlib_setoid_ring_Ring_polynom) = cba0f4b472d9956ecd85f60547c5515f
• ocaml(NStdlib_setoid_ring_Ring_theory) = 2eb844324ac576c0b1481b087ae8d393
• ocaml(Namegen) = b174a577fbeda816c838f72f941b74b9
• ocaml(Nameops) = 89f06fe391f7f072a96548bd25842ee8
• ocaml(Names) = f2fd0dd7f492abdd5e55c86dea1a1714
• ocaml(Nativecode) = be58dac2002ed3eabed855e79f8f4907
• ocaml(Nativeconv) = f75564750b9b4a5aa826f167467fecee
• ocaml(Nativelib) = 4a49f52d766cb5e927901e692c3703b9
• ocaml(Nativevalues) = 39bb8fe443d39b778855766f9522b9af
• ocaml(NeList) = 7fd80b98ad74757a38fb8feefb62c9a7
• ocaml(Notation) = f754d5ecc6d6dd838d62fe593b083152
• ocaml(Notation_term) = c0174eac7679198da1252173eac3cb2c
• ocaml(Notationextern) = 10932840cdb3eba36e4f6c04579e21f6
• ocaml(NumTok) = 5825058b8c83d39fc9fe3c0a71bb2331
• ocaml(ObjFile) = 25dd0e5647c5865eaa71e7db809a9e5f
• ocaml(Opaqueproof) = 799dbdae573f9a52f90d6ff934941d4a
• ocaml(Opaques) = a8863e22cf7cd58d47dd276ac84ab103
• ocaml(PConstraints) = c690155ab24d08ceeba565bc16954fc4
• ocaml(Parray) = ada8d69c7b1080d775636133f4554360
• ocaml(Partial_subst) = d0a694f2626cecd5d818f389ea1954a2
• ocaml(Pattern) = 1d4e37d22fd34a8df4e8b3db774f8309
• ocaml(Pcoq) = 65ac2b477ad15b1512f0a9ed303cd148
• ocaml(PolyFlags) = 8398e1086f0ee914cfcb2df7139aa845
• ocaml(Pp) = a3240b9aca1401ce479dc8d56de4079e
• ocaml(Predicate) = 8dab2e64145accdd2f7a4ca1384b7899
• ocaml(Pretype_errors) = bcb24fe208ddaf4e727fa790749ecd13
• ocaml(Pretyping) = a539cd1213c71b3eaebdb3818e7fe62a
• ocaml(PrimNotations) = 270a1f621fcf0b5178e1968dcc0780a9
• ocaml(Primred) = 4db1e0fbff68b72d29343688355b5dcc
• ocaml(Printer) = 1c411c6a4f8fb1658cac2eb2e5b0c146
• ocaml(PrintingFlags) = 3dde8fa6a4dc454860bc3664e97381d1
• ocaml(Procq) = 112d6b56f13fa1ef00e41939bba4dbac
• ocaml(Proof) = db79d4c0a7e3bb1b95089876ddbb3d66
• ocaml(Proof_bullet) = ec74a74b6ccb18651583e503bc9ac83c
• ocaml(Proofview) = 8c85721b9dbaf6f01c34d63a398671ec
• ocaml(Proofview_monad) = ab3df107bc210ba0c80e5c9488ad3cc9
• ocaml(Pstring) = 713359389f44624c284e5e4d20a80627
• ocaml(Pvernac) = 7dddf2cc40091ba6ec2202427730188e
• ocaml(QGraph) = 065641915882f0927e614c6b4e9c4ef7
• ocaml(Quickfix) = a8f347b27dc5e58c308b6569477dbfb0
• ocaml(Range) = 8ac81b8659e15fffbbfa2497f5d41683
• ocaml(RedFlags) = 2eb5167aa428ffc2dee46c0f70469baa
• ocaml(Redexpr) = 80763b37c9a55d6e7fb3c96ef1b42206
• ocaml(Reductionops) = b4f9469f95615a8f706cb6fe856bd4e1
• ocaml(RetrieveObl) = 68177f07955eafb3d40dab57a939150d
• ocaml(Retroknowledge) = 77f32338d345cb93374614f30f5aebfe
• ocaml(Rewrite) = e5799616aa661b27d31304b021eca987
• ocaml(Rocqlib) = 3381a857ec924ce53524361a200d0767
• ocaml(Rtree) = 76c9c7866446e0e30fb1f7e89ba8fe56
• ocaml(SList) = 8f839b11093748431b165456534a4cde
• ocaml(Safe_typing) = 55e1a196fb880f38e2c1aecb8320c18a
• ocaml(Section) = 96707675d20e8001e22d98d02571f3b4
• ocaml(Smartlocate) = b4deda0e4ccb53c9ed7e7ed06df000d1
• ocaml(Sorts) = e720410f4c1c87fd15bcc0660e5e2773
• ocaml(Stateid) = 7a2fd3563391a6fa0d41e519f878e667
• ocaml(Stdlib) = 7ff659a4a6b8ca32adc85623b24921e4
• ocaml(Stdlib__Array) = c1e9990cfc96f4a80be219086df84a1a
• ocaml(Stdlib__Bigarray) = 53e1fb135dc2b52a9be495706f0fe941
• ocaml(Stdlib__Buffer) = 199531813c148c733aa4841901f61885
• ocaml(Stdlib__Bytes) = 673437615face5d16342decc909aee70
• ocaml(Stdlib__Complex) = 10107702cfc5d64ad493797d02699351
• ocaml(Stdlib__Digest) = 34f0d73da12b160ad2ec9f14ef6ccb12
• ocaml(Stdlib__Domain) = f4f911af3a887deb4246da1952f3bbde
• ocaml(Stdlib__Either) = d0d544d8ad6cd8d3916ef604e87e8b79
• ocaml(Stdlib__Filename) = dca44599068c4f1117dfeb6a2637f3f9
• ocaml(Stdlib__Format) = 59fa71efaaaea19dea6b27602dcaaaa2
• ocaml(Stdlib__Hashtbl) = 962e9d183e8a207a666ca7506cf46032
• ocaml(Stdlib__Int32) = eb4f33ed29b560525b336e79955fa30a
• ocaml(Stdlib__Int64) = 29e84e0d87545e4220cc5617eb2d20d5
• ocaml(Stdlib__Lazy) = d0b8d3be22a8b5bdfc9dda1877ae006f
• ocaml(Stdlib__List) = 1f65c7c74ac3633417a8002cc6dd0e53
• ocaml(Stdlib__Map) = 2d8ea4e0be35a4403643e7043fc81316
• ocaml(Stdlib__Nativeint) = 3274bc361f120620f5df0ee8b898262b
• ocaml(Stdlib__Obj) = 70f3df7415d40eb721c8413fa408b7b6
• ocaml(Stdlib__Random) = 56f5b48db4d9ef67c6b0228d4fe599b4
• ocaml(Stdlib__Result) = 57c890b1fb51649494b6cefd7d3ddc9b
• ocaml(Stdlib__Seq) = 1d1c31e02b77070ff0e51eaaab2af0cc
• ocaml(Stdlib__Set) = f1c0353417503cf69279f65dd7b31d22
• ocaml(Stdlib__String) = 64f1c33cae78f3dd80ca58dbba3deaf9
• ocaml(Stdlib__Sys) = 06196acdacded24c46c02b8acd00223a
• ocaml(Stdlib__Uchar) = f6a44dd0c2e2c80b44deed7eb3c121ef
• ocaml(Store) = b9136c58a2dd4791fc1d21a39fb36017
• ocaml(Summary) = 084ed05b9e4907cf646e45b8c54c4bc0
• ocaml(Tacmach) = 334e4a1cf080990a4ce5a98bd96f969f
• ocaml(Tacred) = fedca45abc194c3b9b4864093c41c8e8
• ocaml(Tacticals) = 55f5f370ad390c307aa5ac099a638e2b
• ocaml(Tactics) = f28ce01b433fe7f3890df02f506769a9
• ocaml(Tactypes) = a7de095286524f921722a65b9f8ed3c6
• ocaml(Term) = 3d306a1e65ea3031cd7a49ad2da617ed
• ocaml(Tok) = 8801c057512a080e667eb7474745907e
• ocaml(TransparentState) = 8644d4ee2bfdfa34b1a36235e0a1d977
• ocaml(Type_errors) = fcaabd0444a1c99ae30771def4567fa6
• ocaml(Typeclasses) = bf9765dc93febeef19bd2eb13d89dd17
• ocaml(UGraph) = 9c5978d0bde2abd2822b261d2e1a9cca
• ocaml(UState) = aa29b6ceccaae7a1eab96c226d3a2fee
• ocaml(UVars) = c9355415dc70887145a72d8c6586ac0f
• ocaml(Uint63) = 7dea127224220e1e5822638ceac8a7d9
• ocaml(Unification) = c075390a6c3e4747d77369646af4bd81
• ocaml(Univ) = 5ddd51b62bb8fc373e6f4c0b3e0e07fe
• ocaml(UnivFlex) = 3f2516e92af8e41682b718f5e11cc4a0
• ocaml(UnivGen) = 5a0346d1e5e501354e829ca26cad2258
• ocaml(UnivNames) = 7ad2c0d7e256c75ab33656025422facb
• ocaml(UnivProblem) = 8886fae4ff0a2fc623a38efdd041b045
• ocaml(UnivSubst) = fceee105827b99460bba49080174ab8f
• ocaml(Unix) = c1dc7711fef7c883b67ab33c46fd7030
• ocaml(UserWarn) = dcba2d44e488412dfb4707f7d5257625
• ocaml(Util) = c9f8d7b5acde205a5d3eff397851b62d
• ocaml(Values) = 696451dda458a5396ea1e78d5be48ab2
• ocaml(Vars) = df994ed4104d22dd6199c09908f7e786
• ocaml(Vernacexpr) = 355a045286cd9533dd28d43ca21ab3d3
• ocaml(Vernacextend) = cddef177f37a2ff236ff56d76d2465c0
• ocaml(Vernacstate) = f256d15466966f44331436fe91f58dc6
• ocaml(Vernactypes) = 72a11a372c4235e87ce5e9d481e877b2
• ocaml(Vmbytecodes) = 4144dfe2dc51e8ad9b44f360d26ebf9d
• ocaml(Vmemitcodes) = e8759e16602042822fb45e01e62d0a21
• ocaml(Vmlibrary) = ce8bcb7232028a1406ef8f53e810d290
• ocaml(Vmvalues) = cbed385c0450bda5a0a236753bf2ae79
• ocaml(Z) = b8f36df41ec3ad4dd65a34f697424998
• ocamlx(CamlinternalLazy) = 2313a03054200b6e2d3b2928585254e0
• ocamlx(NFlocq_Calc_Bracket) = 04e4c2b4907530b1acb59ae505c98e59
• ocamlx(NFlocq_Core_Defs) = 85a92d72dc55e48a5e2233fa70284e86
• ocamlx(NFlocq_Core_Digits) = eebc46f47c1b4ca9edd7696636c8bd44
• ocamlx(NFlocq_Core_FIX) = 4c23aadd6fbcc2ee6fb035679c45ac03
• ocamlx(NFlocq_Core_FLT) = 814dc38c4dc855795c099b7f704a50ef
• ocamlx(NFlocq_Core_FLX) = 0b1ddf2632dac37a009607d7a84f08b6
• ocamlx(NFlocq_Core_Generic_fmt) = 7262935464fd51f1b54ea604a51b3d58
• ocamlx(NFlocq_Core_Raux) = 08664de9307eeaf83faf96ad7354d671
• ocamlx(NFlocq_Core_Zaux) = 9892e2226bf8ac4bfaeb004517758bbb
• ocamlx(NGappa_Gappa_decimal) = 4d67d253875adfff530c2d28fc53e563
• ocamlx(NGappa_Gappa_definitions) = d8dae6ffb1153730589ae376f70567d2
• ocamlx(NGappa_Gappa_dyadic) = 7c504387af8dfda8a8f6d8a2a958f126
• ocamlx(NGappa_Gappa_pred_bnd) = 09017a6c292bf2d8cd7567557bb9488e
• ocamlx(NGappa_Gappa_round) = fa63cbcb09549c7f01b4f3108617026e
• ocamlx(NGappa_Gappa_round_aux) = 16c6323355573f99df677b03547eafe0
• ocamlx(NGappa_Gappa_round_def) = 996ec041627232c58eef5caef5eee89e
• ocamlx(NGappa_Gappa_tree) = caf0c4f35f20d79a26406615fb10b3d1
• rocq(x86-64) = 9.2.0
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

LGPL-3.0-or-later

Changelog

* Fri May 15 2026 Jerry James <loganjerry@gmail.com> - 1.10.0-1
  - Version 1.10.0
* Thu Apr 16 2026 Jerry James <loganjerry@gmail.com> - 1.8.0-2
  - Rebuild for rocq 9.2.0
* Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 1.8.0-1
  - Version 1.8.0
* Sat Feb 21 2026 Richard W.M. Jones <rjones@redhat.com> - 1.7.1-7
  - OCaml 5.4.1 rebuild
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Tue Oct 14 2025 Richard W.M. Jones <rjones@redhat.com> - 1.7.1-5
  - OCaml 5.4.0 rebuild
* Fri Aug 22 2025 Jerry James <loganjerry@gmail.com> - 1.7.1-4
  - Bump and rebuild
* Sun Aug 10 2025 Jerry James <loganjerry@gmail.com> - 1.7.1-3
  - Bump and rebuild
* Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.7.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Sat Jul 12 2025 Jerry James <loganjerry@gmail.com> - 1.7.1-1
  - Version 1.7.1
* Wed Feb 26 2025 Jerry James <loganjerry@gmail.com> - 1.7.0-1
  - Version 1.7.0
* Thu Feb 13 2025 Jerry James <loganjerry@gmail.com> - 1.6.0-4
  - Rebuild for flocq 4.2.1
* Wed Jan 22 2025 Jerry James <loganjerry@gmail.com> - 1.6.0-3
  - Rebuild for coq 8.20.1
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 1.6.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Thu Jan 16 2025 Jerry James <loganjerry@gmail.com> - 1.6.0-1
  - Version 1.6.0
* Fri Jan 10 2025 Jerry James <loganjerry@gmail.com> - 1.5.5-6
  - OCaml 5.3.0 rebuild for Fedora 42
* Thu Jul 18 2024 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.5-5
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 1.5.5-4
  - Rebuild for ocaml-zarith 1.14
* Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 1.5.5-3
  - OCaml 5.2.0 ppc64le fix
* Thu May 30 2024 Richard W.M. Jones <rjones@redhat.com> - 1.5.5-2
  - OCaml 5.2.0 for Fedora 41
* Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 1.5.5-1
  - Version 1.5.5

Files

/usr/lib/.build-id
/usr/lib/.build-id/01
/usr/lib/.build-id/01/9a6fbebd8fd8fa585e314bc1c9cdcc12136de2
/usr/lib/.build-id/0c
/usr/lib/.build-id/0c/fae397e13501edfda2d0c66bf35de169b1d9a1
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/42a9e63e7199dc811bb5ccb1ee029188fcd9a9
/usr/lib/.build-id/33
/usr/lib/.build-id/33/47ba6c441560c2c75940147c74938a29270e67
/usr/lib/.build-id/35
/usr/lib/.build-id/35/1ef09f0c169038b64e85d8ae74277167028bde
/usr/lib/.build-id/47
/usr/lib/.build-id/47/30a9a8db5dd69efb968986b145dc55aaba997b
/usr/lib/.build-id/47/8ba0238b4f31c50ef7e91801b6e024a637c14f
/usr/lib/.build-id/62
/usr/lib/.build-id/62/048edbdd7281576e43f298a99e12db0c813456
/usr/lib/.build-id/68
/usr/lib/.build-id/68/0959e364a8c6d347f01f7d9b9cf5fd120d64fc
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/fc57793d51eb2378f991cff96e72164dbc00b4
/usr/lib/.build-id/89
/usr/lib/.build-id/89/fcb57e558c15f47b437824bb0080e63cef5819
/usr/lib/.build-id/8f
/usr/lib/.build-id/8f/ca791eef73609d8c4b34ada8e9a4fe37fe52f5
/usr/lib/.build-id/91
/usr/lib/.build-id/91/898f9c3adfbc6ed836b1b7f5d8151fe6cba9a7
/usr/lib/.build-id/94
/usr/lib/.build-id/94/c4e8eb54ae8174073202ac57d39ea78969ddd4
/usr/lib/.build-id/a8
/usr/lib/.build-id/a8/78b4c813bd270eeee7d119bba77f9c301f3d9f
/usr/lib/.build-id/bb
/usr/lib/.build-id/bb/12625dbfd02c1f894cd0d700d10ae94bce759f
/usr/lib/.build-id/c7
/usr/lib/.build-id/c7/2eb831e2570d991794e9e0cd46cbc408f732fc
/usr/lib/.build-id/c9
/usr/lib/.build-id/c9/7f3202f1659df91e8893df1984985eaec5f483
/usr/lib/.build-id/d1
/usr/lib/.build-id/d1/173f3dac1e3d6b3821408f7229e90f50606999
/usr/lib/.build-id/dc
/usr/lib/.build-id/dc/ae30a145c6d4a802207de289c695160b484487
/usr/lib/.build-id/e6
/usr/lib/.build-id/e6/b686de3c9a349ea160e08d5d46ec110b122559
/usr/lib/.build-id/ec
/usr/lib/.build-id/ec/45e07909ebda5cfdec1fe3dd4dd2820b29f109
/usr/lib/.build-id/ef
/usr/lib/.build-id/ef/0b83aef011a6f326943e7d8152ec677782d06b
/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/.coq-native
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_common.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_common.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_common.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_common.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_decimal.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_definitions.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_dyadic.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_fixed.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_float.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_library.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_obfuscate.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_abs.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_bnd.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_fixflt.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_lin.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_lin.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_lin.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_lin.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_nzr.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_pred_rel.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_real.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_rewriting.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_aux.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_round_def.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tree.o
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_user.o
/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_lin.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_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
/usr/share/licenses/gappalib-coq/COPYING

Generated by rpm2html 1.8.1

Fabrice Bellet, Fri Jul 10 22:21:32 2026