معرفی شرکت ها

gappalib-coq-1.5.2-7.fc38.x86_64.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

Coq support library for gappa
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything x86_64
نام بسته gappalib-coq
نام فایل بسته gappalib-coq-1.5.2-7.fc38.x86_64.rpm
نسخه بسته 1.5.2
انتشار بسته 7.fc38
معماری بسته x86_64
نگهدارنده -
تاریخ ساخت Tue 24 Jan 2023 09
هاست سازنده buildvm-x86-16.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی https://gitlab.inria.fr/gappa/coq
مجوز LGPL-3.0-or-later
حجم دانلود 2.0M
حجم نصب 11.873M
This support library provides vernacular files so that the certificates Gappa generates can be imported by the Coq proof assistant. It also provides a "gappa" tactic that calls Gappa on the current Coq goal. Gappa (Génération Automatique de Preuves de Propriétés Arithmétiques -- automatic proof generation of arithmetic properties) is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic.


جایگزین ها

بسته نسخه معماری مخزن
gappalib-coq-1.5.2-7.fc38.aarch64.rpm 1.5.2 aarch64 Fedora Everything
gappalib-coq-1.5.2-7.fc38.src.rpm 1.5.2 x86_64 Fedora Everything
gappalib-coq-1.5.3-2.fc38.aarch64.rpm 1.5.3 aarch64 Fedora Everything
gappalib-coq-1.5.3-2.fc38.src.rpm 1.5.3 x86_64 Fedora Everything
gappalib-coq-1.5.3-2.fc38.x86_64.rpm 1.5.3 x86_64 Fedora Everything
gappalib-coq-debuginfo-1.5.2-7.fc38.aarch64.rpm 1.5.2 aarch64 Fedora Everything
gappalib-coq-debuginfo-1.5.2-7.fc38.x86_64.rpm 1.5.2 x86_64 Fedora Everything
gappalib-coq-debuginfo-1.5.3-2.fc38.aarch64.rpm 1.5.3 aarch64 Fedora Everything
gappalib-coq-debuginfo-1.5.3-2.fc38.x86_64.rpm 1.5.3 x86_64 Fedora Everything
gappalib-coq-debugsource-1.5.2-7.fc38.aarch64.rpm 1.5.2 aarch64 Fedora Everything
gappalib-coq-debugsource-1.5.2-7.fc38.x86_64.rpm 1.5.2 x86_64 Fedora Everything
gappalib-coq-debugsource-1.5.3-2.fc38.aarch64.rpm 1.5.3 aarch64 Fedora Everything
gappalib-coq-debugsource-1.5.3-2.fc38.x86_64.rpm 1.5.3 x86_64 Fedora Everything
gappalib-coq-source-1.5.2-7.fc38.aarch64.rpm 1.5.2 aarch64 Fedora Everything
gappalib-coq-source-1.5.2-7.fc38.x86_64.rpm 1.5.2 x86_64 Fedora Everything
gappalib-coq-source-1.5.3-2.fc38.aarch64.rpm 1.5.3 aarch64 Fedora Everything
gappalib-coq-source-1.5.3-2.fc38.x86_64.rpm 1.5.3 x86_64 Fedora Everything


نیازمندی

