gappalib-coq-1.11.0-4.fc46 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) = ce0c9bd3b201f36ced3b625547d079cc
• ocaml(Attributes) = 4aa844b07d604ffe7217729331bda291
• ocaml(Big_int_Z) = 9da002110bfe02e98c8f142c6f7dcd50
• ocaml(Boot) = f4d97e713a6c402b8fdc05370892f9c0
• ocaml(Boot__Env) = 40f0e5eeb9772e25a9a23798b7d8af94
• ocaml(Boot__Usage) = f36579e92f4ad02ef5bcba239cef2a95
• ocaml(CArray) = 5b32a33e358714547ce6daeba0f12ad1
• ocaml(CAst) = 385fa113703c5cc4b2aac40286c513fd
• ocaml(CClosure) = c9285ea5ffdb8bdec971594e8314e54e
• ocaml(CDebug) = 450ef430d34972b281d4a0e01c850b22
• ocaml(CEphemeron) = c8ec9684138eae94f9ada62543edc0cf
• ocaml(CErrors) = 00ead52ef0b5e849f95268787cca60cd
• ocaml(CLexer) = 8731472584da9132dbbbea9e384c9143
• ocaml(CList) = 0882adb5c5a227e92b2a3a07183e83e6
• ocaml(CMap) = 8a56e198dd6e5a2f9a7b38c2abb1db60
• ocaml(CPrimitives) = 83560da1532dd9fe868cd437983f2e90
• ocaml(CSet) = 29dbd5eead5024c34a1593aadc924d05
• ocaml(CSig) = 26c574d98d011351d971fbd27b9e8b09
• ocaml(CString) = 13b232370c07ef859b331ccc579a183e
• ocaml(CUnix) = 57f5c9158430515b08a4f211723449fc
• ocaml(CWarnings) = 02eebb5695bd1c2c73b7403691062f22
• ocaml(CamlinternalFormatBasics) = 5cba8713ea434e43a50cd422bda47dda
• ocaml(CamlinternalLazy) = 39aa2e9bf7e25b383556f7748b45c72f
• ocaml(Coercionops) = 06e1440cf50f1a14bcd9e5acd6894057
• ocaml(Constr) = 9dadde4182692178010a5198af7d913d
• ocaml(Constrexpr) = 7eb6d536d5e863c0139648416fee691b
• ocaml(Constrintern) = 8d1737b938d83e64847c85c721441184
• ocaml(Context) = 4b00288eda58099636359976fb690e6b
• ocaml(Conv_oracle) = 483252ac95333754084890d1b56ffc12
• ocaml(Conversion) = 986b7f42c233728daaf352167dda80f7
• ocaml(Cooking) = e46065361836085992529aba620b7dee
• ocaml(Coq_config) = e637fe8ad1c7762085636f5615d35265
• ocaml(Coqlib) = c658c2099cd5fca5ec8ad19bdff64c67
• ocaml(DAst) = 0d6913c4d5836dd79b50f3ae7800623e
• ocaml(Declarations) = 6565fde992dda095d8a344bbd4f7bb40
• ocaml(Declare) = c44b5595edc0aa524bf733cc0b0cc0a1
• ocaml(Declaremods) = 9674e5b99b801088aff92af8925cb586
• ocaml(Decls) = cb80408cb21e0770c41117142d6a3a00
• ocaml(Deprecation) = eaef5db5db572270ea58333142cc7c25
• ocaml(Dumpglob) = 6080e7fd8c6b3db64f94d34b580b5c94
• ocaml(Dyn) = 1410e5a9f98f9411c075d713305b4c26
• ocaml(EConstr) = 0f45e6ea34228b8ac4a6f13ffeb198bc
• ocaml(Entries) = 81371aa55de5718540cff21917f91637
• ocaml(Environ) = 333a65beee3fab8db793cb06ef9fa139
• ocaml(Equality) = 05291c5e6eee2db27a39c8afddb774eb
• ocaml(Esubst) = bd721a72d48ad134792fe495afd30ce6
• ocaml(Evaluable) = a8a4833f67d86e5d772fd6d70f72da93
• ocaml(Evar) = ac2e8f4bba960dd78af41a3bad3f3238
• ocaml(Evar_kinds) = 1aa7bca6fcc10c8f32b49a3ca4b8fbf0
• ocaml(Evardefine) = 480fc10472fe601d5a315385b97d60cb
• ocaml(Evarsolve) = 37098b93d7555024a4b514ac28184e9c
• ocaml(Evarutil) = 22e74b8de163ca5ed50b21a30b8bc326
• ocaml(Evd) = 435ea1d729f8c665c3cacb64856a8cea
• ocaml(Exninfo) = 8b1c1f5a459f237a6eefbdc05e3c0c3a
• ocaml(Extend) = e41b32b8e9564e6947343503e735ed57
• ocaml(Float64) = 5f3685872420eb559610ca8cc70758b1
• ocaml(Ftactic) = fc1b8d5652ed5b883c54789a6881cd7c
• ocaml(Future) = 1544d268ac0c284d35f88f75a8085dff
• ocaml(Genarg) = 20bc2db04e9c5f1cc022baa5ac348884
• ocaml(Generalize) = 1099bf5cc10ea5446593ecde5597afef
• ocaml(Genintern) = 389f801b33b8b8f05a36afb7372c7f1c
• ocaml(Geninterp) = 3acfa814910ba60cd4a7c312aaca4c71
• ocaml(Genlambda) = 183fb5c4fdf9f526727a384411b1c16b
• ocaml(Genprint) = b4fc1f9d71eae7851eb9cbd339eb5741
• ocaml(Genredexpr) = 255e1831f6fb4a13f8c8952808f6de89
• ocaml(Gensubst) = 7807cc31a18148918322318456eeb27f
• ocaml(Gentactic) = 5de755a17799b4e886ad266f8c741b1b
• ocaml(GlobEnv) = e20b654fc9f42aa1ba364017b98ad7f3
• ocaml(Glob_term) = 11f12049a7da3c15fd9dd3aa875b6749
• ocaml(Global) = 8600c716d40c19284f61e4c22a76f230
• ocaml(Globnames) = 6b4f7c49d606305ff84bb1e05d6c9ca6
• ocaml(Goal_select) = 55277919ac691b58221d1c92107afc35
• ocaml(Goptions) = a5a75e0526da470e8424ad0ab1d41a32
• ocaml(Gramlib) = 39dac03c4686a39022523f13c7386381
• ocaml(Gramlib__Gramext) = 02ce9dbbdaefb67b4f538dd8cc1d27ff
• ocaml(Gramlib__Grammar) = b019a1bb55cea2351deb576b82c655b0
• ocaml(Gramlib__LStream) = f6ca7c9504172ae5cf7ee4483857b639
• ocaml(Gramlib__Plexing) = b951eafd52fc9f470d50bfe44bf6d602
• ocaml(Gramlib__Stream) = 051b6e25e750f1de37a7706827c2ab45
• ocaml(Hashcons) = 6f55751bed5c20cdac5336a90cab41b5
• ocaml(Hashset) = 8d0a557f8649d7eeae2802c1e49e95e0
• ocaml(Hints) = 36354995814199d0add131f31234da3a
• ocaml(Hook) = 4a72c7621b630b54725e8ae286e175fa
• ocaml(Impargs) = 4f0a65cb36c0351da2389911ce2e98ca
• ocaml(IndTyping) = 62cf38ef7040ef0509fd85b7fc21c092
• ocaml(Ind_tables) = cba428e89a97c204396b4f0841a8aad1
• ocaml(Inductive) = a6b79bf0ffafbc8c864b83204a4fa2f3
• ocaml(Int) = 6d90e5f7db4cb744e44df7510c8a0c87
• ocaml(Inv) = 5605598c8542d5b2612cdd51d31c9dc1
• ocaml(Lib) = bfa8dc88bb9bf9affec4f1588db78704
• ocaml(Libnames) = 1a4ee42579b33e74374696448228fb6f
• ocaml(Libobject) = 52338f382e5fe27320d4379b8b01e14d
• ocaml(Library_info) = 0bdd8f21391b24096777ed1344acbdd8
• ocaml(Loc) = 2af96156e647600dba688160d767ed1d
• ocaml(Locality) = 048b3e5671573bdd7ffd94f14b5795b6
• ocaml(Locus) = 1477b2cd8dec8a2bb3e60cdb2c84700f
• ocaml(Logic) = 78aff31a617ad43d61e5b6dedc032f59
• ocaml(Logic_monad) = e38c7c42d61f18c4d72404b3db7e93ff
• ocaml(Ltac_plugin) = f2bc593250b8f3da448b3e0d61ac7803
• ocaml(Ltac_plugin__Pptactic) = a14b7df0e2f652c8f96ec3cd388b67d8
• ocaml(Ltac_plugin__Tacentries) = 907b6e51ad3178e6f954b17b5a76e1a3
• ocaml(Ltac_plugin__Tacexpr) = 96503c2cda3602d65dbc4b38c0f68f3f
• ocaml(Ltac_pretype) = c69ec9a62c71b059674119457459625b
• ocaml(Metasyntax) = 3222ea2ec32e77ce09ffe01df7b934f4
• ocaml(Mod_declarations) = a4bb92788732bff3137cb6e05650d81d
• ocaml(Mod_subst) = 2ae3a7fa4a4cd916f9fa48e07e85ffb6
• ocaml(Modintern) = 29a8e32ef064a37428cfb5d23f398d6e
• ocaml(Monad) = 3f0799e4953828a3e9354d0beaa1e703
• ocaml(NCorelib_BinNums_IntDef) = b603438853bd33f049a94783a30c6333
• ocaml(NCorelib_BinNums_NatDef) = e1d2676566459d9123cd2aac6bd0a969
• ocaml(NCorelib_BinNums_PosDef) = d83ca7ec7baf13fb3c9fe723f0008fbc
• ocaml(NCorelib_Classes_Morphisms) = 277653331b414ec4b44bfce9c4a1ec3f
• ocaml(NCorelib_Classes_Morphisms_Prop) = 1c48210bba75f7bfd9d45b758eb5657d
• ocaml(NCorelib_Classes_RelationClasses) = f39f6c6c0cd9c148b55b6c54449a180b
• ocaml(NCorelib_Floats_FloatClass) = f8d75ccafd44a389e6eef768f3b08f06
• ocaml(NCorelib_Floats_SpecFloat) = b0181d79b0cabd77104ca87bd5495957
• ocaml(NCorelib_Init_Datatypes) = 79ff2757e7b22f0a8aa1a1726c654edd
• ocaml(NCorelib_Init_Decimal) = 9e2d289a76542fc1d720d011cd03a956
• ocaml(NCorelib_Init_Hexadecimal) = 66e4f7a8a2eba1fc6eb9205898a8e82d
• ocaml(NCorelib_Init_Logic) = 7825e48c2f4d7d86e62a56573922492d
• ocaml(NCorelib_Init_Nat) = 3f2ce24f451fcb1383719d75f6960aa6
• ocaml(NCorelib_Init_Number) = e8f09ee5997f984c907e39d2deb0bed4
• ocaml(NCorelib_Init_Peano) = dbb260a24b2dcb056c4c172b592e478d
• ocaml(NCorelib_Init_Specif) = 935b3304f6522587c83ed0ef535feb29
• ocaml(NCorelib_Init_Wf) = 206ec0fa9a59dad1d56c42d8b858ddef
• ocaml(NCorelib_Lists_ListDef) = dc3bae3fa24c9e5cf118836392ef783a
• ocaml(NCorelib_Numbers_BinNums) = 2ac25e4043f9b5264a86a748432f29a1
• ocaml(NCorelib_Program_Basics) = e75a9d1e92f8b5e3d83e77be393b2cc5
• ocaml(NCorelib_Relations_Relation_Definitions) = 870c5476c3821aeba486b9c4530e4234
• ocaml(NCorelib_Setoids_Setoid) = 0f7ffdc37ff8ec9797ca3c34287e9168
• ocaml(NFlocq_Calc_Bracket) = 08ed1c976151aa974dc1a6a6b424d846
• ocaml(NFlocq_Core_Defs) = 1a2ec87ee4ac0902f89079a4c8783037
• ocaml(NFlocq_Core_Digits) = 70e6a204eb98a691663f99aedc0abafa
• ocaml(NFlocq_Core_FIX) = 4aaeefd4f1478c29e420faef8b99c19e
• ocaml(NFlocq_Core_FLT) = 060e4c22bc2eb2283c688332f6862805
• ocaml(NFlocq_Core_FLX) = 59e3f6227fbbdc8f8fcbb945ea2a15c0
• ocaml(NFlocq_Core_Generic_fmt) = d7d5d093d6e808c77e325ba5ae332ded
• ocaml(NFlocq_Core_Raux) = 882ccf14c4fdc83f181e645433d4ae15
• ocaml(NFlocq_Core_Zaux) = d14c6085ca7f408b86af5244a24e90a6
• ocaml(NGappa_Gappa_decimal) = 620bac2fffb9f1e0a7512968e480cb47
• ocaml(NGappa_Gappa_definitions) = b1d6e61af83fc928001184c37f6074d5
• ocaml(NGappa_Gappa_dyadic) = 7f37792ec6d2da352a9c2ead2d7873a5
• ocaml(NGappa_Gappa_pred_bnd) = 3fd3f5e4b0f8e9a24c6c00e953654b81
• ocaml(NGappa_Gappa_round) = b01eedcb262ebc8f8809c7ca81484ed1
• ocaml(NGappa_Gappa_round_aux) = 8df7d45924b416431e77b78998c55011
• ocaml(NGappa_Gappa_round_def) = 23e79b8d72fa0a1b82a8b1ebc26d861a
• ocaml(NGappa_Gappa_tree) = 5739c4757e284147570966a7a8e0a65e
• ocaml(NStdlib_Arith_PeanoNat) = d22f8c62134ec8044d2bf3e321921fe4
• ocaml(NStdlib_Bool_Bool) = 83e7a7b8c1dceded80e188cf54ee2163
• ocaml(NStdlib_Classes_DecidableClass) = 54c5b78b84034911f6829cb570a702a6
• ocaml(NStdlib_Lists_List) = 55dadafedbc314841bea6f0d2407c895
• ocaml(NStdlib_Logic_HLevelsBase) = 164240ab92655cdea8d9fe376fec5d0c
• ocaml(NStdlib_NArith_BinNat) = 036ed26445298a8a04128c37714dda99
• ocaml(NStdlib_PArith_BinPos) = ca48b4713bc0c8b54ee8205ab69de81d
• ocaml(NStdlib_QArith_QArith_base) = b0f2e4059ca24cd1446a95415cddcc39
• ocaml(NStdlib_QArith_Qabs) = 8e3545210221833c7d84b2c21e39fa9d
• ocaml(NStdlib_QArith_Qreduction) = dfa05f35c1f3d780e964fbe46fb14beb
• ocaml(NStdlib_Reals_Cauchy_ConstructiveCauchyReals) = 43180c06ce70ca5c8832fc9a4d667b8c
• ocaml(NStdlib_Reals_Cauchy_ConstructiveCauchyRealsMult) = da89cc81ee6ed04542e4e8e917b0ba94
• ocaml(NStdlib_Reals_Cauchy_QExtra) = 334f7135ad6ccfde47ca543a61df152b
• ocaml(NStdlib_Reals_RIneq) = f170f8b7cbd78ffc657fcc876e5aac96
• ocaml(NStdlib_Reals_R_sqrt) = d1a75d5ca0befa75675b4e52d5f4e211
• ocaml(NStdlib_Reals_Raxioms) = 630d615c1fe42456a5b1152f450e1737
• ocaml(NStdlib_Reals_Rbasic_fun) = 47cc643ca4fbccccbe56f0ebba437bf0
• ocaml(NStdlib_Reals_Rdefinitions) = 0438592660762165d50e642f507bb0e9
• ocaml(NStdlib_Reals_Rfunctions) = 640268475b8560274415b6b956fc168b
• ocaml(NStdlib_Reals_Rpow_def) = f108d03beb666d728269ed2ff9f3842e
• ocaml(NStdlib_Reals_Rsqrt_def) = 514458baa6916ea48917c3685e60c6fc
• ocaml(NStdlib_Structures_OrdersTac) = 9a1b2b5cd117e9104f11ff895e6c5792
• ocaml(NStdlib_ZArith_BinInt) = dd113d8b9a957e200ec1d3d80cff1292
• ocaml(NStdlib_ZArith_ZArith_dec) = affad8f818d9884462394408706ac929
• ocaml(NStdlib_ZArith_Zpower) = 75126cdd4a3ad6d5247e201e31eccbdb
• ocaml(NStdlib_setoid_ring_BinList) = cb0c3d8fa60d39b2dea809ea81d4c1de
• ocaml(NStdlib_setoid_ring_Field_theory) = dc7d38f5d9c47dc7aa8bb9e2ade74dba
• ocaml(NStdlib_setoid_ring_Ring_polynom) = b89aaa318aa102c0d7f94a055323e97c
• ocaml(NStdlib_setoid_ring_Ring_theory) = f314433b22ffbf7d5b753cd1fe9ac997
• ocaml(Namegen) = 3e91d2770d5ae953d1770ebdac2975b6
• ocaml(Nameops) = 4ef2bb396e5b7518eab60fdcc9994b9c
• ocaml(Names) = 148e9d5d2ba1c0a16d00e80d17fd6535
• ocaml(Nativecode) = fe56e91fd3a3c9864c5da07bd55882cd
• ocaml(Nativeconv) = fa8552c1d9c0b14005df307dc194784c
• ocaml(Nativelib) = f21908f71586fb123e1744044a7eac16
• ocaml(Nativevalues) = 6c52af047b1da04f7d32b88ffb5aa655
• ocaml(NeList) = c3b4b70eb47ab02a25b9fe8168cd599d
• ocaml(Notation) = 046c36b9fd2d8c8920c4e912f10dc4b6
• ocaml(Notation_term) = 95033ba9e96ef7946542174bbec785f8
• ocaml(Notationextern) = bce482d868fa275de7fab507ce831a5a
• ocaml(NumTok) = c0ec6aff568e9a756e939205fc54c27d
• ocaml(ObjFile) = 2c13d8ad4646786734c912359c91a0ba
• ocaml(Opaqueproof) = 1aadd50f1d0bea28189a01fd2570f17f
• ocaml(Opaques) = 9c9d15c6b001f414b038d43103e22dbe
• ocaml(PConstraints) = d417f36ebf2f64643590cc1369e98261
• ocaml(Parray) = c91aee66f0a62119d8324dff17c9a4b8
• ocaml(Partial_subst) = 293aaba2bff2483262e01afda5396a0a
• ocaml(Pattern) = 9491074e4609bd07ec8f298ec0f34ba5
• ocaml(Pcoq) = d9acdfb4638c4f31ca39d3ebea838aea
• ocaml(PolyFlags) = 1dc8f7830e4c0fd285c43e4f2c0f0292
• ocaml(Pp) = 2c38bf624e0ffbba3e2389beec2065bb
• ocaml(Predicate) = 0c221b82d5cdae9cbeeea482f4dc5d9d
• ocaml(Pretype_errors) = ce1e45156a77ba0bdc8f1f69ab60c50e
• ocaml(Pretyping) = 292f8282cf9329eee641af9bb661b611
• ocaml(PrimNotations) = e1c6c3d5cb6ae436869f4632e92f8f30
• ocaml(Primred) = c942088999a423ee70642acf40434ac0
• ocaml(Printer) = fda9c7b624f3b01b0ce6dff9ce30a725
• ocaml(PrintingFlags) = d882fcbd32c002aa6540fed5d2754d28
• ocaml(Procq) = 6e8494b4b5b05c849bf75fce646604ef
• ocaml(Proof) = b7b2e0982a12070e270779df993f1b1a
• ocaml(Proof_bullet) = be53f78bfc6022590142ea4084606323
• ocaml(Proofview) = 88e6fa76daaf1f3b3f7ad818a6c8b271
• ocaml(Proofview_monad) = c2da718229d2c166ed7368eb1b91157a
• ocaml(Pstring) = a4657eedcbcee758e124eaf4bdbd082f
• ocaml(Pvernac) = 68e36250b5dfc62e97aa882d5f16a2f8
• ocaml(QGraph) = a0f3170eb602a676cfd042aebb11b569
• ocaml(Quickfix) = a99365c9ce5cdad164252c7e05e04016
• ocaml(Range) = fd4c0f33c700ee2d3bc0cd2a9504ce03
• ocaml(RedFlags) = e0b3bd029593004b900aaa26937f4f32
• ocaml(Redexpr) = d4c88a147d14fc15412b3f0fb228dbf1
• ocaml(Reductionops) = d7ed95e99c180213c1c306f7234983dd
• ocaml(RetrieveObl) = 48b74533620394c90ad3c5bb568efb6b
• ocaml(Retroknowledge) = 0ff314acfded9b1ae195b6f6a6d53479
• ocaml(Rewrite) = 9b149e4f82d56018b4f783caf71907a8
• ocaml(Rocqlib) = 73cf0ea7d7f16a1f1036ac19f1e92723
• ocaml(Rtree) = cc005cc024069460855d05480a7fb91f
• ocaml(SList) = 4bc007590fe5ee6fa7d6f33af5ae66c9
• ocaml(Safe_typing) = bf6483aa16ee04ad735e67272a9300d5
• ocaml(Section) = d520bc068a4aa722a9a912c6ce232114
• ocaml(Smartlocate) = 89064a7b5b89a7b35036c02a00f92179
• ocaml(Sorts) = bff26bd11f9b46fa49d5f70ea2679f4d
• ocaml(Stateid) = 0e9825bc21db6ba7c8247cda75d5a6be
• ocaml(Stdlib) = 5debf066d2f080eabc33d8b71099252f
• ocaml(Stdlib__Array) = 09ad905d6230fc4f28ae1b69e8675e79
• ocaml(Stdlib__Bigarray) = 904d1271afeb602c556bf1e0f0f8809c
• ocaml(Stdlib__Buffer) = c0940caa52bfb8d306ed2ca69af87ed6
• ocaml(Stdlib__Bytes) = 6fa82d0a58c0eb4ca469f084a70f9a7e
• ocaml(Stdlib__Complex) = 7a66a05174368cc820464e6c12a3693c
• ocaml(Stdlib__Digest) = 2b70a92ff90913804cdc1343b1592e27
• ocaml(Stdlib__Domain) = d11ad689f3e35d9892101961a1201121
• ocaml(Stdlib__Either) = e4e548dbb128df23a9325d9cba39fc2f
• ocaml(Stdlib__Filename) = 49e046b4f3cb36713e404a980d6fecce
• ocaml(Stdlib__Format) = 5b2f2a54d0831d599db87620d18b8ca1
• ocaml(Stdlib__Hashtbl) = 6df0309fbcf3f1661d9e3d07a603aa3e
• ocaml(Stdlib__Int32) = 6583ec691ad5b5d0403bb4dba14ff95a
• ocaml(Stdlib__Int64) = 6c1bd23e0da837071a98f3330e9f1242
• ocaml(Stdlib__Lazy) = 9888b2ba7f344f43c41116cffda5081a
• ocaml(Stdlib__List) = 81a27a0a9af489e91fa1d99f325067c2
• ocaml(Stdlib__Map) = a9944feda56cab2432578db95de546a3
• ocaml(Stdlib__Nativeint) = 5a73f569861cc3c66639bcda63a82510
• ocaml(Stdlib__Obj) = 26b40efd5c9a30f8c9c87c6133b5adbf
• ocaml(Stdlib__Random) = 956621158e7602665cb7b17716307400
• ocaml(Stdlib__Result) = e05eccba6c8a9e6816ad890e6e983d48
• ocaml(Stdlib__Seq) = b55b17884ef0dff6295517debe21f111
• ocaml(Stdlib__Set) = 878d51b56f0f7be3121d17ee49b6ece5
• ocaml(Stdlib__String) = 10f6a338df78df4f5987192086ffa3c9
• ocaml(Stdlib__Sys) = fb4c43482366ca204eebf7f3838d5a55
• ocaml(Stdlib__Uchar) = ffc32f05aeea05f14986ec532040e8b1
• ocaml(Store) = 1de301fb58a4f4a9e1840d4a1ecfbf59
• ocaml(Summary) = eba5dbcf0380a5a0175b6e2b4ef37bff
• ocaml(Tacmach) = 3caff24ce522199377ed06f1f78c6846
• ocaml(Tacred) = fc826476111796ae05719a7f45b9d17f
• ocaml(Tacticals) = b74df47a4e2c84d5f7adefcfb15c1c8f
• ocaml(Tactics) = 90200278890f08c1e71db6da9ed9f158
• ocaml(Tactypes) = a008b4a89d35e11ae902f494918e0362
• ocaml(Term) = f73d2d5d560684d4c4bc0a98ab57ba53
• ocaml(Tok) = 3ffd6afd7e70452f6dc8715e8e920f5c
• ocaml(TransparentState) = 492fb566dd40324c3ac3c40c6a3eac3d
• ocaml(Type_errors) = 0900c0a786876cf86bf2132b455a6392
• ocaml(Typeclasses) = 0ce7badab68f775c8447bbb740e11c3a
• ocaml(UGraph) = fd4fb27f84eb29897851009e5afeff5d
• ocaml(UState) = 2eb97c06d88ab64b5b1803ffdf5c4158
• ocaml(UVars) = 9173bf68da786badcc850fad917fa866
• ocaml(Uint63) = 9876a8b5a0ed526272adc8f269a8c8ab
• ocaml(Unification) = c69d59750e13992563cc37bd287d70a3
• ocaml(Univ) = 3c2fe6798a168ef754f3af6682208113
• ocaml(UnivFlex) = f8b4b578e6d27536b25744c6babf53f0
• ocaml(UnivGen) = 7d6feeef8f86d48fd01ab29d7180c08a
• ocaml(UnivNames) = 309440d2098d9d2d3aa0d2a983800e06
• ocaml(UnivProblem) = d77df69e5dc8a5a4568e955487103237
• ocaml(UnivSubst) = 6f4bdafe0529b03a19a86d69a3e6a54e
• ocaml(Unix) = 36d29544e3f6b937c99c905deed806c2
• ocaml(UserWarn) = 66cacfd8009a321050bded2ce0a9fd11
• ocaml(Util) = 219a82943a407209300fd2eca83af94c
• ocaml(Values) = 45cafd9cf84d283e233b8fe611baf6fe
• ocaml(Vars) = 56a181095688f99c5303624a612df3fe
• ocaml(Vernacexpr) = 67c5ddddeaee31b8c5d5b2557357607a
• ocaml(Vernacextend) = 0aba833874fd3eb6cb88101d9abbe56f
• ocaml(Vernacstate) = ac3510912fe6bb959a7e52a79b6ba23a
• ocaml(Vernactypes) = c6cb3107f08b0a2d38bc11909eba19da
• ocaml(Vmbytecodes) = d2a8610fa6ecb2844faea10b4e8fe16a
• ocaml(Vmemitcodes) = 1ea3ce15bb933df35ea9a0fc0ab45c04
• ocaml(Vmlibrary) = 1abf8f71db3617eab8b38acc264c0602
• ocaml(Vmvalues) = c5815fac5c13273b8822d1d266db6182
• ocaml(Z) = 6f4dc1533ce2000c365adfd65d52b204
• ocamlx(CamlinternalLazy) = 1c47f82e2d908e6506bd5fb5b1003f06
• ocamlx(NFlocq_Calc_Bracket) = e20ad3069c89f307d2bc65a167c6ac32
• ocamlx(NFlocq_Core_Defs) = 15811a28eff5a3c13d19ccd8ca0798db
• ocamlx(NFlocq_Core_Digits) = e736c1ab284b3ae01d94d285973239ff
• ocamlx(NFlocq_Core_FIX) = e0549c5468962f78d1a100a23a0b3b7e
• ocamlx(NFlocq_Core_FLT) = be970de0aa869d24ee34869f7240138d
• ocamlx(NFlocq_Core_FLX) = a800e6d1cfc33fc9537b74e7a6f67f6f
• ocamlx(NFlocq_Core_Generic_fmt) = 8111ca0b6108ffefadfccaacf26d3874
• ocamlx(NFlocq_Core_Raux) = bb08dc8a081b081ce990d47591a54ba7
• ocamlx(NFlocq_Core_Zaux) = 7b9f4c9026448d97ed082c23d827d08d
• ocamlx(NGappa_Gappa_decimal) = 8b806392b6a3ec23e53fa4293194ba53
• ocamlx(NGappa_Gappa_definitions) = fd2c12ebbb27a0bd43051532005c8c17
• ocamlx(NGappa_Gappa_dyadic) = 7e7048403df7e7ebf0b7d2e14b457eb2
• ocamlx(NGappa_Gappa_pred_bnd) = 2085b457d6cbbfefaf68efd80aee54d7
• ocamlx(NGappa_Gappa_round) = ddfc3d71beffd1a0dd8acd10c6a93790
• ocamlx(NGappa_Gappa_round_aux) = 8f52f25ed857bb519c6177835fd6d404
• ocamlx(NGappa_Gappa_round_def) = 3e07f9b1a8133bea1942dafea56db9d1
• ocamlx(NGappa_Gappa_tree) = cfd76161627cda570ad45afa00cd39ea
• 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

