gappalib-coq-1.5.3-2.fc38 RPM for x86_64

From Fedora 38 updates for x86_64 / Packages / 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_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(x86-64) = 8.17.1
• flocq
• gappa
• ocaml(AcyclicGraph) = 6db97d4aba38e99b1ce79c13c9dc26ae
• ocaml(Attributes) = 5a60c0917b2c3a0fcb0df4e62de76fbb
• ocaml(Big_int_Z) = f98827dcd70d54140f3afa5af18218b1
• ocaml(CArray) = 3bf67d1381824155797389de8a32d728
• ocaml(CAst) = e6f0ae1977289571e268f9f4798f45af
• ocaml(CClosure) = 0e858027f3915a9044ef4a568f65205d
• ocaml(CDebug) = a0c286baa9a2b79d6bec187ce25083a3
• ocaml(CEphemeron) = 7a5613ac8c99a7839b27f0eb26c409cc
• ocaml(CErrors) = 4e9a1cc39f535710b599ba92dc88682e
• ocaml(CList) = 963264b024cbb32e5211e7abb601d1fc
• ocaml(CMap) = b5f62fbd6f9416f40b63b0dac2bac8a8
• ocaml(CPrimitives) = b572f5424b98ffcb8968be2d42112246
• ocaml(CSet) = 10548a97a94e3c63dea0f824f53da608
• ocaml(CSig) = 93d511bb9f97d6117a9dba3706ab0743
• ocaml(CString) = 185a019f870874a8ff87e047f1d56006
• ocaml(CUnix) = 59f179ae315fc18388551aa9972e0dfc
• ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
• ocaml(CamlinternalLazy) = 5365fec4a58da3e2d8fa2186f77d9be4
• ocaml(Coercionops) = e0b05e9870c9dd8bba9769fdb11d0c34
• ocaml(Constr) = 670799fa78880c542c37d64b3baf38aa
• ocaml(Constrexpr) = 89d8853310bab32ea1eb882a028a8445
• ocaml(Constrintern) = 2b5645f078e081a0478249562e9d5b05
• ocaml(Context) = 233f361cbf25095b743d2afa636ee001
• ocaml(Conv_oracle) = a9dd31ebef4b0f31606274cf6690f783
• ocaml(Cooking) = 2c425c1e71f2ea9e68941efc72edf46e
• ocaml(Coqlib) = e0f7d6e588e70598542cd61ebd0f23fc
• ocaml(DAst) = 7d980c0cbe7bf12e0b87d6fae18f2cf6
• ocaml(Declarations) = aaa7cf86083c22fe0bdc650b9766d7f2
• ocaml(Declare) = ebadfec2550643d7dadaed20cd7bb4a6
• ocaml(Declaremods) = fb16413a97e082b5ed9c79cca9f31f9b
• ocaml(Decls) = c143bdd1833d476947a9f81d767bdcf8
• ocaml(Deprecation) = cdadd928d3039e3d0b75f34481e7c04c
• ocaml(Dumpglob) = 25750de3f8d5627e05625fc8c96573f4
• ocaml(Dyn) = a80a8fb9c90585019a5f7a92adf2e2fc
• ocaml(EConstr) = f7ccdac0e964cd5cdb24c34fd0de582a
• ocaml(Entries) = 292cd81a23ad7e0507d10f00d83d1e9e
• ocaml(Environ) = 52e9defc7fd393e51d052bac59d8446f
• ocaml(Equality) = c937130ca9e4d168b06d9417c1869776
• ocaml(Esubst) = a96ceb099c2f1fb6d9584a61b57ee72b
• ocaml(Evar) = 5410ca5e116902547a19a06b75d92579
• ocaml(Evar_kinds) = eb698fadadd600269e0ee8549be9900b
• ocaml(Evardefine) = 61b0a4dd1e82f8a77a24f23deaeb743f
• ocaml(Evarsolve) = 24b8886508accd2291c7434f83a97011
• ocaml(Evarutil) = 6ed8a4aa0ace5ba3553e75261d2ce316
• ocaml(Evd) = 6e9608a15e2e2562ca13abeeeca35a18
• ocaml(Exninfo) = 1108fbdf2827b6d2494e3e4bca2b55f0
• ocaml(Extend) = ea6908938502338d5a40473f55556d2b
• ocaml(Float64) = 919fb2eabc120f3c4e0129cfc56531e2
• ocaml(Ftactic) = f78ee5f7e7021278250fefd3823b8995
• ocaml(Future) = 4b0363951dc2308b41080b1959cbd2f8
• ocaml(Genarg) = 780092994952b6af4488c174bbc204bc
• ocaml(Genintern) = dea1abeb892588a68048e5281bd50c3a
• ocaml(Geninterp) = e53eabcc0f9e0074037775f5eded68b4
• ocaml(Genlambda) = 56cbe0a8daebf59b513cd61e5af4c4a0
• ocaml(Genprint) = 083509d48354fa981b03ded6f7e5574c
• ocaml(Genredexpr) = f53a74c218a59a60651f05f62ac89d06
• ocaml(GlobEnv) = 7ebd778657dc4ce1640ce3c2b6e09795
• ocaml(Glob_term) = 5ef7569a2107526d8939df2edc1719f2
• ocaml(Global) = 42f2e82accd666c47e4f9963a75f6ea7
• ocaml(Globnames) = 7d19dd4e674067766e7badd2397d3479
• ocaml(Goal_select) = 4436d8e1f64e5b9232522bd9da57ae36
• ocaml(Goptions) = 14f9f251574a55f813b1b9c6aa56c246
• ocaml(Gramlib) = 8e1c211ef61e4e62fd295ca9771f63ec
• ocaml(Gramlib__Gramext) = 2e57141ce4d24fd67956a8faad609320
• ocaml(Gramlib__Grammar) = 09d1e16ec99220015f9f182f7d8a3846
• ocaml(Gramlib__LStream) = b5de63fd5eb20f4c2d8ef0455825af32
• ocaml(Gramlib__Plexing) = 1f45f85d4f8fa0710a63bf260ce64dcd
• ocaml(Gramlib__Stream) = 7e4f02849f98bf6703e0fdcdf678cd86
• ocaml(Hashcons) = 04171b8e413a80692dcbea1031ff4542
• ocaml(Hashset) = b5af2da2ba0f0aa4ffcd46fea97b6074
• ocaml(Hints) = 4d33a7d04e4ea5be3282f2483d71168c
• ocaml(Hook) = 91f169611318aedc592bf024573af625
• ocaml(Impargs) = 59fdb83865f44cc6f25c60be55eedc38
• ocaml(Ind_tables) = 5f1e45678e7aa4a39c04ab8e26e27c70
• ocaml(Int) = 5d7dae0fd8a18e8d5aa73a19ee3bbc40
• ocaml(Inv) = 51eadaf0cae064f29382e502af8bb869
• ocaml(Lib) = 4d4e0019fb768523b194e87563e45c74
• ocaml(Libnames) = 02ee04741ecccd4a6a82dd66b8c3795d
• ocaml(Libobject) = 55fd7942a25933ad93fc7b288222b20f
• ocaml(Loc) = de5fd01aaa49ae97f2332d9b30807adc
• ocaml(Locality) = 446b59cbb24530cc5dccfcb639525d3b
• ocaml(Locus) = 538f0877836f01a1775f356c6266d0ec
• ocaml(Logic) = a982fb04f7d3d9a4a2c17f8fd2325491
• ocaml(Logic_monad) = 7568b85d2e5b3a8a6979dbdb1096e38c
• ocaml(Ltac_plugin) = 7f51264610d86febd55751ade481cb54
• ocaml(Ltac_plugin__Pptactic) = 343a0e91e5570407d4d55f975c39f4ed
• ocaml(Ltac_plugin__Tacentries) = 0995c1927bdacf1c523aaaa675e82a07
• ocaml(Ltac_plugin__Tacexpr) = 57396f6e0de4dee925444431786b1957
• ocaml(Ltac_pretype) = 270e7aa2a02bec3eda99e4f427a351f7
• ocaml(Metasyntax) = ef17ddb3edfa09035e930a283de5f7e5
• ocaml(Mltop) = 18037b34393e18d572701dfee90ec3f7
• ocaml(Mod_subst) = 883ff24157873ad45c0b936416e276f3
• ocaml(Monad) = 665dc43189395fc9dd11ae2ce199a30c
• ocaml(NCoq_Arith_PeanoNat) = 1d70648159fea896330b722effcda00c
• ocaml(NCoq_Bool_Bool) = d5e3820210fece680272192a53606d50
• ocaml(NCoq_Bool_Sumbool) = f3b2aadd3ec4d4a29848475f7316959e
• ocaml(NCoq_Classes_Morphisms) = 1bdbf76503a06382644347d42d2cddf0
• ocaml(NCoq_Classes_Morphisms_Prop) = 8dc18d10a83bafa73f8c06b66e514d49
• ocaml(NCoq_Classes_RelationClasses) = d91638f3f38485aaeb3d2e9028952e21
• ocaml(NCoq_Floats_FloatClass) = dbd845bb26aa9b4a768cdf11ce1788d3
• ocaml(NCoq_Floats_SpecFloat) = c3320d5a18ae624200f8243464a12515
• ocaml(NCoq_Init_Datatypes) = ba14e8401b72fef301fdb473e3d2bafa
• ocaml(NCoq_Init_Decimal) = a621a9c215aec9d7e16885a0b523e497
• ocaml(NCoq_Init_Hexadecimal) = 89179eec46359242ebf24e32c6fb6f13
• ocaml(NCoq_Init_Logic) = 5844583c4d0cb46a11802ac8553e2206
• ocaml(NCoq_Init_Nat) = 0e426f499ecc6441a0c78e922372ac9d
• ocaml(NCoq_Init_Number) = aab1d75d4dbd4729ce71c397398cc45e
• ocaml(NCoq_Init_Peano) = c08de57feb63472602832118f771ac58
• ocaml(NCoq_Init_Specif) = 62e06202f4fd1331cd5f556440e30b6c
• ocaml(NCoq_Init_Wf) = aabb09f2e37b54489b8a2b02eb8330ba
• ocaml(NCoq_Lists_List) = 983adfe7b13f4c4334ca68f5997c595c
• ocaml(NCoq_NArith_BinNat) = 5a233cf05757a167e63428cf2398e8e8
• ocaml(NCoq_Numbers_BinNums) = 5d537f42a06df908f38b8169b430149a
• ocaml(NCoq_PArith_BinPos) = e44ceb5a5503da0ba401248b814fd16e
• ocaml(NCoq_Program_Basics) = 84d6c3405bd68df089341f4153a1804d
• ocaml(NCoq_QArith_QArith_base) = 4fcf743fb695aeb5b1b6af244c0a814f
• ocaml(NCoq_QArith_Qabs) = d76f5466f08fe0973b1bc57de3ce0bfa
• ocaml(NCoq_QArith_Qreduction) = 2a363df47677d2989d0e7db3f0f42f2f
• ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) = 05cdd62010014222a803e745ec5e3513
• ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) = 7b510e1b8cd5f31ca30caa209ffaf040
• ocaml(NCoq_Reals_Cauchy_QExtra) = 33aee1bf52f94ddce9f6c701ed1b50d6
• ocaml(NCoq_Reals_RIneq) = 118b37e0d4458879243ea0cf5a6aaa74
• ocaml(NCoq_Reals_R_sqrt) = 7c68a8177547bd1f3d2a24dd520b575a
• ocaml(NCoq_Reals_Raxioms) = 57db10cb6c048406738751134bed8f57
• ocaml(NCoq_Reals_Rbasic_fun) = b0ccd7c3ee2e625be2c337b3a7b0139e
• ocaml(NCoq_Reals_Rdefinitions) = edcffca6cffd1a5625b0332e96f629cd
• ocaml(NCoq_Reals_Rfunctions) = 56d35e592bc110754aeb2ae506ec1866
• ocaml(NCoq_Reals_Rpow_def) = ed5398f03390306ffb4d5a073a7d4bc9
• ocaml(NCoq_Reals_Rsqrt_def) = 550a37f43b8210a23da8d305167a2aaa
• ocaml(NCoq_Relations_Relation_Definitions) = ac7c54de55154e1e6fa55367d66f6f11
• ocaml(NCoq_Setoids_Setoid) = f61ae89f5ac94810e7c9157e439f6c1e
• ocaml(NCoq_Structures_OrdersTac) = b4a592883b667daf1534538003f4f02d
• ocaml(NCoq_ZArith_BinInt) = a6355607a6aec47df884d02e09314e4f
• ocaml(NCoq_ZArith_ZArith_dec) = 48ed3be92b393f44ef814ef7217b8452
• ocaml(NCoq_ZArith_Zbool) = 0780b0ab8a7dd60117d04ce4148ecd41
• ocaml(NCoq_ZArith_Zeven) = a030e2000395803d4d23b612d9a79b70
• ocaml(NCoq_ZArith_Znat) = 94da1a4df208ddb46df1700004658560
• ocaml(NCoq_ZArith_Zpower) = 7b9d7348df09e815db99d60e29c11a6f
• ocaml(NCoq_setoid_ring_BinList) = 38f5dbc2bedbf3742d064c8463058f50
• ocaml(NCoq_setoid_ring_Field_theory) = 8fa9b85239cdcdb778730cc4931a81c4
• ocaml(NCoq_setoid_ring_Ring_polynom) = f243c25c1d54e298da7d5b56aafd39d0
• ocaml(NCoq_setoid_ring_Ring_theory) = 4ad8bfe2179da4d9177ac6b283df8bf1
• ocaml(NFlocq_Calc_Bracket) = 20ba3b1ac2be233da40aa18c0c92292e
• ocaml(NFlocq_Core_Defs) = 132b24e99d3a5669fbb9feae3bb4ab0e
• ocaml(NFlocq_Core_Digits) = 9e1310413c913a287784d9e1207c99bb
• ocaml(NFlocq_Core_FIX) = 623c74745f56657c760f2b3e25ec9b03
• ocaml(NFlocq_Core_FLT) = 284f67b699b86802d59614fe94330310
• ocaml(NFlocq_Core_FLX) = 2a990cdf5108527c7e8c42ab64e7daac
• ocaml(NFlocq_Core_Generic_fmt) = a2463e4363999b165b83188ef11e6437
• ocaml(NFlocq_Core_Raux) = 10a1868c65be4137786833a740b846ac
• ocaml(NFlocq_Core_Zaux) = a0906b16b454ba59d23c1c323e4d6186
• ocaml(NGappa_Gappa_decimal) = 6c7e8b903c3646e20cf008e5d3c44a5b
• ocaml(NGappa_Gappa_definitions) = 66c4ce6654dd0d2beee38b4a91722b5a
• ocaml(NGappa_Gappa_dyadic) = 8bb5d34b595c71a623f309c1f53afc13
• ocaml(NGappa_Gappa_pred_bnd) = 35d952681390a0ad547a9c0e488faa27
• ocaml(NGappa_Gappa_round) = d47c7d3ce69d10a3e00c5aa850108c65
• ocaml(NGappa_Gappa_round_aux) = b9939fb76362a408b7c149daa1d7d92f
• ocaml(NGappa_Gappa_round_def) = 4ffdeeb796134cf0aa46b4255630ea99
• ocaml(NGappa_Gappa_tree) = 51b6a9cf1f52fdcd23fc4fa706fde0ee
• ocaml(Namegen) = b27857dd58e622e963a475048c219bfc
• ocaml(Names) = 2ea9132743d37e1af5c8327b5dc400b1
• ocaml(Nametab) = cd1025d7a24bd57f7b3234cafa33d7b6
• ocaml(Nativecode) = 842a27615e40a598a3aabe25b3b65322
• ocaml(Nativeconv) = 8d892045979e0114aa149472891fd7cd
• ocaml(Nativelib) = c14db6be2a471852ffc636e36467ec57
• ocaml(Nativevalues) = 50c4bb93028b49d5f9a3462bd4dda4e2
• ocaml(NeList) = 8c16d763a4d226fa85aaed7a7a776bf3
• ocaml(Notation) = ccc9173dc208892df5f9805bb3da133b
• ocaml(Notation_term) = f8928ba07509dc722ec93f786e618660
• ocaml(Notationextern) = 6f691d234ff40f7e5788f4deef3bab47
• ocaml(NumTok) = 5d3e7b9a2ad3262b9d6a272123b58884
• ocaml(Opaqueproof) = 999bfd5f937c49fe3b1b03eafd7a3c8b
• ocaml(Parray) = 3587b91abccbee918d16a0ecc7071866
• ocaml(Pattern) = a77c98a741a12cc0e30505f6ab67508e
• ocaml(Pcoq) = 534232cf0659b65b2cf606961452861f
• ocaml(Pp) = b42c7d685f7cf8e56cb9e5cb72b082aa
• ocaml(Predicate) = e10f527c1e68b4fcf4187c345bdd22e5
• ocaml(Pretype_errors) = dc00e6f662a07e1405a5dd7f2e0ea833
• ocaml(Pretyping) = 48b23857b1e813b0220a424962b8062f
• ocaml(Primred) = 4124a8d003016e321c5cc107b0d85c78
• ocaml(Printer) = 142897df5497b18633c10c72ff0123ad
• ocaml(Proof) = 4215cb70ba4758c3f779c2e5a6f28cd7
• ocaml(Proof_bullet) = 63ceb96c0edba9cad504d0db9cf381d8
• ocaml(Proof_using) = bd77afdfa26a6def6efd099a60c94825
• ocaml(Proofview) = 036409de3ce6e1b89709592a00f2a153
• ocaml(Proofview_monad) = 14b0d99211d2510fffeb2d5bebcba76d
• ocaml(Pvernac) = d73f78fd7407a990e00737b9f2f5c623
• ocaml(Range) = 346d147227354e938de6b932d04d6b3d
• ocaml(Redexpr) = c025c04c287e4c064bb17ad4a4e59160
• ocaml(Reduction) = 061463a7ecc6882acd7c10c1c6cf2653
• ocaml(Reductionops) = 49f5d5eece86a9150ff5104c30b4c804
• ocaml(RetrieveObl) = 0f77e1ab603b08ff482d468569f092be
• ocaml(Retroknowledge) = 921f47b24ba103d9c6a00670a3a8a6c8
• ocaml(Rtree) = 3aeff8b2ebba7f5453fc613375ce0644
• ocaml(SList) = 87266e831aa0fb41e7e69d43dba10e03
• ocaml(Safe_typing) = 077905aaf9d36b5fbc475f19af4cf4bc
• ocaml(Section) = 178658b34fe52e6380c020193adca07e
• ocaml(Sorts) = e73c70ce289f5c49f0cf7f5a0ceeefc2
• ocaml(Stateid) = 2716c53d22d49b3691aabd4d9372d505
• ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91
• 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__String) = 097838f294457ecbb61ccbcf86cc6972
• ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b
• ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
• ocaml(Store) = 918c3a10b0813c8232cd62d2f408caad
• ocaml(Summary) = 858008ea8c56f907396e598f98daef71
• ocaml(Tacmach) = b5d3792869376370386502651527baa1
• ocaml(Tacred) = f8842bb29660b50a02735faa11d2447a
• ocaml(Tacticals) = 9d0357efcaf60a446685cf5fdd528d0a
• ocaml(Tactics) = 356d951a919895c83fcd4cfb2e5a2b98
• ocaml(Tactypes) = 65ee8f80ddd505d1a33624bc0cb44b61
• ocaml(Term) = 7a45b29ea54c962bdd7f36b12dac3b17
• ocaml(Tok) = 2bddd7a50c5dc668c81f067689ea2a24
• ocaml(TransparentState) = 1dab58426370af71f458b92a6fb5ef06
• ocaml(Type_errors) = 8ea8227048ad205d3384b10fc32d3b09
• ocaml(Typeclasses) = e273397fb1b53aad8bc86e45bfb6d589
• ocaml(UGraph) = 2fd6f0b34adce97d21c5d93b17310f9b
• ocaml(UState) = 9cb90b5c0198a9392b644fc648a3b2e1
• ocaml(Uint63) = 5150bcb618feddc1f891db28ba2fa04b
• ocaml(Unification) = 53a988bf819cc7d250124ea3076eb3a9
• ocaml(Univ) = f7225d1b1091516b25bcad262c410029
• ocaml(UnivGen) = 808b07bc3e637d1c75fca5c3a86bc9d4
• ocaml(UnivNames) = 650214610ca9c965cca2140d6065e8c4
• ocaml(UnivProblem) = e7830949b233fefd37a1fd12dae0225b
• ocaml(UnivSubst) = f8e474cbcc595932bd4a530a6694fbfc
• ocaml(Unix) = 84bb8ec8ae50f70acba86f5b72088b1c
• ocaml(Util) = 82442e4e897c61e9ffd5234974e104ef
• ocaml(Values) = cb3ff5d5b665cb384fb59c1413884523
• ocaml(Vars) = f17abb022dd4936d1a6ad91b4dda1549
• ocaml(Vernacexpr) = b40e25528243ed19b4d298cad8d3815c
• ocaml(Vernacextend) = 23cac55a4ec53b7a700e727d744aa012
• ocaml(Vmbytecodes) = 0ec5367f45655d3cfc46db2e6443e395
• ocaml(Vmemitcodes) = 346ef462a1e0243aad6f2621f358e795
• ocaml(Vmvalues) = 1faa9be887b3fe66b213790f9bb1a3d8
• ocaml(Z) = a71ac4a535434978287848841376388e
• ocamlx(CamlinternalLazy) = 0573444d7d158417dbd5f4f46081e73b
• ocamlx(NFlocq_Calc_Bracket) = a1e05642f6d8551d01fd744a20616e38
• ocamlx(NFlocq_Core_Defs) = 98568f22f0f1a59f027e58e5df9792e9
• ocamlx(NFlocq_Core_Digits) = eb8348028e8c89ad24bfd9dd6d8e60e3
• ocamlx(NFlocq_Core_FIX) = 1801ee276a87985feead0544e5236627
• ocamlx(NFlocq_Core_FLT) = 3d7ae5c0ccaadb2c2f932c19e248fbf8
• ocamlx(NFlocq_Core_FLX) = b67a6e06e6da4411eeb418a657baf0e2
• ocamlx(NFlocq_Core_Generic_fmt) = 39d8b8dd73998543157621ac341952cd
• ocamlx(NFlocq_Core_Raux) = 46c2091c7586b4b13d0f9cfb48e66549
• ocamlx(NFlocq_Core_Zaux) = 54b26278f618199cadf17432f3b28b23
• ocamlx(NGappa_Gappa_decimal) = ac74e987c40abd108bcd5ba1dc4ec1d7
• ocamlx(NGappa_Gappa_definitions) = 323f455c1f4878cb8ac773e1b35c31c7
• ocamlx(NGappa_Gappa_dyadic) = 23eef2256026bc6df04c316e79a7bf8e
• ocamlx(NGappa_Gappa_pred_bnd) = b38034ad9a3d0f191d231e46cb00053c
• ocamlx(NGappa_Gappa_round) = 1ff440af375e6e785d274bcb914b76d9
• ocamlx(NGappa_Gappa_round_aux) = dca301555161d15eee621c4c63121f9d
• ocamlx(NGappa_Gappa_round_def) = cfa011abf877beaad23f9ea7fe848cd3
• ocamlx(NGappa_Gappa_tree) = 5b36ce6650bbdcb22ebc1471576d344d
• ocamlx(Nativecode) = 5a7e0e94055b1546ca43d838d54c067d
• ocamlx(Nativevalues) = dbcd9cbff7a6549a641c25e4afb7c276
• 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