مقدار نام
= 8.16.1 coq(x86-64)
- flocq
- gappa
= 00edc3e526b6239e9ad4c9319eaaabd5 ocaml(AcyclicGraph)
= 9c8311d65744ff7d706db174690b46c8 ocaml(Attributes)
= f98827dcd70d54140f3afa5af18218b1 ocaml(Big_int_Z)
= 3bf67d1381824155797389de8a32d728 ocaml(CArray)
= b49a9e05558d074ce2420f1481d80d8a ocaml(CAst)
= f4378b7e6756e2d51e034a1fb622833a ocaml(CClosure)
= a0c286baa9a2b79d6bec187ce25083a3 ocaml(CDebug)
= 7a5613ac8c99a7839b27f0eb26c409cc ocaml(CEphemeron)
= f3bfdbcb718358cbbdf7269ef0ccc70a ocaml(CErrors)
= a742212da585b925999bb1e9c57f8886 ocaml(CList)
= cbcf10800400dde7f75cbc0cc6a0a739 ocaml(CMap)
= 98ddda2b8661651d0ac1c4d2f3adc78a ocaml(CPrimitives)
= 10548a97a94e3c63dea0f824f53da608 ocaml(CSet)
= 93d511bb9f97d6117a9dba3706ab0743 ocaml(CSig)
= f53fe8692b6d16ecf125c5433c67ee1d ocaml(CString)
= 59f179ae315fc18388551aa9972e0dfc ocaml(CUnix)
= 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalFormatBasics)
= 5365fec4a58da3e2d8fa2186f77d9be4 ocaml(CamlinternalLazy)
= 130ca2c374c3c95f2be07233a9fcfe6e ocaml(Coercionops)
= 9ca352bce78df900bce25f5e83b3e3ec ocaml(Constr)
= 0a1d3ceef956f29cc7dc137ca11d7f87 ocaml(Constrexpr)
= 97b95cdbaec7eb2886396200fc429e6d ocaml(Constrintern)
= 233f361cbf25095b743d2afa636ee001 ocaml(Context)
= a9dd31ebef4b0f31606274cf6690f783 ocaml(Conv_oracle)
= c511194cd3d1c75d0ec51fe57d5c4b93 ocaml(Cooking)
= 2c95a5e907cb1568e1a7c1a9d070b1aa ocaml(Coqlib)
= dad4dc5e90d3a1f173b8fa9529571329 ocaml(DAst)
= af077788df86ae3c100cb12d0e433100 ocaml(Declarations)
= 50515d5655d9fdf56b819fa36790df68 ocaml(Declare)
= feae46dd7f816faac5d3a1d9b6695f56 ocaml(Declaremods)
= 703781821a9f6fa92a858580f939bd9e ocaml(Decls)
= cdadd928d3039e3d0b75f34481e7c04c ocaml(Deprecation)
= 20e9106c0a8efd454cf20e46cba32b6c ocaml(Dumpglob)
= fa3daa324553247018623840358472b5 ocaml(Dyn)
= aec1ab28ede64377d193d2fc15de5e09 ocaml(EConstr)
= 72a73ac1bcf2406fcb0568e0723e2452 ocaml(Entries)
= 81958cbbb97b08eb74f21205ecbe734b ocaml(Environ)
= 7a649f9b216dad739e837c87f77a3af8 ocaml(Equality)
= 746f3c41caf469b8602bbc0673a9de61 ocaml(Esubst)
= 156cdf64bb05c4ab0c4051f998dfab52 ocaml(Evar)
= eb698fadadd600269e0ee8549be9900b ocaml(Evar_kinds)
= fe8ca9cf716175388b4409c03e17658c ocaml(Evardefine)
= 3428df78067bc43360db82565604d135 ocaml(Evarsolve)
= e498f9d920d45be1f78891569f3d02e5 ocaml(Evarutil)
= 7801c47db8f2d9004d9cee2602a72d51 ocaml(Evd)
= 766d613c58c5e25783f49ff1e5b36922 ocaml(Exninfo)
= 8f3d3aee03298d6f7ff2c8b208ad0498 ocaml(Extend)
= 712fa5d21be885f62f4afb0c1b2e620e ocaml(Float64)
= 235bc69fea943bef8593f9b00b9d5d50 ocaml(Ftactic)
= 4b0363951dc2308b41080b1959cbd2f8 ocaml(Future)
= 780092994952b6af4488c174bbc204bc ocaml(Genarg)
= f9c42c5b2c5681eaf7e0e49808e93ddd ocaml(Genintern)
= 3425ad20575082d95c850c333be60921 ocaml(Geninterp)
= 092559a8daae9547da5b338d63d62f84 ocaml(Genprint)
= 626bb52775c1748e2c3bffbc6b812083 ocaml(Genredexpr)
= d745ee6d77006ea2b750c1b41da66134 ocaml(GlobEnv)
= 4533a1278fddf471cfcbda9e5b5232db ocaml(Glob_term)
= 42f2e82accd666c47e4f9963a75f6ea7 ocaml(Global)
= 0cde525ff2938a030d830223839482ec ocaml(Globnames)
= 6c36abc34e3c0219300bf334533445bf ocaml(Goal)
= 5303e7040d3cbac08b6a3602be100ecd ocaml(Goal_select)
= 532e5d7e6f0744645df21a2de260a413 ocaml(Goptions)
= c4cb68462c40a1ed4d57b1221c3328b8 ocaml(Gramlib)
= cceadee5ba8287671304df971ae88da1 ocaml(Gramlib__Gramext)
= 5f1a768cb2e6988d339c385f733c0143 ocaml(Gramlib__Grammar)
= b8133aac91b79d4ad41ed01ab52880da ocaml(Gramlib__Plexing)
= 04171b8e413a80692dcbea1031ff4542 ocaml(Hashcons)
= b5af2da2ba0f0aa4ffcd46fea97b6074 ocaml(Hashset)
= 3a9a0ec6a732148db08f2b90c9dbe88e ocaml(Hints)
= afc10af2a433f78a0df71272ef5bb0eb ocaml(Hook)
= df2b410f42f3aba42107bfd927a4c601 ocaml(Impargs)
= 4c7455db4b1d8ad88f5f4c8bf6402af2 ocaml(Ind_tables)
= c638a3a3a3350b9a3cd3aecfc1548b44 ocaml(Int)
= 87df5e4766260236b23c453288e9777d ocaml(Inv)
= f9950e89686bd059defd6cda6a25c5d3 ocaml(LStream)
= 64a196b7833437ec6921775c5de57961 ocaml(Lib)
= 7e72e6b9f7e5a2d16c610b7149eb377c ocaml(Libnames)
= 33613ae7ae8a9f294163246e5c7d4133 ocaml(Libobject)
= de5fd01aaa49ae97f2332d9b30807adc ocaml(Loc)
= b91e1cdf8560a02599ec3b484a0faa53 ocaml(Locality)
= 538f0877836f01a1775f356c6266d0ec ocaml(Locus)
= 13c4bebf9827283a2773b474406ee42b ocaml(Logic)
= ad1c2d56a37c94474486c95b0b560584 ocaml(Logic_monad)
= bb15dbe4f28c600db9de476703ea1b94 ocaml(Ltac_plugin)
= 107f9608b253eb0c2c03dd51a5c31ebd ocaml(Ltac_plugin__Pptactic)
= d79565bb0bdf241fe57ffff29b9f05b5 ocaml(Ltac_plugin__Tacentries)
= db03a7b8c07c50868303ed8334ed82e0 ocaml(Ltac_plugin__Tacexpr)
= 1a5459876be0aa010ebe6bdd23c6fd37 ocaml(Ltac_pretype)
= 47a92a3248e359a421627ee6c43007a1 ocaml(Metasyntax)
= 04b802c6f617661d63eb8adfe76b0100 ocaml(Mltop)
= b56a185b9f7bb6f0f0f519c06bf981db ocaml(Mod_subst)
= 665dc43189395fc9dd11ae2ce199a30c ocaml(Monad)
= 3922c4f429b4350bba2dd2dab23b5b5a ocaml(NCoq_Arith_PeanoNat)
= 0804aef187ec6ef5a4c6bc88c0a4973b ocaml(NCoq_Bool_Bool)
= d2613c6f687e37311723c347656b1afa ocaml(NCoq_Bool_Sumbool)
= 6b266a73e315469f08ebc542bf8746e8 ocaml(NCoq_Classes_Morphisms)
= c52138961674f9ee5fab86bc21830c4a ocaml(NCoq_Classes_Morphisms_Prop)
= 03470792223f41943cca775a8537bcad ocaml(NCoq_Classes_RelationClasses)
= 9a5e5f319332f1aab08117fc52822560 ocaml(NCoq_Floats_FloatClass)
= 18edf3f67606ec5d149da16e9c2c1dcc ocaml(NCoq_Floats_SpecFloat)
= 7dff06490587ae72d8c480e28d0792c8 ocaml(NCoq_Init_Datatypes)
= 0091886e0df87b48c1b71a630733d322 ocaml(NCoq_Init_Decimal)
= 48f69a780f3ab731bfd5fd9892b611dc ocaml(NCoq_Init_Hexadecimal)
= 8d49d9267163e6178eb2130b0afa5363 ocaml(NCoq_Init_Logic)
= ba503b0fd72b1b323ac75b26585630aa ocaml(NCoq_Init_Nat)
= cd525699ffce1c8a6f907027bb87d10f ocaml(NCoq_Init_Number)
= 67f231ba5cf8725357b5682f1d4ed41b ocaml(NCoq_Init_Peano)
= 6ee28c2862fc7fd46a5168a9f874140a ocaml(NCoq_Init_Specif)
= 5bca515f37535f096c090facf9f2ee7b ocaml(NCoq_Init_Wf)
= f0f59ccc11cabe932e06f5bc97cf054c ocaml(NCoq_Lists_List)
= d014d8a7617cce07faeac7a778ef66c6 ocaml(NCoq_NArith_BinNat)
= f68e6acf6ffb202993bf722adf5f5260 ocaml(NCoq_Numbers_BinNums)
= 567a8354cd285d3669d47d582c454eca ocaml(NCoq_PArith_BinPos)
= 819299f98ae3fdc97e4a9a2c9609ffae ocaml(NCoq_Program_Basics)
= e89b31eaa6e00a18da0fbd5d08938402 ocaml(NCoq_QArith_QArith_base)
= 4a3dc52bf2666912d7d251574a7b8367 ocaml(NCoq_QArith_Qabs)
= 648dbc98464b2098597c04a9e931ceff ocaml(NCoq_QArith_Qreduction)
= 3bc9cae9c5f4257f9935585d0566e119 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals)
= d0cfbe899abd4907c1c20c02ebd67b98 ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult)
= 416b35c7119a55b95616d5ab474212b9 ocaml(NCoq_Reals_Cauchy_QExtra)
= e17d1e4cd82578c36d0c8b465e5d0fcc ocaml(NCoq_Reals_RIneq)
= 0ef21d135ce5620dcdffd8943721e056 ocaml(NCoq_Reals_R_sqrt)
= 8717e5ba29c58e18675aa9d4441687b9 ocaml(NCoq_Reals_Raxioms)
= d7937acd1fa489b5786486500a1c33c7 ocaml(NCoq_Reals_Rbasic_fun)
= f36e6fdcfa9a0e339578e20a9f5db7d3 ocaml(NCoq_Reals_Rdefinitions)
= bee964dae118e2f605da619804d4e408 ocaml(NCoq_Reals_Rfunctions)
= 08d14df826ae8289b86b0107fb9c36d6 ocaml(NCoq_Reals_Rpow_def)
= f42bf05072ae26906298ececd08c0f21 ocaml(NCoq_Reals_Rsqrt_def)
= 50d48e86dd918045ba6710f690346c4e ocaml(NCoq_Relations_Relation_Definitions)
= ff4a727e569d978538a179c8c6991898 ocaml(NCoq_Setoids_Setoid)
= e653cee5a401486b918c1d13e4ee646c ocaml(NCoq_Structures_OrdersTac)
= 75a2ff407fbbc12c0021cf14b6cb0f4a ocaml(NCoq_ZArith_BinInt)
= 127ab251d986c70c3d6131d06396afd8 ocaml(NCoq_ZArith_ZArith_dec)
= 3c79cf9f91dd9622e786c53f032964e0 ocaml(NCoq_ZArith_Zbool)
= 62d38b4a4e33dc0f927bb81a7f738a3e ocaml(NCoq_ZArith_Zeven)
= e6a528fc72a76ccc4ceb24d48ae0dfd1 ocaml(NCoq_ZArith_Znat)
= 2404fff785da3403be59e3b5070915a7 ocaml(NCoq_ZArith_Zpower)
= 2af322c2b741c327817e63b894d38e93 ocaml(NCoq_setoid_ring_BinList)
= 6e1e033f24ffed24e144125234ebd9d3 ocaml(NCoq_setoid_ring_Field_theory)
= f82809523aade7f5fc49d026b5a3fc39 ocaml(NCoq_setoid_ring_Ring_polynom)
= 6b85b253533d9c96b7b96cbbf6e15a26 ocaml(NCoq_setoid_ring_Ring_theory)
= e0214f692ecd93d4c63ec81c9a68b962 ocaml(NFlocq_Calc_Bracket)
= 08cd9b47bf7c432525e394f63175cafe ocaml(NFlocq_Core_Defs)
= 3e3ce226aa583a7f62c6933c79a9587d ocaml(NFlocq_Core_Digits)
= 67d75cf34e0a21bb4933d4ede0c59ebd ocaml(NFlocq_Core_FIX)
= 8cdb39a38fe4b22eb6dfd1f6cc35ec2e ocaml(NFlocq_Core_FLT)
= 9c1a23b9ba23e210b16128375943f9d5 ocaml(NFlocq_Core_FLX)
= 2410b3af617d927dd58d0b601b84c8bc ocaml(NFlocq_Core_Generic_fmt)
= 34b3cbbefcc8082bfc2aa9bd75cb8316 ocaml(NFlocq_Core_Raux)
= 1331b523bdf9decaac86604d1dd39bbf ocaml(NFlocq_Core_Zaux)
= 9deed98b3f36953cde4bae905d98fa8b ocaml(NGappa_Gappa_decimal)
= fdd64b578bb87a43902170e029c5c957 ocaml(NGappa_Gappa_definitions)
= 9482d6427d4f60013106255cc4c9d8c6 ocaml(NGappa_Gappa_dyadic)
= 92172be3fae603ca097f4605f05c7a94 ocaml(NGappa_Gappa_pred_bnd)
= bad108b76a6afa725c600231367515e8 ocaml(NGappa_Gappa_round)
= e0d33032627290a7a8c2c477ca269b1f ocaml(NGappa_Gappa_round_aux)
= e486e380f58b0efdff6de031e4378ca3 ocaml(NGappa_Gappa_round_def)
= a7322d39af53db523ae2fbdef0771c35 ocaml(NGappa_Gappa_tree)
= 0a8addd4f715e43f63deeddff67666bc ocaml(Namegen)
= 0b6c349e44c595f40356f60ca49fa766 ocaml(Names)
= 939eb1b5d6f3dab8fc7aa53d76f8cd46 ocaml(Nametab)
= 02dbeca2f7bfac8ee80f221d7d1bcb8a ocaml(Nativecode)
= 60d8b9f9f4561c30226973b77f29c919 ocaml(Nativeconv)
= 219578857e7b319faa4d145a4fa5ff68 ocaml(Nativelambda)
= 7b23ee7251439aa612f59354c020ea67 ocaml(Nativelib)
= 151356e5f71c48ba131e257d7b5d6b0e ocaml(Nativevalues)
= 8c16d763a4d226fa85aaed7a7a776bf3 ocaml(NeList)
= 6687290488ca913493273e35ec9140c4 ocaml(Notation)
= ba7e10bd6c980ba842674b92c4fd32b8 ocaml(Notation_term)
= 919d150c66ab68cf4c64598cc40be9c3 ocaml(NumTok)
= b1745fe14cd37c212d34eea094f1b8df ocaml(Opaqueproof)
= 3587b91abccbee918d16a0ecc7071866 ocaml(Parray)
= bf0feb2b99812624585018290a94c3e7 ocaml(Pattern)
= 30a4ee789831680c39f99302f3402899 ocaml(Pcoq)
= b42c7d685f7cf8e56cb9e5cb72b082aa ocaml(Pp)
= e10f527c1e68b4fcf4187c345bdd22e5 ocaml(Predicate)
= 4f0e6bee2956221e0d19c7a4d6232f5b ocaml(Pretype_errors)
= a6903cb3010cce9b1b538151878854dc ocaml(Pretyping)
= 97ca1d481f50c1c9701babd2fd24fa01 ocaml(Primred)
= 1508d255db0d0f15754cef32e692257a ocaml(Printer)
= e0acf16fbe54fc07c8509cc29dd691af ocaml(Proof)
= 63ceb96c0edba9cad504d0db9cf381d8 ocaml(Proof_bullet)
= 0e6b867bb35f79d409de49d232158d61 ocaml(Proof_using)
= 3d6152dfc2a51be0829e6bb46552105f ocaml(Proofview)
= 7f12467494a6d7b1e7a1ad7c434aea2d ocaml(Proofview_monad)
= 346d147227354e938de6b932d04d6b3d ocaml(Range)
= 358ce56fbaf02036c310a0dc80dceee1 ocaml(Redexpr)
= 3523f631320a31383fd961d753a8e437 ocaml(Reduction)
= 589f659dcd35d95083d18864277f803b ocaml(Reductionops)
= 25482df7bf0c95ee7a7420fdc7b077ff ocaml(RetrieveObl)
= 921f47b24ba103d9c6a00670a3a8a6c8 ocaml(Retroknowledge)
= 3aeff8b2ebba7f5453fc613375ce0644 ocaml(Rtree)
= 2cfd62ffab10a60ce3b0d9eae3e38881 ocaml(Safe_typing)
= 68f3c3d655a9890cf3b21f6b34e3160c ocaml(Section)
= e73c70ce289f5c49f0cf7f5a0ceeefc2 ocaml(Sorts)
= 2716c53d22d49b3691aabd4d9372d505 ocaml(Stateid)
= 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib)
= 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Array)
= 994a14f10d5ae081663b52b790ee11d3 ocaml(Stdlib__Bigarray)
= 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Buffer)
= 3d02c33317c0108c61e7a5eefa37519a ocaml(Stdlib__Bytes)
= 4555217c759e89d65daa8f682eb09b35 ocaml(Stdlib__Complex)
= 61f6495d3274a42a78a63425ef892290 ocaml(Stdlib__Digest)
= 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Either)
= 3bcff250dd30a0e620fa7546882aaadf ocaml(Stdlib__Filename)
= b6edb97b685819e873481fe05723c8bc ocaml(Stdlib__Format)
= 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Hashtbl)
= a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int32)
= 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__Int64)
= 01430d340c028322c7247031a874e355 ocaml(Stdlib__Lazy)
= ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__List)
= 978f82916b5a172c11d2b72719d85680 ocaml(Stdlib__Map)
= 25794d29f7f4018768ea900e331a2bf3 ocaml(Stdlib__Obj)
= b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Seq)
= 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__Set)
= 510a78f010f6c530a911189d7538d002 ocaml(Stdlib__Stream)
= 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__String)
= 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Sys)
= c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Uchar)
= 918c3a10b0813c8232cd62d2f408caad ocaml(Store)
= c563d6bd180e6b78f0f0ca461607f4bd ocaml(Summary)
= f589b85b22b5f00627cf4d9f6681e407 ocaml(Tacmach)
= 1bcf5d6b2d87bb2d7696492a83cd30ea ocaml(Tacred)
= 87cde9a3ed05f21524a5e0190cfd0bb7 ocaml(Tacticals)
= 34eb6eacaec827fb614cac476b2bafa9 ocaml(Tactics)
= b9e19e5a5f9b5b90dd92fc062230a5cb ocaml(Tactypes)
= c1500a859572f47c5adeb740fbcebf6b ocaml(Term)
= d7f575ffa78825bb266417e4b337bcdb ocaml(Tok)
= 1dab58426370af71f458b92a6fb5ef06 ocaml(TransparentState)
= 0c0828c2a9ff92cc716465e0013a0769 ocaml(Type_errors)
= c82cf14a959ab2a132030ef8b5b5bb4c ocaml(Typeclasses)
= bd28bddd5c33ca5c1a5f9f43f907e5da ocaml(UGraph)
= 3ec987d0c982616ff943f71f05e2c111 ocaml(UState)
= 5150bcb618feddc1f891db28ba2fa04b ocaml(Uint63)
= bb08182b91ec85ec72551ce13bfed01f ocaml(Unification)
= 6feb5ec642e4daf30a0944e888214cea ocaml(Univ)
= c08393c720001d4601ab69c764edae38 ocaml(UnivGen)
= 9f0af4e2cd7c9a6a04f181684ebd75df ocaml(UnivNames)
= 0bf19edcf4c9ada1dd5cdb51d579b1fc ocaml(UnivProblem)
= 2c793a58009dea74a325c5082597d844 ocaml(UnivSubst)
= 84bb8ec8ae50f70acba86f5b72088b1c ocaml(Unix)
= 46a1f0249bfbf29202e10de25200d4ea ocaml(Util)
= 73a674179608a349a8f3d001ee037f1d ocaml(Vars)
= 31bf27dcb0e938a20d1797f40b7144ae ocaml(Vernacexpr)
= b507ea2d1a0f49d7fb3939c2f335eebe ocaml(Vernacextend)
= 88733f1084158f9273bb318495213675 ocaml(Vmbytecodes)
= 2ee3a68ca9992bc9e1f6aeb9e6e33af6 ocaml(Vmemitcodes)
= 6cfd8f0d13168b127ebed3d4375b15c3 ocaml(Vmvalues)
= a71ac4a535434978287848841376388e ocaml(Z)
= 0573444d7d158417dbd5f4f46081e73b ocamlx(CamlinternalLazy)
= 1d6265a0f1fddbe033396020738d33f7 ocamlx(NCoq_Floats_SpecFloat)
= 48bef1774c24de06f4788df1cc458a22 ocamlx(NCoq_Init_Datatypes)
= 0f42f274405f8931bcd744b7479f9d9d ocamlx(NCoq_Init_Logic)
= 3b73ff2cf90a49f6a96088e51cab2ae6 ocamlx(NCoq_Init_Specif)
= 1df58dc8f3254487ae4b572d841cab42 ocamlx(NCoq_Lists_List)
= 7ba4416a677d16f71f4a1f8a524e4bac ocamlx(NCoq_NArith_BinNat)
= 8add6981da76a4e4049478832940e033 ocamlx(NCoq_Numbers_BinNums)
= 3128d0965efc9c3922a2768691979019 ocamlx(NCoq_PArith_BinPos)
= 5c48034ee4ffa23c88a0ab73e8468e47 ocamlx(NCoq_Reals_R_sqrt)
= 82b1fbaea58e389fb323156e10c1daa7 ocamlx(NCoq_Reals_Raxioms)
= b5bacab41ebee12e582641208b3804c2 ocamlx(NCoq_Reals_Rbasic_fun)
= 6250c86ce1ae948d89e2d38750933a81 ocamlx(NCoq_Reals_Rdefinitions)
= c40c84e1b8310839b0ec2594aefb4af0 ocamlx(NCoq_Reals_Rfunctions)
= beb16bfad8352a59c2e71b3805cd02ee ocamlx(NCoq_ZArith_BinInt)
= b987e292cf3ccb13995721ccf9216174 ocamlx(NCoq_ZArith_Zbool)
= a07754735f4ae25357c27b5f311f1e95 ocamlx(NCoq_ZArith_Zpower)
= 621c60c5d068e3da88ecd7229e098d29 ocamlx(NCoq_setoid_ring_Field_theory)
= 9f1988d3ee097b94fc84ad794e5087c7 ocamlx(NFlocq_Calc_Bracket)
= bafb01d40c4dfb7df787bab4600cbe19 ocamlx(NFlocq_Core_Defs)
= 0fb36203312e0ed58e653fa4d645c560 ocamlx(NFlocq_Core_Digits)
= 25f96a7dafabc09e1586d4996effb907 ocamlx(NFlocq_Core_FIX)
= e55966b1ac2036934dfe903c02e1f3e5 ocamlx(NFlocq_Core_FLT)
= fa42be9b1d37e6ab2d5c067d3d97d12e ocamlx(NFlocq_Core_FLX)
= 5657720b0273057c4294f761ae27d935 ocamlx(NFlocq_Core_Generic_fmt)
= 7f8798a9ca1480885baa246d5781a16f ocamlx(NFlocq_Core_Raux)
= 3c75459b8113c42b755ef00165c5efe3 ocamlx(NFlocq_Core_Zaux)
= e27b365ea4e234d280c22ac31db9f6f0 ocamlx(NGappa_Gappa_decimal)
= 00c00438850b59ae4dc0c00cd203a6a4 ocamlx(NGappa_Gappa_definitions)
= 9f5733dd20602a0dab7b3b68f1e9aaee ocamlx(NGappa_Gappa_dyadic)
= 46069c2f3d944af4a4c676ea5451f5e1 ocamlx(NGappa_Gappa_pred_bnd)
= 83ea2304a877914623594d71425b1b5e ocamlx(NGappa_Gappa_round)
= 0a5019714e43cce940a783a364b9c057 ocamlx(NGappa_Gappa_round_aux)
= b1d23c5e6ed9ac6bb0f1cc4eb74153f1 ocamlx(NGappa_Gappa_round_def)
= a70385dc85f0c0a62b1b66d41a17dec5 ocamlx(NGappa_Gappa_tree)
= 378132e12cd0ddc62cbb443b2537e37f ocamlx(Nativecode)
= b733ab24883fab6226ad7bb0280e587b ocamlx(Nativevalues)
- rtld(GNU_HASH)


