gappalib-coq-1.5.2-4.fc37 RPM for s390x

From Fedora 37 for s390x / 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(s390-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_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_tactic_loader)
• 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_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_tactic_loader)
• ocamlx(NGappa_Gappa_tree)
• ocamlx(NGappa_Gappa_user)

Requires

• coq(s390-64) = 8.16.0
• flocq
• gappa
• ocaml(AcyclicGraph) = 00edc3e526b6239e9ad4c9319eaaabd5
• ocaml(Attributes) = 9c8311d65744ff7d706db174690b46c8
• ocaml(Big_int_Z) = f98827dcd70d54140f3afa5af18218b1
• ocaml(CArray) = 3bf67d1381824155797389de8a32d728
• ocaml(CAst) = b49a9e05558d074ce2420f1481d80d8a
• ocaml(CClosure) = f4378b7e6756e2d51e034a1fb622833a
• ocaml(CDebug) = a0c286baa9a2b79d6bec187ce25083a3
• ocaml(CEphemeron) = 7a5613ac8c99a7839b27f0eb26c409cc
• ocaml(CErrors) = f3bfdbcb718358cbbdf7269ef0ccc70a
• ocaml(CList) = a742212da585b925999bb1e9c57f8886
• ocaml(CMap) = cbcf10800400dde7f75cbc0cc6a0a739
• ocaml(CPrimitives) = 98ddda2b8661651d0ac1c4d2f3adc78a
• ocaml(CSet) = 10548a97a94e3c63dea0f824f53da608
• ocaml(CSig) = 93d511bb9f97d6117a9dba3706ab0743
• ocaml(CString) = f53fe8692b6d16ecf125c5433c67ee1d
• ocaml(CUnix) = 59f179ae315fc18388551aa9972e0dfc
• ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
• ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4
• ocaml(Coercionops) = 130ca2c374c3c95f2be07233a9fcfe6e
• ocaml(Constr) = 9ca352bce78df900bce25f5e83b3e3ec
• ocaml(Constrexpr) = 0a1d3ceef956f29cc7dc137ca11d7f87
• ocaml(Constrintern) = 97b95cdbaec7eb2886396200fc429e6d
• ocaml(Context) = 233f361cbf25095b743d2afa636ee001
• ocaml(Conv_oracle) = a9dd31ebef4b0f31606274cf6690f783
• ocaml(Cooking) = c511194cd3d1c75d0ec51fe57d5c4b93
• ocaml(Coqlib) = 2c95a5e907cb1568e1a7c1a9d070b1aa
• ocaml(DAst) = dad4dc5e90d3a1f173b8fa9529571329
• ocaml(Declarations) = af077788df86ae3c100cb12d0e433100
• ocaml(Declare) = 50515d5655d9fdf56b819fa36790df68
• ocaml(Declaremods) = feae46dd7f816faac5d3a1d9b6695f56
• ocaml(Decls) = 703781821a9f6fa92a858580f939bd9e
• ocaml(Deprecation) = cdadd928d3039e3d0b75f34481e7c04c
• ocaml(Dumpglob) = 20e9106c0a8efd454cf20e46cba32b6c
• ocaml(Dyn) = fa3daa324553247018623840358472b5
• ocaml(EConstr) = aec1ab28ede64377d193d2fc15de5e09
• ocaml(Entries) = 72a73ac1bcf2406fcb0568e0723e2452
• ocaml(Environ) = 81958cbbb97b08eb74f21205ecbe734b
• ocaml(Equality) = 7a649f9b216dad739e837c87f77a3af8
• ocaml(Esubst) = 746f3c41caf469b8602bbc0673a9de61
• ocaml(Evar) = 156cdf64bb05c4ab0c4051f998dfab52
• ocaml(Evar_kinds) = eb698fadadd600269e0ee8549be9900b
• ocaml(Evardefine) = fe8ca9cf716175388b4409c03e17658c
• ocaml(Evarsolve) = 3428df78067bc43360db82565604d135
• ocaml(Evarutil) = e498f9d920d45be1f78891569f3d02e5
• ocaml(Evd) = 7801c47db8f2d9004d9cee2602a72d51
• ocaml(Exninfo) = 766d613c58c5e25783f49ff1e5b36922
• ocaml(Extend) = 8f3d3aee03298d6f7ff2c8b208ad0498
• ocaml(Float64) = 712fa5d21be885f62f4afb0c1b2e620e
• ocaml(Ftactic) = 235bc69fea943bef8593f9b00b9d5d50
• ocaml(Future) = 4b0363951dc2308b41080b1959cbd2f8
• ocaml(Genarg) = 780092994952b6af4488c174bbc204bc
• ocaml(Genintern) = f9c42c5b2c5681eaf7e0e49808e93ddd
• ocaml(Geninterp) = 3425ad20575082d95c850c333be60921
• ocaml(Genprint) = 092559a8daae9547da5b338d63d62f84
• ocaml(Genredexpr) = 626bb52775c1748e2c3bffbc6b812083
• ocaml(GlobEnv) = d745ee6d77006ea2b750c1b41da66134
• ocaml(Glob_term) = 4533a1278fddf471cfcbda9e5b5232db
• ocaml(Global) = 42f2e82accd666c47e4f9963a75f6ea7
• ocaml(Globnames) = 0cde525ff2938a030d830223839482ec
• ocaml(Goal) = 6c36abc34e3c0219300bf334533445bf
• ocaml(Goal_select) = 5303e7040d3cbac08b6a3602be100ecd
• ocaml(Goptions) = 532e5d7e6f0744645df21a2de260a413
• ocaml(Gramlib) = 49f2ec40e5ddfef8a1c60e6a72123dd8
• ocaml(Gramlib__Gramext) = cceadee5ba8287671304df971ae88da1
• ocaml(Gramlib__Grammar) = 5f1a768cb2e6988d339c385f733c0143
• ocaml(Gramlib__Plexing) = b8133aac91b79d4ad41ed01ab52880da
• ocaml(Hashcons) = 04171b8e413a80692dcbea1031ff4542
• ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074
• ocaml(Hints) = 3a9a0ec6a732148db08f2b90c9dbe88e
• ocaml(Hook) = afc10af2a433f78a0df71272ef5bb0eb
• ocaml(Impargs) = df2b410f42f3aba42107bfd927a4c601
• ocaml(Ind_tables) = 4c7455db4b1d8ad88f5f4c8bf6402af2
• ocaml(Int) = c638a3a3a3350b9a3cd3aecfc1548b44
• ocaml(Inv) = 87df5e4766260236b23c453288e9777d
• ocaml(LStream) = f9950e89686bd059defd6cda6a25c5d3
• ocaml(Lib) = 64a196b7833437ec6921775c5de57961
• ocaml(Libnames) = 7e72e6b9f7e5a2d16c610b7149eb377c
• ocaml(Libobject) = 33613ae7ae8a9f294163246e5c7d4133
• ocaml(Loc) = de5fd01aaa49ae97f2332d9b30807adc
• ocaml(Locality) = b91e1cdf8560a02599ec3b484a0faa53
• ocaml(Locus) = 538f0877836f01a1775f356c6266d0ec
• ocaml(Logic) = 13c4bebf9827283a2773b474406ee42b
• ocaml(Logic_monad) = ad1c2d56a37c94474486c95b0b560584
• ocaml(Ltac_plugin) = 7df366cd4450321fc21159ff68115c18
• ocaml(Ltac_plugin__Pptactic) = 107f9608b253eb0c2c03dd51a5c31ebd
• ocaml(Ltac_plugin__Tacentries) = d79565bb0bdf241fe57ffff29b9f05b5
• ocaml(Ltac_plugin__Tacexpr) = db03a7b8c07c50868303ed8334ed82e0
• ocaml(Ltac_pretype) = 1a5459876be0aa010ebe6bdd23c6fd37
• ocaml(Metasyntax) = 47a92a3248e359a421627ee6c43007a1
• ocaml(Mltop) = 04b802c6f617661d63eb8adfe76b0100
• ocaml(Mod_subst) = b56a185b9f7bb6f0f0f519c06bf981db
• ocaml(Monad) = 665dc43189395fc9dd11ae2ce199a30c
• ocaml(NCoq_Arith_PeanoNat) = 3922c4f429b4350bba2dd2dab23b5b5a
• ocaml(NCoq_Bool_Bool) = 0804aef187ec6ef5a4c6bc88c0a4973b
• ocaml(NCoq_Bool_Sumbool) = d2613c6f687e37311723c347656b1afa
• ocaml(NCoq_Classes_Morphisms) = 6b266a73e315469f08ebc542bf8746e8
• ocaml(NCoq_Classes_Morphisms_Prop) = c52138961674f9ee5fab86bc21830c4a
• ocaml(NCoq_Classes_RelationClasses) = 03470792223f41943cca775a8537bcad
• ocaml(NCoq_Floats_FloatClass) = 9a5e5f319332f1aab08117fc52822560
• ocaml(NCoq_Floats_SpecFloat) = 18edf3f67606ec5d149da16e9c2c1dcc
• ocaml(NCoq_Init_Datatypes) = 7dff06490587ae72d8c480e28d0792c8
• ocaml(NCoq_Init_Decimal) = 0091886e0df87b48c1b71a630733d322
• ocaml(NCoq_Init_Hexadecimal) = 48f69a780f3ab731bfd5fd9892b611dc
• ocaml(NCoq_Init_Logic) = 8d49d9267163e6178eb2130b0afa5363
• ocaml(NCoq_Init_Nat) = ba503b0fd72b1b323ac75b26585630aa
• ocaml(NCoq_Init_Number) = cd525699ffce1c8a6f907027bb87d10f
• ocaml(NCoq_Init_Peano) = 67f231ba5cf8725357b5682f1d4ed41b
• ocaml(NCoq_Init_Specif) = 6ee28c2862fc7fd46a5168a9f874140a
• ocaml(NCoq_Init_Wf) = 5bca515f37535f096c090facf9f2ee7b
• ocaml(NCoq_Lists_List) = f0f59ccc11cabe932e06f5bc97cf054c
• ocaml(NCoq_NArith_BinNat) = d014d8a7617cce07faeac7a778ef66c6
• ocaml(NCoq_Numbers_BinNums) = f68e6acf6ffb202993bf722adf5f5260
• ocaml(NCoq_PArith_BinPos) = 567a8354cd285d3669d47d582c454eca
• ocaml(NCoq_Program_Basics) = 819299f98ae3fdc97e4a9a2c9609ffae
• ocaml(NCoq_QArith_QArith_base) = e89b31eaa6e00a18da0fbd5d08938402
• ocaml(NCoq_QArith_Qabs) = 4a3dc52bf2666912d7d251574a7b8367
• ocaml(NCoq_QArith_Qreduction) = 648dbc98464b2098597c04a9e931ceff
• ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 3bc9cae9c5f4257f9935585d0566e119
• ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = d0cfbe899abd4907c1c20c02ebd67b98
• ocaml(NCoq_Reals_Cauchy_QExtra) = 416b35c7119a55b95616d5ab474212b9
• ocaml(NCoq_Reals_RIneq) = e17d1e4cd82578c36d0c8b465e5d0fcc
• ocaml(NCoq_Reals_R_sqrt) = 0ef21d135ce5620dcdffd8943721e056
• ocaml(NCoq_Reals_Raxioms) = 8717e5ba29c58e18675aa9d4441687b9
• ocaml(NCoq_Reals_Rbasic_fun) = d7937acd1fa489b5786486500a1c33c7
• ocaml(NCoq_Reals_Rdefinitions) = f36e6fdcfa9a0e339578e20a9f5db7d3
• ocaml(NCoq_Reals_Rfunctions) = bee964dae118e2f605da619804d4e408
• ocaml(NCoq_Reals_Rpow_def) = 08d14df826ae8289b86b0107fb9c36d6
• ocaml(NCoq_Reals_Rsqrt_def) = f42bf05072ae26906298ececd08c0f21
• ocaml(NCoq_Relations_Relation_Definitions) = 50d48e86dd918045ba6710f690346c4e
• ocaml(NCoq_Setoids_Setoid) = ff4a727e569d978538a179c8c6991898
• ocaml(NCoq_Structures_OrdersTac) = e653cee5a401486b918c1d13e4ee646c
• ocaml(NCoq_ZArith_BinInt) = 75a2ff407fbbc12c0021cf14b6cb0f4a
• ocaml(NCoq_ZArith_ZArith_dec) = 127ab251d986c70c3d6131d06396afd8
• ocaml(NCoq_ZArith_Zbool) = 3c79cf9f91dd9622e786c53f032964e0
• ocaml(NCoq_ZArith_Zeven) = 62d38b4a4e33dc0f927bb81a7f738a3e
• ocaml(NCoq_ZArith_Znat) = e6a528fc72a76ccc4ceb24d48ae0dfd1
• ocaml(NCoq_ZArith_Zpower) = 2404fff785da3403be59e3b5070915a7
• ocaml(NCoq_setoid_ring_BinList) = 2af322c2b741c327817e63b894d38e93
• ocaml(NCoq_setoid_ring_Field_theory) = 6e1e033f24ffed24e144125234ebd9d3
• ocaml(NCoq_setoid_ring_Ring_polynom) = f82809523aade7f5fc49d026b5a3fc39
• ocaml(NCoq_setoid_ring_Ring_theory) = 6b85b253533d9c96b7b96cbbf6e15a26
• ocaml(NFlocq_Calc_Bracket) = e0214f692ecd93d4c63ec81c9a68b962
• ocaml(NFlocq_Core_Defs) = 08cd9b47bf7c432525e394f63175cafe
• ocaml(NFlocq_Core_Digits) = 3e3ce226aa583a7f62c6933c79a9587d
• ocaml(NFlocq_Core_FIX) = 67d75cf34e0a21bb4933d4ede0c59ebd
• ocaml(NFlocq_Core_FLT) = 8cdb39a38fe4b22eb6dfd1f6cc35ec2e
• ocaml(NFlocq_Core_FLX) = 9c1a23b9ba23e210b16128375943f9d5
• ocaml(NFlocq_Core_Generic_fmt) = 2410b3af617d927dd58d0b601b84c8bc
• ocaml(NFlocq_Core_Raux) = 34b3cbbefcc8082bfc2aa9bd75cb8316
• ocaml(NFlocq_Core_Zaux) = 1331b523bdf9decaac86604d1dd39bbf
• ocaml(NGappa_Gappa_decimal) = 9deed98b3f36953cde4bae905d98fa8b
• ocaml(NGappa_Gappa_definitions) = fdd64b578bb87a43902170e029c5c957
• ocaml(NGappa_Gappa_dyadic) = 9482d6427d4f60013106255cc4c9d8c6
• ocaml(NGappa_Gappa_pred_bnd) = 92172be3fae603ca097f4605f05c7a94
• ocaml(NGappa_Gappa_round) = bad108b76a6afa725c600231367515e8
• ocaml(NGappa_Gappa_round_aux) = e0d33032627290a7a8c2c477ca269b1f
• ocaml(NGappa_Gappa_round_def) = e486e380f58b0efdff6de031e4378ca3
• ocaml(NGappa_Gappa_tree) = a7322d39af53db523ae2fbdef0771c35
• ocaml(Namegen) = 0a8addd4f715e43f63deeddff67666bc
• ocaml(Names) = 0b6c349e44c595f40356f60ca49fa766
• ocaml(Nametab) = 939eb1b5d6f3dab8fc7aa53d76f8cd46
• ocaml(Nativecode) = 02dbeca2f7bfac8ee80f221d7d1bcb8a
• ocaml(Nativeconv) = 60d8b9f9f4561c30226973b77f29c919
• ocaml(Nativelambda) = 219578857e7b319faa4d145a4fa5ff68
• ocaml(Nativelib) = 7b23ee7251439aa612f59354c020ea67
• ocaml(Nativevalues) = 151356e5f71c48ba131e257d7b5d6b0e
• ocaml(NeList) = 8c16d763a4d226fa85aaed7a7a776bf3
• ocaml(Notation) = 6687290488ca913493273e35ec9140c4
• ocaml(Notation_term) = ba7e10bd6c980ba842674b92c4fd32b8
• ocaml(NumTok) = 919d150c66ab68cf4c64598cc40be9c3
• ocaml(Opaqueproof) = b1745fe14cd37c212d34eea094f1b8df
• ocaml(Parray) = 3587b91abccbee918d16a0ecc7071866
• ocaml(Pattern) = bf0feb2b99812624585018290a94c3e7
• ocaml(Pcoq) = 30a4ee789831680c39f99302f3402899
• ocaml(Pp) = b42c7d685f7cf8e56cb9e5cb72b082aa
• ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5
• ocaml(Pretype_errors) = 4f0e6bee2956221e0d19c7a4d6232f5b
• ocaml(Pretyping) = a6903cb3010cce9b1b538151878854dc
• ocaml(Primred) = 97ca1d481f50c1c9701babd2fd24fa01
• ocaml(Printer) = 1508d255db0d0f15754cef32e692257a
• ocaml(Proof) = e0acf16fbe54fc07c8509cc29dd691af
• ocaml(Proof_bullet) = 63ceb96c0edba9cad504d0db9cf381d8
• ocaml(Proof_using) = 0e6b867bb35f79d409de49d232158d61
• ocaml(Proofview) = 3d6152dfc2a51be0829e6bb46552105f
• ocaml(Proofview_monad) = 7f12467494a6d7b1e7a1ad7c434aea2d
• ocaml(Range) = 346d147227354e938de6b932d04d6b3d
• ocaml(Redexpr) = 358ce56fbaf02036c310a0dc80dceee1
• ocaml(Reduction) = 3523f631320a31383fd961d753a8e437
• ocaml(Reductionops) = 589f659dcd35d95083d18864277f803b
• ocaml(RetrieveObl) = 25482df7bf0c95ee7a7420fdc7b077ff
• ocaml(Retroknowledge) = 921f47b24ba103d9c6a00670a3a8a6c8
• ocaml(Rtree) = 3aeff8b2ebba7f5453fc613375ce0644
• ocaml(Safe_typing) = 2cfd62ffab10a60ce3b0d9eae3e38881
• ocaml(Section) = 68f3c3d655a9890cf3b21f6b34e3160c
• ocaml(Sorts) = e73c70ce289f5c49f0cf7f5a0ceeefc2
• ocaml(Stateid) = 2716c53d22d49b3691aabd4d9372d505
• ocaml(Stdlib) = 6d7bf11af14ea68354925f3a37387930
• ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865
• ocaml(Stdlib__Bigarray) = 994a14f10d5ae081663b52b790ee11d3
• ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
• ocaml(Stdlib__Bytes) = 3d02c33317c0108c61e7a5eefa37519a
• ocaml(Stdlib__Complex) = 4555217c759e89d65daa8f682eb09b35
• ocaml(Stdlib__Digest) = 61f6495d3274a42a78a63425ef892290
• ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
• ocaml(Stdlib__Filename) = 3bcff250dd30a0e620fa7546882aaadf
• ocaml(Stdlib__Format) = b6edb97b685819e873481fe05723c8bc
• ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401
• ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab
• ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518
• ocaml(Stdlib__Lazy) = 01430d340c028322c7247031a874e355
• ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
• ocaml(Stdlib__Map) = 978f82916b5a172c11d2b72719d85680
• ocaml(Stdlib__Obj) = 25794d29f7f4018768ea900e331a2bf3
• ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
• ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658
• ocaml(Stdlib__Stream) = 510a78f010f6c530a911189d7538d002
• ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
• ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b
• ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
• ocaml(Store) = 918c3a10b0813c8232cd62d2f408caad
• ocaml(Summary) = c563d6bd180e6b78f0f0ca461607f4bd
• ocaml(Tacmach) = f589b85b22b5f00627cf4d9f6681e407
• ocaml(Tacred) = 1bcf5d6b2d87bb2d7696492a83cd30ea
• ocaml(Tacticals) = 87cde9a3ed05f21524a5e0190cfd0bb7
• ocaml(Tactics) = 34eb6eacaec827fb614cac476b2bafa9
• ocaml(Tactypes) = b9e19e5a5f9b5b90dd92fc062230a5cb
• ocaml(Term) = c1500a859572f47c5adeb740fbcebf6b
• ocaml(Tok) = d7f575ffa78825bb266417e4b337bcdb
• ocaml(TransparentState) = 1dab58426370af71f458b92a6fb5ef06
• ocaml(Type_errors) = 0c0828c2a9ff92cc716465e0013a0769
• ocaml(Typeclasses) = c82cf14a959ab2a132030ef8b5b5bb4c
• ocaml(UGraph) = bd28bddd5c33ca5c1a5f9f43f907e5da
• ocaml(UState) = 3ec987d0c982616ff943f71f05e2c111
• ocaml(Uint63) = 5150bcb618feddc1f891db28ba2fa04b
• ocaml(Unification) = bb08182b91ec85ec72551ce13bfed01f
• ocaml(Univ) = 6feb5ec642e4daf30a0944e888214cea
• ocaml(UnivGen) = c08393c720001d4601ab69c764edae38
• ocaml(UnivNames) = 9f0af4e2cd7c9a6a04f181684ebd75df
• ocaml(UnivProblem) = 0bf19edcf4c9ada1dd5cdb51d579b1fc
• ocaml(UnivSubst) = 2c793a58009dea74a325c5082597d844
• ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c
• ocaml(Util) = 46a1f0249bfbf29202e10de25200d4ea
• ocaml(Vars) = 73a674179608a349a8f3d001ee037f1d
• ocaml(Vernacexpr) = 31bf27dcb0e938a20d1797f40b7144ae
• ocaml(Vernacextend) = b507ea2d1a0f49d7fb3939c2f335eebe
• ocaml(Vmbytecodes) = 88733f1084158f9273bb318495213675
• ocaml(Vmemitcodes) = 2ee3a68ca9992bc9e1f6aeb9e6e33af6
• ocaml(Vmvalues) = 6cfd8f0d13168b127ebed3d4375b15c3
• ocaml(Z) = a71ac4a535434978287848841376388e
• ocamlx(CamlinternalLazy) = 7498a48b2fe233db683be47d48c215fc
• ocamlx(NCoq_Floats_SpecFloat) = c356ad7392a9629e0a65ec307a06bfa3
• ocamlx(NCoq_Init_Datatypes) = cdbab4b0bd137a1bc00d54561f3dd061
• ocamlx(NCoq_Init_Logic) = 41d65a6a2b1c55d6e2f10cf6ded4b229
• ocamlx(NCoq_Init_Specif) = deb5ee0a23525d72a763da2cf5baa68d
• ocamlx(NCoq_Lists_List) = 8907851d368bbc622072348a2536b0a3
• ocamlx(NCoq_NArith_BinNat) = 19dc97790aa8fd60b0b8835c17ab2206
• ocamlx(NCoq_Numbers_BinNums) = e0612228d82543c6ffaaa7a7352608e9
• ocamlx(NCoq_PArith_BinPos) = 1e8b3ca260e0a0ff81f3991f27f1be38
• ocamlx(NCoq_Reals_R_sqrt) = 27b338f7a9c7ab544cf1067dbd948ae9
• ocamlx(NCoq_Reals_Raxioms) = 3b1369f1543b29a1db5ad7c0bd822434
• ocamlx(NCoq_Reals_Rbasic_fun) = 2c165e553032f50d013dc3e0ad2b2069
• ocamlx(NCoq_Reals_Rdefinitions) = 8a9cac064a58a982fe19448f6fbaa88d
• ocamlx(NCoq_Reals_Rfunctions) = 619dbcc0d97ba223da5000be188b512b
• ocamlx(NCoq_ZArith_BinInt) = 72c720a0aa3efbe0e6c6319c8bf70f35
• ocamlx(NCoq_ZArith_Zbool) = 385a4314bd8a1898f5ec08d609499805
• ocamlx(NCoq_ZArith_Zpower) = 277dd7090eabd4d926b59df95dc9bfc3
• ocamlx(NCoq_setoid_ring_Field_theory) = fb1b1d2dfe370d37f135065fe598dc1a
• ocamlx(NFlocq_Calc_Bracket) = 3d31e09b74ed1764d3db0dc7175b582b
• ocamlx(NFlocq_Core_Defs) = 6c4fbabb9ee8c716a14fb9c88344efcf
• ocamlx(NFlocq_Core_Digits) = b55af0abc760161eb74d1370e11f5796
• ocamlx(NFlocq_Core_FIX) = e9f22c722924b9087745edcfafb586df
• ocamlx(NFlocq_Core_FLT) = 3457e146bd1589bbbb715b06d981bfff
• ocamlx(NFlocq_Core_FLX) = f7b4e91b11b37ee70060ebbdd5f60a47
• ocamlx(NFlocq_Core_Generic_fmt) = f33112991884b0feba63423e902855cf
• ocamlx(NFlocq_Core_Raux) = 778dc25fb40a439e00cd6247a4c8d42b
• ocamlx(NFlocq_Core_Zaux) = eab15085b1a9e247d34111f271a1633e
• ocamlx(NGappa_Gappa_decimal) = 62dd2e65e37c1478d2f8dd6ce5cc3351
• ocamlx(NGappa_Gappa_definitions) = f313193e458045bc22a719b2bb740b3f
• ocamlx(NGappa_Gappa_dyadic) = 8eaecde4dd8c7a45b0f8f27d9e9d024c
• ocamlx(NGappa_Gappa_pred_bnd) = 24e9bcb44f9a15e298073d99d6ef1760
• ocamlx(NGappa_Gappa_round) = b44c83bc8aa7ea2d85f8408bad873f97
• ocamlx(NGappa_Gappa_round_aux) = 681aed8b4299f0ed7f1a153eeafa57fe
• ocamlx(NGappa_Gappa_round_def) = 51b38a0c2c213f26aa5e0caef72d657e
• ocamlx(NGappa_Gappa_tree) = aad92d3f578ab120357385dee660991f
• ocamlx(Nativecode) = 3159e35fd3d173eaa4e8d37257f49a13
• ocamlx(Nativevalues) = fa348a530a9293576051e0b50d86eb44
• 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 Sep 16 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-4
  - Rebuild for coq 8.16.0
