معرفی شرکت ها
gappalib-coq-1.5.3-2.fc38.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | gappalib-coq |
| نام فایل بسته | gappalib-coq-1.5.3-2.fc38.aarch64.rpm |
| نسخه بسته | 1.5.3 |
| انتشار بسته | 2.fc38 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Wed 18 Oct 2023 07 |
| هاست سازنده | buildvm-a64-13.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://gitlab.inria.fr/gappa/coq |
| مجوز | LGPL-3.0-or-later |
| حجم دانلود | 2.1M |
| حجم نصب | 16.678M |
جایگزین ها
نیازمندی
| مقدار | نام |
|---|---|
| = 8.17.1 | coq(aarch-64) |
| - | flocq |
| - | gappa |
| = 6db97d4aba38e99b1ce79c13c9dc26ae | ocaml(AcyclicGraph) |
| = 5a60c0917b2c3a0fcb0df4e62de76fbb | ocaml(Attributes) |
| = f98827dcd70d54140f3afa5af18218b1 | ocaml(Big_int_Z) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = e6f0ae1977289571e268f9f4798f45af | ocaml(CAst) |
| = 0e858027f3915a9044ef4a568f65205d | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = 4e9a1cc39f535710b599ba92dc88682e | ocaml(CErrors) |
| = 963264b024cbb32e5211e7abb601d1fc | ocaml(CList) |
| = b5f62fbd6f9416f40b63b0dac2bac8a8 | ocaml(CMap) |
| = b572f5424b98ffcb8968be2d42112246 | ocaml(CPrimitives) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = 185a019f870874a8ff87e047f1d56006 | ocaml(CString) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
| = 5365fec4a58da3e2d8fa2186f77d9be4 | ocaml(CamlinternalLazy) |
| = e0b05e9870c9dd8bba9769fdb11d0c34 | ocaml(Coercionops) |
| = 670799fa78880c542c37d64b3baf38aa | ocaml(Constr) |
| = 89d8853310bab32ea1eb882a028a8445 | ocaml(Constrexpr) |
| = 2b5645f078e081a0478249562e9d5b05 | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = 2c425c1e71f2ea9e68941efc72edf46e | ocaml(Cooking) |
| = e0f7d6e588e70598542cd61ebd0f23fc | ocaml(Coqlib) |
| = 7d980c0cbe7bf12e0b87d6fae18f2cf6 | ocaml(DAst) |
| = aaa7cf86083c22fe0bdc650b9766d7f2 | ocaml(Declarations) |
| = ebadfec2550643d7dadaed20cd7bb4a6 | ocaml(Declare) |
| = fb16413a97e082b5ed9c79cca9f31f9b | ocaml(Declaremods) |
| = c143bdd1833d476947a9f81d767bdcf8 | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 25750de3f8d5627e05625fc8c96573f4 | ocaml(Dumpglob) |
| = a80a8fb9c90585019a5f7a92adf2e2fc | ocaml(Dyn) |
| = f7ccdac0e964cd5cdb24c34fd0de582a | ocaml(EConstr) |
| = 292cd81a23ad7e0507d10f00d83d1e9e | ocaml(Entries) |
| = 52e9defc7fd393e51d052bac59d8446f | ocaml(Environ) |
| = c937130ca9e4d168b06d9417c1869776 | ocaml(Equality) |
| = a96ceb099c2f1fb6d9584a61b57ee72b | ocaml(Esubst) |
| = 5410ca5e116902547a19a06b75d92579 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = 61b0a4dd1e82f8a77a24f23deaeb743f | ocaml(Evardefine) |
| = 24b8886508accd2291c7434f83a97011 | ocaml(Evarsolve) |
| = 6ed8a4aa0ace5ba3553e75261d2ce316 | ocaml(Evarutil) |
| = 6e9608a15e2e2562ca13abeeeca35a18 | ocaml(Evd) |
| = 1108fbdf2827b6d2494e3e4bca2b55f0 | ocaml(Exninfo) |
| = ea6908938502338d5a40473f55556d2b | ocaml(Extend) |
| = 919fb2eabc120f3c4e0129cfc56531e2 | ocaml(Float64) |
| = f78ee5f7e7021278250fefd3823b8995 | ocaml(Ftactic) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = dea1abeb892588a68048e5281bd50c3a | ocaml(Genintern) |
| = e53eabcc0f9e0074037775f5eded68b4 | ocaml(Geninterp) |
| = 56cbe0a8daebf59b513cd61e5af4c4a0 | ocaml(Genlambda) |
| = 083509d48354fa981b03ded6f7e5574c | ocaml(Genprint) |
| = f53a74c218a59a60651f05f62ac89d06 | ocaml(Genredexpr) |
| = 7ebd778657dc4ce1640ce3c2b6e09795 | ocaml(GlobEnv) |
| = 5ef7569a2107526d8939df2edc1719f2 | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 7d19dd4e674067766e7badd2397d3479 | ocaml(Globnames) |
| = 4436d8e1f64e5b9232522bd9da57ae36 | ocaml(Goal_select) |
| = 14f9f251574a55f813b1b9c6aa56c246 | ocaml(Goptions) |
| = 8e1c211ef61e4e62fd295ca9771f63ec | ocaml(Gramlib) |
| = 2e57141ce4d24fd67956a8faad609320 | ocaml(Gramlib__Gramext) |
| = 09d1e16ec99220015f9f182f7d8a3846 | ocaml(Gramlib__Grammar) |
| = b5de63fd5eb20f4c2d8ef0455825af32 | ocaml(Gramlib__LStream) |
| = 1f45f85d4f8fa0710a63bf260ce64dcd | ocaml(Gramlib__Plexing) |
| = 7e4f02849f98bf6703e0fdcdf678cd86 | ocaml(Gramlib__Stream) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = 4d33a7d04e4ea5be3282f2483d71168c | ocaml(Hints) |
| = 91f169611318aedc592bf024573af625 | ocaml(Hook) |
| = 59fdb83865f44cc6f25c60be55eedc38 | ocaml(Impargs) |
| = 5f1e45678e7aa4a39c04ab8e26e27c70 | ocaml(Ind_tables) |
| = 5d7dae0fd8a18e8d5aa73a19ee3bbc40 | ocaml(Int) |
| = 51eadaf0cae064f29382e502af8bb869 | ocaml(Inv) |
| = 4d4e0019fb768523b194e87563e45c74 | ocaml(Lib) |
| = 02ee04741ecccd4a6a82dd66b8c3795d | ocaml(Libnames) |
| = 55fd7942a25933ad93fc7b288222b20f | ocaml(Libobject) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = 446b59cbb24530cc5dccfcb639525d3b | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = a982fb04f7d3d9a4a2c17f8fd2325491 | ocaml(Logic) |
| = 7568b85d2e5b3a8a6979dbdb1096e38c | ocaml(Logic_monad) |
| = 7f51264610d86febd55751ade481cb54 | ocaml(Ltac_plugin) |
| = 343a0e91e5570407d4d55f975c39f4ed | ocaml(Ltac_plugin__Pptactic) |
| = 0995c1927bdacf1c523aaaa675e82a07 | ocaml(Ltac_plugin__Tacentries) |
| = 57396f6e0de4dee925444431786b1957 | ocaml(Ltac_plugin__Tacexpr) |
| = 270e7aa2a02bec3eda99e4f427a351f7 | ocaml(Ltac_pretype) |
| = ef17ddb3edfa09035e930a283de5f7e5 | ocaml(Metasyntax) |
| = 18037b34393e18d572701dfee90ec3f7 | ocaml(Mltop) |
| = 883ff24157873ad45c0b936416e276f3 | ocaml(Mod_subst) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = 1d70648159fea896330b722effcda00c | ocaml(NCoq_Arith_PeanoNat) |
| = d5e3820210fece680272192a53606d50 | ocaml(NCoq_Bool_Bool) |
| = f3b2aadd3ec4d4a29848475f7316959e | ocaml(NCoq_Bool_Sumbool) |
| = 1bdbf76503a06382644347d42d2cddf0 | ocaml(NCoq_Classes_Morphisms) |
| = 8dc18d10a83bafa73f8c06b66e514d49 | ocaml(NCoq_Classes_Morphisms_Prop) |
| = d91638f3f38485aaeb3d2e9028952e21 | ocaml(NCoq_Classes_RelationClasses) |
| = dbd845bb26aa9b4a768cdf11ce1788d3 | ocaml(NCoq_Floats_FloatClass) |
| = c3320d5a18ae624200f8243464a12515 | ocaml(NCoq_Floats_SpecFloat) |
| = ba14e8401b72fef301fdb473e3d2bafa | ocaml(NCoq_Init_Datatypes) |
| = a621a9c215aec9d7e16885a0b523e497 | ocaml(NCoq_Init_Decimal) |
| = 89179eec46359242ebf24e32c6fb6f13 | ocaml(NCoq_Init_Hexadecimal) |
| = 5844583c4d0cb46a11802ac8553e2206 | ocaml(NCoq_Init_Logic) |
| = 0e426f499ecc6441a0c78e922372ac9d | ocaml(NCoq_Init_Nat) |
| = aab1d75d4dbd4729ce71c397398cc45e | ocaml(NCoq_Init_Number) |
| = c08de57feb63472602832118f771ac58 | ocaml(NCoq_Init_Peano) |
| = 62e06202f4fd1331cd5f556440e30b6c | ocaml(NCoq_Init_Specif) |
| = aabb09f2e37b54489b8a2b02eb8330ba | ocaml(NCoq_Init_Wf) |
| = 983adfe7b13f4c4334ca68f5997c595c | ocaml(NCoq_Lists_List) |
| = 5a233cf05757a167e63428cf2398e8e8 | ocaml(NCoq_NArith_BinNat) |
| = 5d537f42a06df908f38b8169b430149a | ocaml(NCoq_Numbers_BinNums) |
| = e44ceb5a5503da0ba401248b814fd16e | ocaml(NCoq_PArith_BinPos) |
| = 84d6c3405bd68df089341f4153a1804d | ocaml(NCoq_Program_Basics) |
| = 4fcf743fb695aeb5b1b6af244c0a814f | ocaml(NCoq_QArith_QArith_base) |
| = d76f5466f08fe0973b1bc57de3ce0bfa | ocaml(NCoq_QArith_Qabs) |
| = 2a363df47677d2989d0e7db3f0f42f2f | ocaml(NCoq_QArith_Qreduction) |
| = 05cdd62010014222a803e745ec5e3513 | ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyReals) |
| = 7b510e1b8cd5f31ca30caa209ffaf040 | ocaml(NCoq_Reals_Cauchy_ConstructiveCauchyRealsMult) |
| = 33aee1bf52f94ddce9f6c701ed1b50d6 | ocaml(NCoq_Reals_Cauchy_QExtra) |
| = 118b37e0d4458879243ea0cf5a6aaa74 | ocaml(NCoq_Reals_RIneq) |
| = 7c68a8177547bd1f3d2a24dd520b575a | ocaml(NCoq_Reals_R_sqrt) |
| = 57db10cb6c048406738751134bed8f57 | ocaml(NCoq_Reals_Raxioms) |
| = b0ccd7c3ee2e625be2c337b3a7b0139e | ocaml(NCoq_Reals_Rbasic_fun) |
| = edcffca6cffd1a5625b0332e96f629cd | ocaml(NCoq_Reals_Rdefinitions) |
| = 56d35e592bc110754aeb2ae506ec1866 | ocaml(NCoq_Reals_Rfunctions) |
| = ed5398f03390306ffb4d5a073a7d4bc9 | ocaml(NCoq_Reals_Rpow_def) |
| = 550a37f43b8210a23da8d305167a2aaa | ocaml(NCoq_Reals_Rsqrt_def) |
| = ac7c54de55154e1e6fa55367d66f6f11 | ocaml(NCoq_Relations_Relation_Definitions) |
| = f61ae89f5ac94810e7c9157e439f6c1e | ocaml(NCoq_Setoids_Setoid) |
| = b4a592883b667daf1534538003f4f02d | ocaml(NCoq_Structures_OrdersTac) |
| = a6355607a6aec47df884d02e09314e4f | ocaml(NCoq_ZArith_BinInt) |
| = 48ed3be92b393f44ef814ef7217b8452 | ocaml(NCoq_ZArith_ZArith_dec) |
| = 0780b0ab8a7dd60117d04ce4148ecd41 | ocaml(NCoq_ZArith_Zbool) |
| = a030e2000395803d4d23b612d9a79b70 | ocaml(NCoq_ZArith_Zeven) |
| = 94da1a4df208ddb46df1700004658560 | ocaml(NCoq_ZArith_Znat) |
| = 7b9d7348df09e815db99d60e29c11a6f | ocaml(NCoq_ZArith_Zpower) |
| = 38f5dbc2bedbf3742d064c8463058f50 | ocaml(NCoq_setoid_ring_BinList) |
| = 8fa9b85239cdcdb778730cc4931a81c4 | ocaml(NCoq_setoid_ring_Field_theory) |
| = f243c25c1d54e298da7d5b56aafd39d0 | ocaml(NCoq_setoid_ring_Ring_polynom) |
| = 4ad8bfe2179da4d9177ac6b283df8bf1 | ocaml(NCoq_setoid_ring_Ring_theory) |
| = 20ba3b1ac2be233da40aa18c0c92292e | ocaml(NFlocq_Calc_Bracket) |
| = 132b24e99d3a5669fbb9feae3bb4ab0e | ocaml(NFlocq_Core_Defs) |
| = 9e1310413c913a287784d9e1207c99bb | ocaml(NFlocq_Core_Digits) |
| = 623c74745f56657c760f2b3e25ec9b03 | ocaml(NFlocq_Core_FIX) |
| = 284f67b699b86802d59614fe94330310 | ocaml(NFlocq_Core_FLT) |
| = 2a990cdf5108527c7e8c42ab64e7daac | ocaml(NFlocq_Core_FLX) |
| = a2463e4363999b165b83188ef11e6437 | ocaml(NFlocq_Core_Generic_fmt) |
| = 10a1868c65be4137786833a740b846ac | ocaml(NFlocq_Core_Raux) |
| = a0906b16b454ba59d23c1c323e4d6186 | ocaml(NFlocq_Core_Zaux) |
| = 6c7e8b903c3646e20cf008e5d3c44a5b | ocaml(NGappa_Gappa_decimal) |
| = 66c4ce6654dd0d2beee38b4a91722b5a | ocaml(NGappa_Gappa_definitions) |
| = 8bb5d34b595c71a623f309c1f53afc13 | ocaml(NGappa_Gappa_dyadic) |
| = 35d952681390a0ad547a9c0e488faa27 | ocaml(NGappa_Gappa_pred_bnd) |
| = d47c7d3ce69d10a3e00c5aa850108c65 | ocaml(NGappa_Gappa_round) |
| = b9939fb76362a408b7c149daa1d7d92f | ocaml(NGappa_Gappa_round_aux) |
| = 4ffdeeb796134cf0aa46b4255630ea99 | ocaml(NGappa_Gappa_round_def) |
| = 51b6a9cf1f52fdcd23fc4fa706fde0ee | ocaml(NGappa_Gappa_tree) |
| = b27857dd58e622e963a475048c219bfc | ocaml(Namegen) |
| = 2ea9132743d37e1af5c8327b5dc400b1 | ocaml(Names) |
| = cd1025d7a24bd57f7b3234cafa33d7b6 | ocaml(Nametab) |
| = 842a27615e40a598a3aabe25b3b65322 | ocaml(Nativecode) |
| = 8d892045979e0114aa149472891fd7cd | ocaml(Nativeconv) |
| = c14db6be2a471852ffc636e36467ec57 | ocaml(Nativelib) |
| = 50c4bb93028b49d5f9a3462bd4dda4e2 | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = ccc9173dc208892df5f9805bb3da133b | ocaml(Notation) |
| = f8928ba07509dc722ec93f786e618660 | ocaml(Notation_term) |
| = 6f691d234ff40f7e5788f4deef3bab47 | ocaml(Notationextern) |
| = 5d3e7b9a2ad3262b9d6a272123b58884 | ocaml(NumTok) |
| = 999bfd5f937c49fe3b1b03eafd7a3c8b | ocaml(Opaqueproof) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = a77c98a741a12cc0e30505f6ab67508e | ocaml(Pattern) |
| = 534232cf0659b65b2cf606961452861f | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = dc00e6f662a07e1405a5dd7f2e0ea833 | ocaml(Pretype_errors) |
| = 48b23857b1e813b0220a424962b8062f | ocaml(Pretyping) |
| = 4124a8d003016e321c5cc107b0d85c78 | ocaml(Primred) |
| = 142897df5497b18633c10c72ff0123ad | ocaml(Printer) |
| = 4215cb70ba4758c3f779c2e5a6f28cd7 | ocaml(Proof) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = bd77afdfa26a6def6efd099a60c94825 | ocaml(Proof_using) |
| = 036409de3ce6e1b89709592a00f2a153 | ocaml(Proofview) |
| = 14b0d99211d2510fffeb2d5bebcba76d | ocaml(Proofview_monad) |
| = d73f78fd7407a990e00737b9f2f5c623 | ocaml(Pvernac) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = c025c04c287e4c064bb17ad4a4e59160 | ocaml(Redexpr) |
| = 061463a7ecc6882acd7c10c1c6cf2653 | ocaml(Reduction) |
| = 49f5d5eece86a9150ff5104c30b4c804 | ocaml(Reductionops) |
| = 0f77e1ab603b08ff482d468569f092be | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 87266e831aa0fb41e7e69d43dba10e03 | ocaml(SList) |
| = 077905aaf9d36b5fbc475f19af4cf4bc | ocaml(Safe_typing) |
| = 178658b34fe52e6380c020193adca07e | 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) |
| = 097838f294457ecbb61ccbcf86cc6972 | ocaml(Stdlib__String) |
| = 7726a14ce36f5c6c3abb04975cec748b | ocaml(Stdlib__Sys) |
| = c0dde02a556a6d79e363ad365d165d57 | ocaml(Stdlib__Uchar) |
| = 918c3a10b0813c8232cd62d2f408caad | ocaml(Store) |
| = 858008ea8c56f907396e598f98daef71 | ocaml(Summary) |
| = b5d3792869376370386502651527baa1 | ocaml(Tacmach) |
| = f8842bb29660b50a02735faa11d2447a | ocaml(Tacred) |
| = 9d0357efcaf60a446685cf5fdd528d0a | ocaml(Tacticals) |
| = 356d951a919895c83fcd4cfb2e5a2b98 | ocaml(Tactics) |
| = 65ee8f80ddd505d1a33624bc0cb44b61 | ocaml(Tactypes) |
| = 7a45b29ea54c962bdd7f36b12dac3b17 | ocaml(Term) |
| = 2bddd7a50c5dc668c81f067689ea2a24 | ocaml(Tok) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = 8ea8227048ad205d3384b10fc32d3b09 | ocaml(Type_errors) |
| = e273397fb1b53aad8bc86e45bfb6d589 | ocaml(Typeclasses) |
| = 2fd6f0b34adce97d21c5d93b17310f9b | ocaml(UGraph) |
| = 9cb90b5c0198a9392b644fc648a3b2e1 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 53a988bf819cc7d250124ea3076eb3a9 | ocaml(Unification) |
| = f7225d1b1091516b25bcad262c410029 | ocaml(Univ) |
| = 808b07bc3e637d1c75fca5c3a86bc9d4 | ocaml(UnivGen) |
| = 650214610ca9c965cca2140d6065e8c4 | ocaml(UnivNames) |
| = e7830949b233fefd37a1fd12dae0225b | ocaml(UnivProblem) |
| = f8e474cbcc595932bd4a530a6694fbfc | ocaml(UnivSubst) |
| = 84bb8ec8ae50f70acba86f5b72088b1c | ocaml(Unix) |
| = 82442e4e897c61e9ffd5234974e104ef | ocaml(Util) |
| = cb3ff5d5b665cb384fb59c1413884523 | ocaml(Values) |
| = f17abb022dd4936d1a6ad91b4dda1549 | ocaml(Vars) |
| = b40e25528243ed19b4d298cad8d3815c | ocaml(Vernacexpr) |
| = 23cac55a4ec53b7a700e727d744aa012 | ocaml(Vernacextend) |
| = 0ec5367f45655d3cfc46db2e6443e395 | ocaml(Vmbytecodes) |
| = 346ef462a1e0243aad6f2621f358e795 | ocaml(Vmemitcodes) |
| = 1faa9be887b3fe66b213790f9bb1a3d8 | ocaml(Vmvalues) |
| = a71ac4a535434978287848841376388e | ocaml(Z) |
| = 0573444d7d158417dbd5f4f46081e73b | ocamlx(CamlinternalLazy) |
| = a1e05642f6d8551d01fd744a20616e38 | ocamlx(NFlocq_Calc_Bracket) |
| = 98568f22f0f1a59f027e58e5df9792e9 | ocamlx(NFlocq_Core_Defs) |
| = eb8348028e8c89ad24bfd9dd6d8e60e3 | ocamlx(NFlocq_Core_Digits) |
| = 1801ee276a87985feead0544e5236627 | ocamlx(NFlocq_Core_FIX) |
| = 3d7ae5c0ccaadb2c2f932c19e248fbf8 | ocamlx(NFlocq_Core_FLT) |
| = b67a6e06e6da4411eeb418a657baf0e2 | ocamlx(NFlocq_Core_FLX) |
| = 39d8b8dd73998543157621ac341952cd | ocamlx(NFlocq_Core_Generic_fmt) |
| = 46c2091c7586b4b13d0f9cfb48e66549 | ocamlx(NFlocq_Core_Raux) |
| = 54b26278f618199cadf17432f3b28b23 | ocamlx(NFlocq_Core_Zaux) |
| = ac74e987c40abd108bcd5ba1dc4ec1d7 | ocamlx(NGappa_Gappa_decimal) |
| = 323f455c1f4878cb8ac773e1b35c31c7 | ocamlx(NGappa_Gappa_definitions) |
| = 23eef2256026bc6df04c316e79a7bf8e | ocamlx(NGappa_Gappa_dyadic) |
| = b38034ad9a3d0f191d231e46cb00053c | ocamlx(NGappa_Gappa_pred_bnd) |
| = 1ff440af375e6e785d274bcb914b76d9 | ocamlx(NGappa_Gappa_round) |
| = dca301555161d15eee621c4c63121f9d | ocamlx(NGappa_Gappa_round_aux) |
| = cfa011abf877beaad23f9ea7fe848cd3 | ocamlx(NGappa_Gappa_round_def) |
| = 5b36ce6650bbdcb22ebc1471576d344d | ocamlx(NGappa_Gappa_tree) |
| = 5a7e0e94055b1546ca43d838d54c067d | ocamlx(Nativecode) |
| = dbcd9cbff7a6549a641c25e4afb7c276 | ocamlx(Nativevalues) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 1.5.3-2.fc38 | gappalib-coq |
| = 1.5.3-2.fc38 | gappalib-coq(aarch-64) |
| = 32c92d81523630ac8f33a03ba58d1c89 | ocaml(Gappatac) |
| = b3597d4f6435d80f80af32d53203e15f | ocaml(NGappa_Gappa_common) |
| = 6c7e8b903c3646e20cf008e5d3c44a5b | ocaml(NGappa_Gappa_decimal) |
| = 66c4ce6654dd0d2beee38b4a91722b5a | ocaml(NGappa_Gappa_definitions) |
| = 8bb5d34b595c71a623f309c1f53afc13 | ocaml(NGappa_Gappa_dyadic) |
| = f68603de4767df88cc74a070dcd03513 | ocaml(NGappa_Gappa_fixed) |
| = afa3ea0ee9bebbcb400705c2b34468fa | ocaml(NGappa_Gappa_float) |
| = 0ea9ae767d830f350ad773b2a9851fb4 | ocaml(NGappa_Gappa_library) |
| = d85788990eaae14012db3444edaff581 | ocaml(NGappa_Gappa_obfuscate) |
| = a3d0ba0b5af5b1aae27b620f0daad9ab | ocaml(NGappa_Gappa_pred_abs) |
| = 35d952681390a0ad547a9c0e488faa27 | ocaml(NGappa_Gappa_pred_bnd) |
| = 5ca3f526a77041533e114f00a9ce3a1a | ocaml(NGappa_Gappa_pred_fixflt) |
| = add2a87527f5d9c41bda06786fd68218 | ocaml(NGappa_Gappa_pred_nzr) |
| = 39737f60a5f9ce2545258458ea0361ed | ocaml(NGappa_Gappa_pred_rel) |
| = 21faa1d599704545a09c856835b3a7a7 | ocaml(NGappa_Gappa_real) |
| = b7536a925f4d0af08c9683af10af53a6 | ocaml(NGappa_Gappa_rewriting) |
| = d47c7d3ce69d10a3e00c5aa850108c65 | ocaml(NGappa_Gappa_round) |
| = b9939fb76362a408b7c149daa1d7d92f | ocaml(NGappa_Gappa_round_aux) |
| = 4ffdeeb796134cf0aa46b4255630ea99 | ocaml(NGappa_Gappa_round_def) |
| = 90c39db8ae044ac68420b26ecc917a2a | ocaml(NGappa_Gappa_tactic) |
| = 80ef5c732073289281622a94affa7c0c | ocaml(NGappa_Gappa_tactic_loader) |
| = 51b6a9cf1f52fdcd23fc4fa706fde0ee | ocaml(NGappa_Gappa_tree) |
| = d3b3d96f6832eef147046ffa82ab4a1d | ocaml(NGappa_Gappa_user) |
| = 6e33a7ce9abe9334912ec1f0388ead91 | ocamlx(NGappa_Gappa_common) |
| = ac74e987c40abd108bcd5ba1dc4ec1d7 | ocamlx(NGappa_Gappa_decimal) |
| = 323f455c1f4878cb8ac773e1b35c31c7 | ocamlx(NGappa_Gappa_definitions) |
| = 23eef2256026bc6df04c316e79a7bf8e | ocamlx(NGappa_Gappa_dyadic) |
| = 993ebdbcf9c81f235a0b2b1a86172b3a | ocamlx(NGappa_Gappa_fixed) |
| = 6f82eac339cacbc47071926ce519b0f5 | ocamlx(NGappa_Gappa_float) |
| = 0d27cf261fcf2068d1823fe8a88a6574 | ocamlx(NGappa_Gappa_library) |
| = b9b95b39a6e66af646495256572d2d0e | ocamlx(NGappa_Gappa_obfuscate) |
| = 343c48470f9b22229016f7df517a85d0 | ocamlx(NGappa_Gappa_pred_abs) |
| = b38034ad9a3d0f191d231e46cb00053c | ocamlx(NGappa_Gappa_pred_bnd) |
| = 8ab246026ab519a79fe741642119a353 | ocamlx(NGappa_Gappa_pred_fixflt) |
| = 5569fab4800f69f869fc20a8d6bc343e | ocamlx(NGappa_Gappa_pred_nzr) |
| = a3110792fe9ffd3d82147a1970227d93 | ocamlx(NGappa_Gappa_pred_rel) |
| = 39cd0b636f9ac16b7e4c0d530fb4e193 | ocamlx(NGappa_Gappa_real) |
| = 5bf3ec10d5336517892d9a90f3684ee0 | ocamlx(NGappa_Gappa_rewriting) |
| = 1ff440af375e6e785d274bcb914b76d9 | ocamlx(NGappa_Gappa_round) |
| = dca301555161d15eee621c4c63121f9d | ocamlx(NGappa_Gappa_round_aux) |
| = cfa011abf877beaad23f9ea7fe848cd3 | ocamlx(NGappa_Gappa_round_def) |
| = 1d8909072fa2703e0b72be24a9c501ef | ocamlx(NGappa_Gappa_tactic) |
| = 9669cd45b12cfe5c1076aeb1bf785096 | ocamlx(NGappa_Gappa_tactic_loader) |
| = 5b36ce6650bbdcb22ebc1471576d344d | ocamlx(NGappa_Gappa_tree) |
| = 525f883ad9e713a56d95e5ffade0a1be | ocamlx(NGappa_Gappa_user) |
نحوه نصب
نصب پکیج rpm gappalib-coq:
dnf install gappalib-coq-1.5.3-2.fc38.aarch64.rpm
فایل ها
| مسیرها |
|---|
| /usr/lib/.build-id |
| /usr/lib/.build-id/07 |
| /usr/lib/.build-id/07/4315ea294d2b70e0633997b0c802c3d506328d |
| /usr/lib/.build-id/0d |
| /usr/lib/.build-id/0d/d0bdabbd765f3c4e8c0748144e69c5a89d35e9 |
| /usr/lib/.build-id/10 |
| /usr/lib/.build-id/10/ead77c3998a6ea354487de5dbaa55a854720e8 |
| /usr/lib/.build-id/13 |
| /usr/lib/.build-id/13/92162bc0e6e92d5755dbd0019c162d1796a729 |
| /usr/lib/.build-id/15 |
| /usr/lib/.build-id/15/e8f46138ceeb727c744bd71f2a3c35554c1494 |
| /usr/lib/.build-id/21 |
| /usr/lib/.build-id/21/0b114680d585516549a2a50c905036e974b61e |
| /usr/lib/.build-id/32 |
| /usr/lib/.build-id/32/818dce69d1721b3ee039f4692cc44a124d791f |
| /usr/lib/.build-id/36 |
| /usr/lib/.build-id/36/ea59524ba281e271d85fee462148a5f12f5463 |
| /usr/lib/.build-id/47 |
| /usr/lib/.build-id/47/edd83b5e69bb9854e3e69086e1ec703470b802 |
| /usr/lib/.build-id/48 |
| /usr/lib/.build-id/48/67fe2fbde6571c0cb273803579d962a66a0f96 |
| /usr/lib/.build-id/4d |
| /usr/lib/.build-id/4d/f73d4aae398261031d65217b25d818ef1776e4 |
| /usr/lib/.build-id/4f |
| /usr/lib/.build-id/4f/dac89b54dd23ba13525279a2fed7075c6a6ea1 |
| /usr/lib/.build-id/69 |
| /usr/lib/.build-id/69/4df8723c56a1b83667bad020c5dafe766154f3 |
| /usr/lib/.build-id/70 |
| /usr/lib/.build-id/70/388032ff50272da4f3e4cda1a5fb3f68924b0f |
| /usr/lib/.build-id/81 |
| /usr/lib/.build-id/81/335861ff49fac3e60fe0a75ac0e6aa1f0e2c20 |
| /usr/lib/.build-id/82 |
| /usr/lib/.build-id/82/2c8a699a039f48338e033b4a10e78a139bd3db |
| /usr/lib/.build-id/94 |
| /usr/lib/.build-id/94/b4ab03367080d5eade9395639bd45655c5446e |
| /usr/lib/.build-id/95 |
| /usr/lib/.build-id/95/b47983eb357113d103efff32ad26f4b340a9b5 |
| /usr/lib/.build-id/97 |
| /usr/lib/.build-id/97/40b3dd787658d617ea67c13e5b3fac8560851f |
| /usr/lib/.build-id/c1 |
| /usr/lib/.build-id/c1/3a9cec541f4c9e72306f9087fc7c6b95a7235d |
| /usr/lib/.build-id/c2 |
| /usr/lib/.build-id/c2/c80171ff27de1a0632c8c3fc2209612d7bb68a |
| /usr/lib/.build-id/ed |
| /usr/lib/.build-id/ed/29bbbffd35beeab02e27b8597346c8ecba47db |
| /usr/lib/.build-id/f9 |
| /usr/lib/.build-id/f9/e3d09ebbd825483d829432f4d46670a741308b |
| /usr/lib64/ocaml/coq-gappa |
| /usr/lib64/ocaml/coq-gappa/META |
| /usr/lib64/ocaml/coq-gappa/gappatac.cmo |
| ... and 119 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-10-18 |
Rebuild for coq 8.17.1
|
| 2023-04-01 |
Version 1.5.3
|
| 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
|
| 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
|
| 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
|