ارائه دهنده

مقدار نام
= 1.5.2-7.fc38 gappalib-coq
= 1.5.2-7.fc38 gappalib-coq(x86-64)
= ef63300960a211767b092853a8770877 ocaml(Gappatac)
= 4bfca4a6bd6ee8d3d208d88863bb2b30 ocaml(NGappa_Gappa_common)
= 9deed98b3f36953cde4bae905d98fa8b ocaml(NGappa_Gappa_decimal)
= fdd64b578bb87a43902170e029c5c957 ocaml(NGappa_Gappa_definitions)
= 9482d6427d4f60013106255cc4c9d8c6 ocaml(NGappa_Gappa_dyadic)
= 2a0037f5fa324cda4f440bcba576494a ocaml(NGappa_Gappa_fixed)
= d33826930b76e58cdd53ac1c3ce538e0 ocaml(NGappa_Gappa_float)
= fc59aec40877d261e067a2bbd6f14ae3 ocaml(NGappa_Gappa_library)
= a813c5ba6be1bfdb891a0bc080de213d ocaml(NGappa_Gappa_obfuscate)
= 66a20b9a68c1ea4fa2fc7375d02e0890 ocaml(NGappa_Gappa_pred_abs)
= 92172be3fae603ca097f4605f05c7a94 ocaml(NGappa_Gappa_pred_bnd)
= 75f9d1801feadfa48d16e42d0ec45c1d ocaml(NGappa_Gappa_pred_fixflt)
= b86e4f6c35ea2ccf3c69a4f7ee5e4c4f ocaml(NGappa_Gappa_pred_nzr)
= 8a2d65ddfa05333c2bd9cc786727f060 ocaml(NGappa_Gappa_pred_rel)
= 39273e418fa5dd934523d9f9b6782460 ocaml(NGappa_Gappa_real)
= 552eb03f2b8963fc2a15a18d038eae8f ocaml(NGappa_Gappa_rewriting)
= bad108b76a6afa725c600231367515e8 ocaml(NGappa_Gappa_round)
= e0d33032627290a7a8c2c477ca269b1f ocaml(NGappa_Gappa_round_aux)
= e486e380f58b0efdff6de031e4378ca3 ocaml(NGappa_Gappa_round_def)
= 8df92fdac24353ba6a387a523a67d9b9 ocaml(NGappa_Gappa_tactic)
= 7e14e114a59eb387462dbfbcf763a449 ocaml(NGappa_Gappa_tactic_loader)
= a7322d39af53db523ae2fbdef0771c35 ocaml(NGappa_Gappa_tree)
= 046d042aec2c3fe0547fb2c4d0890f7b ocaml(NGappa_Gappa_user)
= 6c54a00446c7e8bed7b49e72ce4218c2 ocamlx(NGappa_Gappa_common)
= e27b365ea4e234d280c22ac31db9f6f0 ocamlx(NGappa_Gappa_decimal)
= 00c00438850b59ae4dc0c00cd203a6a4 ocamlx(NGappa_Gappa_definitions)
= 9f5733dd20602a0dab7b3b68f1e9aaee ocamlx(NGappa_Gappa_dyadic)
= 2488b968d4d1efb006871b195c5cd48f ocamlx(NGappa_Gappa_fixed)
= 62d61d1b321d9725f448ed3547707f42 ocamlx(NGappa_Gappa_float)
= 7c2ad37f04fcf8e1d6e83c8957f47adc ocamlx(NGappa_Gappa_library)
= fd3300151d345c0b62d0ac6758578be3 ocamlx(NGappa_Gappa_obfuscate)
= 52162db2cedd7faba512399315fefa4f ocamlx(NGappa_Gappa_pred_abs)
= 46069c2f3d944af4a4c676ea5451f5e1 ocamlx(NGappa_Gappa_pred_bnd)
= 6691dfeffdaa1f934f86e0a81f6b4564 ocamlx(NGappa_Gappa_pred_fixflt)
= a25f2c21a46f048d00bd423c5a2de8b5 ocamlx(NGappa_Gappa_pred_nzr)
= 4d703e4aeeb3cb2e7816ae4324d3648b ocamlx(NGappa_Gappa_pred_rel)
= ae43019abefd8bf3b3e75bec7b6e682f ocamlx(NGappa_Gappa_real)
= a09f8447a532ceecd4b6136b2a74728c ocamlx(NGappa_Gappa_rewriting)
= 83ea2304a877914623594d71425b1b5e ocamlx(NGappa_Gappa_round)
= 0a5019714e43cce940a783a364b9c057 ocamlx(NGappa_Gappa_round_aux)
= b1d23c5e6ed9ac6bb0f1cc4eb74153f1 ocamlx(NGappa_Gappa_round_def)
= a21dc35a6ad8526347cf9f90d3d28493 ocamlx(NGappa_Gappa_tactic)
= a14bcdf58ef5f21f8e11da3b804fd5ca ocamlx(NGappa_Gappa_tactic_loader)
= a70385dc85f0c0a62b1b66d41a17dec5 ocamlx(NGappa_Gappa_tree)
= b59f6a1f38df6e0a25a5dfd1bb74f7d0 ocamlx(NGappa_Gappa_user)