* Thu Aug 18 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-3
  - Rebuild to fix coq dependency
  - Change license to LGPL-3.0-or-later
* Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.2-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Wed Jul 20 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-1
  - Version 1.5.2
* Tue Jul 19 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-3
  - Remove i686 support
  - Use new OCaml macros
* Sun Jun 19 2022 Richard W.M. Jones <rjones@redhat.com> - 1.5.1-3
  - OCaml 4.14.0 rebuild
* Fri Mar 25 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-2
  - Rebuild for coq 8.15.1
* Mon Feb 28 2022 Jerry James <loganjerry@gmail.com> - 1.5.1-1
  - Version 1.5.1
* Fri Feb 04 2022 Richard W.M. Jones <rjones@redhat.com> - 1.5.0-4
  - OCaml 4.13.1 rebuild to remove package notes
* Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.0-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Tue Nov 30 2021 Jerry James <loganjerry@gmail.com> - 1.5.0-2
  - Rebuild for coq 8.14.1
* Thu Oct 21 2021 Jerry James <loganjerry@gmail.com> - 1.5.0-1
  - Version 1.5.0
* Tue Oct 05 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.6-11
  - OCaml 4.13.1 build
* Mon Oct 04 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.6-10
  - Try to build on s390x with OCaml 4.13
* Fri Jul 30 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-9
  - Rebuild for rebuilt coq
* Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.6-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
* Wed Jul 14 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-7
  - Rebuild for flocq 3.4.2
* Tue Jun 08 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-6
  - Rebuild for coq 8.13.2
* Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-5
  - Rebuild for coq 8.13.1
  - Build with ocaml-zarith instead of ocaml-num
* Tue Mar 02 2021 Richard W.M. Jones <rjones@redhat.com> - 1.4.6-4
  - OCaml 4.12.0 build
* Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-3
  - Rebuild for coq 8.13.0
* Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.6-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
* Mon Jan 04 2021 Jerry James <loganjerry@gmail.com> - 1.4.6-1
  - Version 1.4.6
* Sat Jan 02 2021 Jerry James <loganjerry@gmail.com> - 1.4.4-9
  - Rebuild for flocq 3.4.0
* Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 1.4.4-8
  - Rebuild for coq 8.12.2
* Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 1.4.4-7
  - Rebuild for coq 8.12.1
* Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 1.4.4-6
  - Rebuild due to flocq rebuild
  - The source subpackage cannot be noarch due to its install location

Files

/usr/lib/.build-id
/usr/lib/.build-id/18
/usr/lib/.build-id/18/ac0f782aa15f9dc2a52fab527bebeb95de14fe
/usr/lib/.build-id/26
/usr/lib/.build-id/26/8c833e30c8c7f23a21bb99404b77df2f2ea360
/usr/lib/.build-id/31
/usr/lib/.build-id/31/01b66c37665eba11b15aa7c68819ba6338ca11
/usr/lib/.build-id/32
/usr/lib/.build-id/32/231ae62dd85b02860f1f9e79a4b39d4446a11e
/usr/lib/.build-id/44
/usr/lib/.build-id/44/cfea4b4b1b278badb9583cb15f459010bac122
/usr/lib/.build-id/4b
/usr/lib/.build-id/4b/c80992cc978df48f26e380694025b9f95b594f
/usr/lib/.build-id/52
/usr/lib/.build-id/52/0ffec0a7db99ea00ea567cc4a40b68350deb27
/usr/lib/.build-id/52/1982e61368ddbbac4affcac2c5ddfb871bceda
/usr/lib/.build-id/5c
/usr/lib/.build-id/5c/5c8ba726ecd2c2dd09c4d745ce725f66944031
/usr/lib/.build-id/68
/usr/lib/.build-id/68/35d11e1c74c1f11888fae055cb6fafd03fb294
/usr/lib/.build-id/8b
/usr/lib/.build-id/8b/afdde9c5468c209386086cf930e08f4cc9ef8c
/usr/lib/.build-id/91
/usr/lib/.build-id/91/a131f1447709b1562b63ba5a675b9eb232e598
/usr/lib/.build-id/96
/usr/lib/.build-id/96/d18fc2848e1bc3df187081371c3fcc1aaf5c2c
/usr/lib/.build-id/a6
/usr/lib/.build-id/a6/b92105accd0aa370a462962c2aa93d6f393473
/usr/lib/.build-id/ae
/usr/lib/.build-id/ae/11216e957ff6ff31740b92392fe0ff2e594e71
/usr/lib/.build-id/af
/usr/lib/.build-id/af/9943328edc5bedf5ef0d28d1c88817bdebbcba
/usr/lib/.build-id/b9
/usr/lib/.build-id/b9/4daeff690bc8839ab6f9b9535e55edc1e4cb94
/usr/lib/.build-id/be
/usr/lib/.build-id/be/2ec5d664eaafc392ff7d3bb1fbf1415f237f91
/usr/lib/.build-id/db
/usr/lib/.build-id/db/3c469b007eae8d22df49f0a368931c6bd13d88
/usr/lib/.build-id/ea
/usr/lib/.build-id/ea/a78fe05d853d809070625c36f24b1f74ee5815
/usr/lib/.build-id/f2
/usr/lib/.build-id/f2/aca1ab09d68500949f241bc2b1bf5875796182
/usr/lib/.build-id/f8
/usr/lib/.build-id/f8/68935817854f87d1fc08b5a677e7d0e9c488a7
/usr/lib/.build-id/f9
/usr/lib/.build-id/f9/a0a0115ae3b59df8e00e245f86ee99682260bc
/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_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_tactic_loader.cmi
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic_loader.cmx
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic_loader.cmxs
/usr/lib64/ocaml/coq/user-contrib/Gappa/.coq-native/NGappa_Gappa_tactic_loader.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_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
/usr/share/licenses/gappalib-coq/COPYING

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu May 9 20:51:40 2024