* Tue Sep 15 2026 Richard W.M. Jones <rjones@redhat.com> - 1.11.0-4
  - OCaml 5.5.1 rebuild
* Wed Jul 29 2026 Jerry James <loganjerry@gmail.com> - 1.11.0-3
  - Rebuild to fix rocq dependencies
* Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 1.11.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild
* Thu Jul 09 2026 Jerry James <loganjerry@gmail.com> - 1.11.0-1
  - OCaml 5.5.0 rebuild
  - Version 1.11.0
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/00
/usr/lib/.build-id/00/db493aefa7ed35c31678f6dd1d7f0299b47b32
/usr/lib/.build-id/06
/usr/lib/.build-id/06/7dc6dc89f4baa223d486ec1bccd0d1e19bd0f1
/usr/lib/.build-id/22
/usr/lib/.build-id/22/c470a7da1755b4b59062e4c29d5c6633843d0d
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/b71e210c156e211d6fc35459a56c92687dbf20
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/74fce05bb5eb7b4cf284d2784865f22082cbc9
/usr/lib/.build-id/32
/usr/lib/.build-id/32/b767adb2433abc14bd2b64ca7427ba280a1df8
/usr/lib/.build-id/3f
/usr/lib/.build-id/3f/2cd0b237acf288f0181a5cd186179fcdde128c
/usr/lib/.build-id/46
/usr/lib/.build-id/46/00467880f8f88f014796f1683b9e4b788bc565
/usr/lib/.build-id/77
/usr/lib/.build-id/77/7e3d4d0535d216bc38947007bd4033389b857f
/usr/lib/.build-id/81
/usr/lib/.build-id/81/35000a62a405c808cd270937b99c472025475c
/usr/lib/.build-id/82
/usr/lib/.build-id/82/294110387a7ddaabe34498f9f892b01fe58931
/usr/lib/.build-id/9f
/usr/lib/.build-id/9f/a219de577716f0163dcc6bc92ea0cfa5fab4ab
/usr/lib/.build-id/a9
/usr/lib/.build-id/a9/0f7d9074abc5623169118890243be57aaf5994
/usr/lib/.build-id/ab
/usr/lib/.build-id/ab/12b95161948192c06a05a0bb589aa3d44ded12
/usr/lib/.build-id/b1
/usr/lib/.build-id/b1/22866c94986656257556cdf3041464a311f1ae
/usr/lib/.build-id/b2
/usr/lib/.build-id/b2/7f955b29b6337403fd49f9644f2bc5cec05409
/usr/lib/.build-id/ba
/usr/lib/.build-id/ba/625a14f43e65f56386e84796111f18a53e9ad0
/usr/lib/.build-id/bd
/usr/lib/.build-id/bd/3fc35dc39f9398ddc51168603b898bedda81ec
/usr/lib/.build-id/d6
/usr/lib/.build-id/d6/a1757ca7c2cce5ef929af8a8ca9401105cbbdb
/usr/lib/.build-id/dc
/usr/lib/.build-id/dc/715ab620b52275fe9e83482f1a06a428dcb78d
/usr/lib/.build-id/dd
/usr/lib/.build-id/dd/63209ffbd3e1840bb43ef9839ffbd3c9557311
/usr/lib/.build-id/e1
/usr/lib/.build-id/e1/4261db98a0db21a51147dfc77cd6fe09388c0f
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/10795f98112b8bb7fe871e81775661f94812a2
/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, Tue Sep 22 23:22:25 2026