نحوه نصب


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

    dnf install gappalib-coq-1.5.2-7.fc38.x86_64.rpm


فایل ها

مسیرها
/usr/lib/.build-id
/usr/lib/.build-id/00
/usr/lib/.build-id/00/48c01d25e78e08b2af63d1714c43a598c0aa0c
/usr/lib/.build-id/0c
/usr/lib/.build-id/0c/3f4c4e13de947134d85e2492382ca1d54ba66a
/usr/lib/.build-id/14
/usr/lib/.build-id/14/9bee67c87b395593120b2641aba8df0e400fda
/usr/lib/.build-id/1d
/usr/lib/.build-id/1d/e30198ff3b9fbe77f7ddde82b63442dd58470f
/usr/lib/.build-id/30
/usr/lib/.build-id/30/b57c43623688ff03d11b659d55689fd6db66d1
/usr/lib/.build-id/4a
/usr/lib/.build-id/4a/2edbf3fae717dcbe5f1ab3a92b3bbe888092b1
/usr/lib/.build-id/4c
/usr/lib/.build-id/4c/02c9432c8a862bf21226063787a35d48e885d8
/usr/lib/.build-id/57
/usr/lib/.build-id/57/e2a50f18da8d9cdd9aab031e8b65f0dd44702d
/usr/lib/.build-id/59
/usr/lib/.build-id/59/09d9476cfb8167d60593028fe1ad8d2c482beb
/usr/lib/.build-id/69
/usr/lib/.build-id/69/d6dbbc8ca344d0346479b79af114cc7eb8eaef
/usr/lib/.build-id/70
/usr/lib/.build-id/70/84c96471e88afef11feb88c6a439046265909b
/usr/lib/.build-id/80
/usr/lib/.build-id/80/6360d1945b6f105b577279738030f1fcb64ec9
/usr/lib/.build-id/82
/usr/lib/.build-id/82/37ccd2c6b4d1b88ef93406270a6e1438531688
/usr/lib/.build-id/85
/usr/lib/.build-id/85/831631170a3e509d01f07869c4df5587c1ddfe
/usr/lib/.build-id/8c
/usr/lib/.build-id/8c/83b2f16826ed0944414bda5d3a2047133ce20d
/usr/lib/.build-id/9f
/usr/lib/.build-id/9f/b12cf90944cd74bf4bbd8ea8892c46b7eaa16e
/usr/lib/.build-id/a4
/usr/lib/.build-id/a4/2060b05bb9092fdfc760cd470e8841b86337a8
/usr/lib/.build-id/ad
/usr/lib/.build-id/ad/358c4ff8cd69df5e6b49530eb0c4b9747ee1fa
/usr/lib/.build-id/b0
/usr/lib/.build-id/b0/03dc059513d3977f98146ea820c697c26c3eb1
/usr/lib/.build-id/d7
/usr/lib/.build-id/d7/5c930aedce076d8aeff53bec429c160b08c71e
/usr/lib/.build-id/dd
/usr/lib/.build-id/dd/c21c9d3c0ae5023d77162616f119c913efa607
/usr/lib/.build-id/fa
/usr/lib/.build-id/fa/fe13df9d9bc050b3774d0348d375675cdef1a9
/usr/lib/.build-id/fe
/usr/lib/.build-id/fe/146bfa0a1f61913ac55e204973ec4cf81f4a3a
/usr/lib64/ocaml/coq-gappa
/usr/lib64/ocaml/coq-gappa/META
/usr/lib64/ocaml/coq-gappa/gappatac.cmo
... and 119 more


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

تاریخ آخرین تغییر جزئیات
2023-01-24

Rebuild OCaml packages for F38

2023-01-19

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

2022-11-26

Rebuild for coq 8.16.1

2022-09-16

Rebuild for coq 8.16.0

2022-08-18

Rebuild to fix coq dependency
Change license to LGPL-3.0-or-later

2022-07-21

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-07-20

Version 1.5.2

2022-07-19

Remove i686 support
Use new OCaml macros

2022-06-19

OCaml 4.14.0 rebuild

2022-03-25

Rebuild for coq 8.15.1

2022-02-28

Version 1.5.1

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-11-30

Rebuild for coq 8.14.1

2021-10-21

Version 1.5.0

2021-10-05

OCaml 4.13.1 build