* Wed Oct 18 2023 Jerry James <loganjerry@gmail.com> - 1.5.3-2
  - Rebuild for coq 8.17.1
* Sat Apr 01 2023 Jerry James <loganjerry@gmail.com> - 1.5.3-1
  - Version 1.5.3
* Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 1.5.2-7
  - Rebuild OCaml packages for F38
* Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.5.2-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 1.5.2-5
  - Rebuild for coq 8.16.1
* 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

Files

/usr/lib/.build-id
/usr/lib/.build-id/02
/usr/lib/.build-id/02/ee1747750199833a19be0a05bd48cbefbaa298
/usr/lib/.build-id/1e
/usr/lib/.build-id/1e/6fc540ff8d3d62a1f7e5a52adf901cc63c0fdf
/usr/lib/.build-id/1f
/usr/lib/.build-id/1f/9ca80c20c523c649d2c22e59b44896fc5c0384
/usr/lib/.build-id/22
/usr/lib/.build-id/22/90afdaea1407b3f0eacb6fe1b43991bc40f2e2
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/26e108136a04f58a0f87a0ad7cb971d70bbfe3
/usr/lib/.build-id/49
/usr/lib/.build-id/49/cbf03e8dce42edd2c6d78bd2b579f42e5de704
/usr/lib/.build-id/4e
/usr/lib/.build-id/4e/62cab3cdea19b3fbea280f9a8ca6b870a4e5b1
/usr/lib/.build-id/58
/usr/lib/.build-id/58/b64a618cefc09cd7c2e6eb9f651810f74e8f1c
/usr/lib/.build-id/5a
/usr/lib/.build-id/5a/3a78b86902601a7e45d96f6d90edaa2b511a31
/usr/lib/.build-id/5a/a27920574461dc08c2563e8a02a788eb9a0fb7
/usr/lib/.build-id/6c
/usr/lib/.build-id/6c/1ce447b7c1dc4afb069da166130326458e03cd
/usr/lib/.build-id/8c
/usr/lib/.build-id/8c/de602c8e912233dfd8890d0cd61a3fb1a60aec
/usr/lib/.build-id/95
/usr/lib/.build-id/95/e0182d14b5602fb857ff050c68b067f88917b8
/usr/lib/.build-id/9c
/usr/lib/.build-id/9c/030ea622102caa71988520023f696745c1a3af
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/7dbfc34c63ac1b0b4b5874af7e8d2db6252219
/usr/lib/.build-id/a2
/usr/lib/.build-id/a2/58193983761ca22fd7a9c013f2d7e5825763dc
/usr/lib/.build-id/c1
/usr/lib/.build-id/c1/43afdb7f4f7bdb4134b2696da9ab6394ef1c75
/usr/lib/.build-id/d3
/usr/lib/.build-id/d3/5145ba840394fc3cb1b4ab7fcf4b97151bcecd
/usr/lib/.build-id/d4
/usr/lib/.build-id/d4/20dd7d774af802b0472606f35752da29b5250f
/usr/lib/.build-id/e0
/usr/lib/.build-id/e0/b0243e3d9322bdcb8f0a66be44c5aadf13d9d5
/usr/lib/.build-id/e7
/usr/lib/.build-id/e7/29a31327298aad7fc86ea55e4570efc4fe00af
/usr/lib/.build-id/e9
/usr/lib/.build-id/e9/54d71ecccda5f4ca373ea918534120ef8379a1
/usr/lib/.build-id/ff
/usr/lib/.build-id/ff/65b492739b4d594a0717e4c75f38581199f72b
/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, Wed May 22 01:42:51 2024