معرفی شرکت ها
flocq-4.1.0-2.fc37.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 37 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | flocq |
| نام فایل بسته | flocq-4.1.0-2.fc37.aarch64.rpm |
| نسخه بسته | 4.1.0 |
| انتشار بسته | 2.fc37 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Sun 27 Nov 2022 07 |
| هاست سازنده | buildvm-a64-31.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://gitlab.inria.fr/flocq/flocq |
| مجوز | LGPL-3.0-or-later |
| حجم دانلود | 4.7M |
| حجم نصب | 26.670M |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| flocq-4.1.0-1.fc37.aarch64.rpm | 4.1.0 | aarch64 | Fedora Everything |
| flocq-4.1.0-1.fc37.src.rpm | 4.1.0 | x86_64 | Fedora Everything |
| flocq-4.1.0-1.fc37.x86_64.rpm | 4.1.0 | x86_64 | Fedora Everything |
| flocq-4.1.0-2.fc37.src.rpm | 4.1.0 | x86_64 | Fedora Everything |
| flocq-4.1.0-2.fc37.x86_64.rpm | 4.1.0 | x86_64 | Fedora Everything |
| flocq-source-4.1.0-1.fc37.aarch64.rpm | 4.1.0 | aarch64 | Fedora Everything |
| flocq-source-4.1.0-1.fc37.x86_64.rpm | 4.1.0 | x86_64 | Fedora Everything |
| flocq-source-4.1.0-2.fc37.aarch64.rpm | 4.1.0 | aarch64 | Fedora Everything |
| flocq-source-4.1.0-2.fc37.x86_64.rpm | 4.1.0 | x86_64 | Fedora Everything |
نیازمندی
| مقدار | نام |
|---|---|
| = 8.16.1 | coq(aarch-64) |
| = 00edc3e526b6239e9ad4c9319eaaabd5 | ocaml(AcyclicGraph) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = b49a9e05558d074ce2420f1481d80d8a | ocaml(CAst) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = 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) |
| = 9ca352bce78df900bce25f5e83b3e3ec | ocaml(Constr) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = c511194cd3d1c75d0ec51fe57d5c4b93 | ocaml(Cooking) |
| = af077788df86ae3c100cb12d0e433100 | ocaml(Declarations) |
| = 81958cbbb97b08eb74f21205ecbe734b | ocaml(Environ) |
| = 746f3c41caf469b8602bbc0673a9de61 | ocaml(Esubst) |
| = 156cdf64bb05c4ab0c4051f998dfab52 | ocaml(Evar) |
| = 766d613c58c5e25783f49ff1e5b36922 | ocaml(Exninfo) |
| = 712fa5d21be885f62f4afb0c1b2e620e | ocaml(Float64) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = c638a3a3a3350b9a3cd3aecfc1548b44 | ocaml(Int) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = b56a185b9f7bb6f0f0f519c06bf981db | ocaml(Mod_subst) |
| = edee5881ef17d727e3ee1030d7a1e5d2 | ocaml(NCoq_Arith_Factorial) |
| = 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) |
| = 8203fcfc25e03e0df4b03b958f6cd22f | ocaml(NCoq_Floats_FloatAxioms) |
| = 9a5e5f319332f1aab08117fc52822560 | ocaml(NCoq_Floats_FloatClass) |
| = 4bf94eb06294927847fbdd30435cf03d | ocaml(NCoq_Floats_FloatOps) |
| = a74da887993f30bc7a27941ede275b23 | ocaml(NCoq_Floats_PrimFloat) |
| = 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) |
| = 2069f40d947cb704ed777599406be7e5 | ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType) |
| = cf3af728d29cb993618f0a2c51ef0c6d | ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63) |
| = 682d2083bc134da2d0ac554274b220af | ocaml(NCoq_Numbers_Cyclic_Int63_Uint63) |
| = 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) |
| = b40922aa694cb517278c619534d861c9 | ocaml(NCoq_Reals_Alembert) |
| = 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) |
| = 8767217ef0eaef18c23c7865242cf7ba | ocaml(NCoq_Reals_Rpower) |
| = f42bf05072ae26906298ececd08c0f21 | ocaml(NCoq_Reals_Rsqrt_def) |
| = c17a6892fc43af795a51e11b6790caaa | ocaml(NCoq_Reals_Rtrigo_def) |
| = c1ae23fc6d3a0c86eda15d3db1b1fd77 | ocaml(NCoq_Reals_Rtrigo_fun) |
| = 50d48e86dd918045ba6710f690346c4e | ocaml(NCoq_Relations_Relation_Definitions) |
| = e653cee5a401486b918c1d13e4ee646c | ocaml(NCoq_Structures_OrdersTac) |
| = 75a2ff407fbbc12c0021cf14b6cb0f4a | ocaml(NCoq_ZArith_BinInt) |
| = 4334d3b5d9b98827dd666f7d25d45dad | ocaml(NCoq_ZArith_BinIntDef) |
| = 127ab251d986c70c3d6131d06396afd8 | ocaml(NCoq_ZArith_ZArith_dec) |
| = 3c79cf9f91dd9622e786c53f032964e0 | ocaml(NCoq_ZArith_Zbool) |
| = 62d38b4a4e33dc0f927bb81a7f738a3e | ocaml(NCoq_ZArith_Zeven) |
| = e6a528fc72a76ccc4ceb24d48ae0dfd1 | ocaml(NCoq_ZArith_Znat) |
| = b5f838424961c1897d441dd879a192ad | ocaml(NCoq_ZArith_Zorder) |
| = 2404fff785da3403be59e3b5070915a7 | ocaml(NCoq_ZArith_Zpower) |
| = 6b85b253533d9c96b7b96cbbf6e15a26 | ocaml(NCoq_setoid_ring_Ring_theory) |
| = e0214f692ecd93d4c63ec81c9a68b962 | ocaml(NFlocq_Calc_Bracket) |
| = 287d8ef36befd07a6aec3ba1b7c54b74 | ocaml(NFlocq_Calc_Operations) |
| = 7c2bcdd8433b018527e07f973e03b2e3 | ocaml(NFlocq_Calc_Round) |
| = 08cd9b47bf7c432525e394f63175cafe | ocaml(NFlocq_Core_Defs) |
| = 3e3ce226aa583a7f62c6933c79a9587d | ocaml(NFlocq_Core_Digits) |
| = 67d75cf34e0a21bb4933d4ede0c59ebd | ocaml(NFlocq_Core_FIX) |
| = 8cdb39a38fe4b22eb6dfd1f6cc35ec2e | ocaml(NFlocq_Core_FLT) |
| = 2410b3af617d927dd58d0b601b84c8bc | ocaml(NFlocq_Core_Generic_fmt) |
| = 34b3cbbefcc8082bfc2aa9bd75cb8316 | ocaml(NFlocq_Core_Raux) |
| = ca08cb2d771a7819e3e0ca2fc95d54a1 | ocaml(NFlocq_Core_Ulp) |
| = 1331b523bdf9decaac86604d1dd39bbf | ocaml(NFlocq_Core_Zaux) |
| = bfe19cb133ebdf813649eadc9f7fa033 | ocaml(NFlocq_IEEE754_Binary) |
| = 46899ffb3587d90f885924e83c397f1b | ocaml(NFlocq_IEEE754_BinarySingleNaN) |
| = e48189852892135fc83995c58946b6ab | ocaml(NFlocq_Pff_Pff) |
| = 0b6c349e44c595f40356f60ca49fa766 | ocaml(Names) |
| = 02dbeca2f7bfac8ee80f221d7d1bcb8a | ocaml(Nativecode) |
| = 60d8b9f9f4561c30226973b77f29c919 | ocaml(Nativeconv) |
| = 219578857e7b319faa4d145a4fa5ff68 | ocaml(Nativelambda) |
| = 7b23ee7251439aa612f59354c020ea67 | ocaml(Nativelib) |
| = 151356e5f71c48ba131e257d7b5d6b0e | ocaml(Nativevalues) |
| = b1745fe14cd37c212d34eea094f1b8df | ocaml(Opaqueproof) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 3523f631320a31383fd961d753a8e437 | ocaml(Reduction) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = 6d7bf11af14ea68354925f3a37387930 | ocaml(Stdlib) |
| = 622d88fad859d0d0f019e691fc4fa865 | ocaml(Stdlib__Array) |
| = 994a14f10d5ae081663b52b790ee11d3 | ocaml(Stdlib__Bigarray) |
| = 4b09c9a6d0622bbf5a3829234b481822 | ocaml(Stdlib__Buffer) |
| = 4555217c759e89d65daa8f682eb09b35 | ocaml(Stdlib__Complex) |
| = 26845df28d19584687a38a1ab814c3f9 | ocaml(Stdlib__Either) |
| = b6edb97b685819e873481fe05723c8bc | ocaml(Stdlib__Format) |
| = 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) |
| = c0dde02a556a6d79e363ad365d165d57 | ocaml(Stdlib__Uchar) |
| = c1500a859572f47c5adeb740fbcebf6b | ocaml(Term) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = bd28bddd5c33ca5c1a5f9f43f907e5da | ocaml(UGraph) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 6feb5ec642e4daf30a0944e888214cea | ocaml(Univ) |
| = 84bb8ec8ae50f70acba86f5b72088b1c | ocaml(Unix) |
| = 46a1f0249bfbf29202e10de25200d4ea | ocaml(Util) |
| = 88733f1084158f9273bb318495213675 | ocaml(Vmbytecodes) |
| = 2ee3a68ca9992bc9e1f6aeb9e6e33af6 | ocaml(Vmemitcodes) |
| = 6cfd8f0d13168b127ebed3d4375b15c3 | ocaml(Vmvalues) |
| = 162669b09093ea11100da3962b876e9b | ocamlx(CamlinternalLazy) |
| = 3f077edca92ed17f44c66137c4136c04 | ocamlx(NCoq_Bool_Bool) |
| = 9394890fc677cbb8e0ddd013743c7086 | ocamlx(NCoq_Floats_FloatAxioms) |
| = 02ed060a107cc58dc1503d8309b2b129 | ocamlx(NCoq_Floats_FloatOps) |
| = fd37b8215ffafeee4443a1d3161e8643 | ocamlx(NCoq_Floats_SpecFloat) |
| = cdbab4b0bd137a1bc00d54561f3dd061 | ocamlx(NCoq_Init_Datatypes) |
| = 41d65a6a2b1c55d6e2f10cf6ded4b229 | ocamlx(NCoq_Init_Logic) |
| = 64321e52710eeaa352d709d8ccafe6cf | ocamlx(NCoq_Init_Nat) |
| = deb5ee0a23525d72a763da2cf5baa68d | ocamlx(NCoq_Init_Specif) |
| = 8907851d368bbc622072348a2536b0a3 | ocamlx(NCoq_Lists_List) |
| = 8030f1e067c21d77c7fc3b4522cf5f47 | ocamlx(NCoq_NArith_BinNat) |
| = e0612228d82543c6ffaaa7a7352608e9 | ocamlx(NCoq_Numbers_BinNums) |
| = 29ff38614d02d547af2edc8d670f7ac6 | ocamlx(NCoq_PArith_BinPos) |
| = ace642a0a89874c46b62609556a3c508 | ocamlx(NCoq_Reals_RIneq) |
| = 8645e3c7e95ee4f2171a8e92402e59ac | ocamlx(NCoq_Reals_R_sqrt) |
| = f3c63708716b1be443577d544b2fdd63 | ocamlx(NCoq_Reals_Rbasic_fun) |
| = 84bd14c8e9395f487c90a05f13b6e658 | ocamlx(NCoq_Reals_Rdefinitions) |
| = 18722884c56dce32f5a6bff4d0bf700a | ocamlx(NCoq_Reals_Rfunctions) |
| = 82f3dcdf6928f8e125bc0a26d0349224 | ocamlx(NCoq_Reals_Rpower) |
| = c4a9b46f1cfaa7b4241dfdf95e572d2b | ocamlx(NCoq_ZArith_BinInt) |
| = 0ee832e10a1d1662253874add500f87c | ocamlx(NCoq_ZArith_BinIntDef) |
| = 7fc232044fc24cccd04e1999e0a296c9 | ocamlx(NCoq_ZArith_ZArith_dec) |
| = fa2c610108e4b1dc6ecc995c02a6e91a | ocamlx(NCoq_ZArith_Zbool) |
| = f58f71b9d32cc4ff6346e9d051ffbe39 | ocamlx(NCoq_ZArith_Zorder) |
| = 1712cf7e6612ab942b61af05f5688f64 | ocamlx(NCoq_ZArith_Zpower) |
| = 28bdbf3eadf047c27342c8116d97cd96 | ocamlx(NFlocq_Calc_Bracket) |
| = b44dff1e479862540fa9b5e1ece190e7 | ocamlx(NFlocq_Calc_Operations) |
| = b596c7352c1cbebbc949e663c3c4c551 | ocamlx(NFlocq_Calc_Round) |
| = 8816459eeeff70fa37618a5b68210e3e | ocamlx(NFlocq_Core_Defs) |
| = 0ffb9de28626bae648fe5316b6691b02 | ocamlx(NFlocq_Core_Digits) |
| = cfb55fc7786dd0c856498538f45b5d8f | ocamlx(NFlocq_Core_FIX) |
| = 21bb42ea99934f7ad5d97b72194b70eb | ocamlx(NFlocq_Core_FLT) |
| = 53a049723305970fa0e4f5514a0ca8e1 | ocamlx(NFlocq_Core_Generic_fmt) |
| = a4cf63b7f4b8a2e75dabd7cead746acf | ocamlx(NFlocq_Core_Raux) |
| = 59cbbc8b02baf954c40898beb3ae9e9e | ocamlx(NFlocq_Core_Ulp) |
| = caf896d87c14c672bea15b3586cfd60b | ocamlx(NFlocq_Core_Zaux) |
| = 41ec59cf6856dc7f83346fd406b927eb | ocamlx(NFlocq_IEEE754_Binary) |
| = 894aec87bd2e0a622f22efb8d70fe4f0 | ocamlx(NFlocq_IEEE754_BinarySingleNaN) |
| = ea6bcd346ae4e3b04a66c177c18e05dc | ocamlx(NFlocq_Pff_Pff) |
| = 25dd46105be7e78ba71f11e778374924 | ocamlx(Nativecode) |
| = c6cb05a1550531a6790b95fa67b03342 | ocamlx(Nativevalues) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 4.1.0-2.fc37 | flocq |
| = 4.1.0-2.fc37 | flocq(aarch-64) |
| = e0214f692ecd93d4c63ec81c9a68b962 | ocaml(NFlocq_Calc_Bracket) |
| = 7c60c3952e418096a31e27187b4dd54a | ocaml(NFlocq_Calc_Div) |
| = 287d8ef36befd07a6aec3ba1b7c54b74 | ocaml(NFlocq_Calc_Operations) |
| = cd414e5fd77814d467c164f895edcb8c | ocaml(NFlocq_Calc_Plus) |
| = 7c2bcdd8433b018527e07f973e03b2e3 | ocaml(NFlocq_Calc_Round) |
| = dc80634ccb9f17f09e96b65b3d8ce0e6 | ocaml(NFlocq_Calc_Sqrt) |
| = 2fa7028371ef1690fbafb453d1753f36 | ocaml(NFlocq_Core_Core) |
| = 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) |
| = 490f0c26edc460abe98e65100c33976e | ocaml(NFlocq_Core_FTZ) |
| = 4b942fe265780af5750877ceb5d0a064 | ocaml(NFlocq_Core_Float_prop) |
| = 2410b3af617d927dd58d0b601b84c8bc | ocaml(NFlocq_Core_Generic_fmt) |
| = 34b3cbbefcc8082bfc2aa9bd75cb8316 | ocaml(NFlocq_Core_Raux) |
| = 397a14ff67db49a4decec417bef24e48 | ocaml(NFlocq_Core_Round_NE) |
| = c8db8a7cde956a4740a4a3a9a6acdcc9 | ocaml(NFlocq_Core_Round_pred) |
| = ca08cb2d771a7819e3e0ca2fc95d54a1 | ocaml(NFlocq_Core_Ulp) |
| = 1331b523bdf9decaac86604d1dd39bbf | ocaml(NFlocq_Core_Zaux) |
| = bfe19cb133ebdf813649eadc9f7fa033 | ocaml(NFlocq_IEEE754_Binary) |
| = 46899ffb3587d90f885924e83c397f1b | ocaml(NFlocq_IEEE754_BinarySingleNaN) |
| = c18fb6385b8707fcac2e683795cf0082 | ocaml(NFlocq_IEEE754_Bits) |
| = 3fedae605da4fecff3872eab98cb4f52 | ocaml(NFlocq_IEEE754_Int63Compat) |
| = 18ea296eb7d1692c25ab63c559a9e8a1 | ocaml(NFlocq_IEEE754_Int63Copy) |
| = fb2107011ebefcb731bf0ac8e5319ed8 | ocaml(NFlocq_IEEE754_PrimFloat) |
| = e48189852892135fc83995c58946b6ab | ocaml(NFlocq_Pff_Pff) |
| = ee7c1ac7d1d14a57619f17e45b77fbce | ocaml(NFlocq_Pff_Pff2Flocq) |
| = 9cace8df7df14405a2559db5b9301c3c | ocaml(NFlocq_Pff_Pff2FlocqAux) |
| = 51c3c0a08720566b713df8887b365a13 | ocaml(NFlocq_Prop_Div_sqrt_error) |
| = d498d71cbe0785a733ad17d130370f51 | ocaml(NFlocq_Prop_Double_rounding) |
| = 6985758b26a828bf1c324d6b00fc7d69 | ocaml(NFlocq_Prop_Mult_error) |
| = 95fc4f7524d1dad2f13e35fd643c8568 | ocaml(NFlocq_Prop_Plus_error) |
| = 2b65cb4f202eb396ab08c703a10ea0c7 | ocaml(NFlocq_Prop_Relative) |
| = b59d9b3e3a8b8bd97b5a3a59dfb57a82 | ocaml(NFlocq_Prop_Round_odd) |
| = 1a41570c6facab63d8799a06b647205b | ocaml(NFlocq_Prop_Sterbenz) |
| = dc1208bb5730ae7e4a2d6702d32cafc7 | ocaml(NFlocq_Version) |
| = 28bdbf3eadf047c27342c8116d97cd96 | ocamlx(NFlocq_Calc_Bracket) |
| = 33f3871164c11bde1aec3ef4f66c7bec | ocamlx(NFlocq_Calc_Div) |
| = b44dff1e479862540fa9b5e1ece190e7 | ocamlx(NFlocq_Calc_Operations) |
| = dd41be16202e7e39a15c0b1a9c37b7a3 | ocamlx(NFlocq_Calc_Plus) |
| = b596c7352c1cbebbc949e663c3c4c551 | ocamlx(NFlocq_Calc_Round) |
| = 0cfcb92c4f645e13a922defd67a5080b | ocamlx(NFlocq_Calc_Sqrt) |
| = 93a28d9c4f915b9209f4e77ca11baa12 | ocamlx(NFlocq_Core_Core) |
| = 8816459eeeff70fa37618a5b68210e3e | ocamlx(NFlocq_Core_Defs) |
| = 0ffb9de28626bae648fe5316b6691b02 | ocamlx(NFlocq_Core_Digits) |
| = cfb55fc7786dd0c856498538f45b5d8f | ocamlx(NFlocq_Core_FIX) |
| = 21bb42ea99934f7ad5d97b72194b70eb | ocamlx(NFlocq_Core_FLT) |
| = f40971f930ea43b328887fb284cdaada | ocamlx(NFlocq_Core_FLX) |
| = 244fde9d4693fc1a3fec0057f3adac12 | ocamlx(NFlocq_Core_FTZ) |
| = b0434e10c5d1582687909ba5a33848a7 | ocamlx(NFlocq_Core_Float_prop) |
| = 53a049723305970fa0e4f5514a0ca8e1 | ocamlx(NFlocq_Core_Generic_fmt) |
| = a4cf63b7f4b8a2e75dabd7cead746acf | ocamlx(NFlocq_Core_Raux) |
| = b6ddfd94f3cef690d6515a1226df850a | ocamlx(NFlocq_Core_Round_NE) |
| = 83e3c114305d9891b1e8057f385ab605 | ocamlx(NFlocq_Core_Round_pred) |
| = 59cbbc8b02baf954c40898beb3ae9e9e | ocamlx(NFlocq_Core_Ulp) |
| = caf896d87c14c672bea15b3586cfd60b | ocamlx(NFlocq_Core_Zaux) |
| = 41ec59cf6856dc7f83346fd406b927eb | ocamlx(NFlocq_IEEE754_Binary) |
| = 894aec87bd2e0a622f22efb8d70fe4f0 | ocamlx(NFlocq_IEEE754_BinarySingleNaN) |
| = 9e0de1484937303ddc42eb19daad5f5a | ocamlx(NFlocq_IEEE754_Bits) |
| = b2f7e60e3d682e96c7d8abfbe6eb8298 | ocamlx(NFlocq_IEEE754_Int63Compat) |
| = fb397297c09920d1939326ca81af4c65 | ocamlx(NFlocq_IEEE754_Int63Copy) |
| = e3f0bf9a23245d2479793d4f65feb93d | ocamlx(NFlocq_IEEE754_PrimFloat) |
| = ea6bcd346ae4e3b04a66c177c18e05dc | ocamlx(NFlocq_Pff_Pff) |
| = 62b39d809870e48362557c7f0a686dea | ocamlx(NFlocq_Pff_Pff2Flocq) |
| = b12538070c13d9d646d14cff4d9acf65 | ocamlx(NFlocq_Pff_Pff2FlocqAux) |
| = 654d8d4b266a8b3cbfa3cc964feb0f5f | ocamlx(NFlocq_Prop_Div_sqrt_error) |
| = 07d3961daac52dbceda14641c7344e50 | ocamlx(NFlocq_Prop_Double_rounding) |
| = c56e83ba0806ab63884ec4b16578bd85 | ocamlx(NFlocq_Prop_Mult_error) |
| = 66f0c08522d16bbdca586d434916c959 | ocamlx(NFlocq_Prop_Plus_error) |
| = da3085e9eb4e13aefefb67ce225cdeac | ocamlx(NFlocq_Prop_Relative) |
| = 5850cdd66bab49352b6b051e16b2f66f | ocamlx(NFlocq_Prop_Round_odd) |
| = fa0b20e34a3dcbe0546b087b0d86d3f3 | ocamlx(NFlocq_Prop_Sterbenz) |
| = 1a80eadd2c5fd3aeec6f37aa8c4f88f2 | ocamlx(NFlocq_Version) |
نحوه نصب
نصب پکیج rpm flocq:
dnf install flocq-4.1.0-2.fc37.aarch64.rpm
فایل ها
| مسیرها |
|---|
| /usr/lib/.build-id |
| /usr/lib/.build-id/12 |
| /usr/lib/.build-id/12/9097410dbffcfa4f0d1b969e20cf9f436459ee |
| /usr/lib/.build-id/18 |
| /usr/lib/.build-id/18/b95a2be64d5a1c150aa4a0827e368ee6aa9acf |
| /usr/lib/.build-id/1c |
| /usr/lib/.build-id/1c/45509d316eeb19fc04fadeb3407fd842150504 |
| /usr/lib/.build-id/26 |
| /usr/lib/.build-id/26/0b89e4c666e3970ad85dd67bf36a1694a01c11 |
| /usr/lib/.build-id/2b |
| /usr/lib/.build-id/2b/5e23d24821f15f1066e63f7b10b5badabd0ff8 |
| /usr/lib/.build-id/30 |
| /usr/lib/.build-id/30/dcaa311b1f4cafbdf4a2bdb31fa2c1858d7d21 |
| /usr/lib/.build-id/34 |
| /usr/lib/.build-id/34/64096f7600ec759e735efb68cdbd3ab4934be9 |
| /usr/lib/.build-id/36 |
| /usr/lib/.build-id/36/fba5b5332809b392b4268694c04045559d92d5 |
| /usr/lib/.build-id/37 |
| /usr/lib/.build-id/37/771e03d235370faccbc74eea9c8463b8f651f1 |
| /usr/lib/.build-id/3d |
| /usr/lib/.build-id/3d/5ce6c1e6e02d9e9c1c9dbd8a04f19faeb0b218 |
| /usr/lib/.build-id/44 |
| /usr/lib/.build-id/44/801dfffd52dad57bc357ba92b434c38ce7c108 |
| /usr/lib/.build-id/4b |
| /usr/lib/.build-id/4b/d8174be9f27931cba8bb7760004806ab57f758 |
| /usr/lib/.build-id/5c |
| /usr/lib/.build-id/5c/2645720dac8aef395a9ed800c3f9dae19a7bc0 |
| /usr/lib/.build-id/5d |
| /usr/lib/.build-id/5d/4947cceb58d4de2bd1f5ddeb950176895a5b5c |
| /usr/lib/.build-id/5e |
| /usr/lib/.build-id/5e/dc1838c2b89a762d59cc9f80a966833897fadc |
| /usr/lib/.build-id/60 |
| /usr/lib/.build-id/60/12d07fc03bec3461281a429b3685c7eb1e4e02 |
| /usr/lib/.build-id/64 |
| /usr/lib/.build-id/64/e93a596f477064503ecb9e33ae2731b80e50bc |
| /usr/lib/.build-id/66 |
| /usr/lib/.build-id/66/e0003af8b81b3689b0de1e7ab9a69a2ca4a576 |
| /usr/lib/.build-id/6f |
| /usr/lib/.build-id/6f/bb21aa7e6d45b27c6b9d8f12f82e9ca9c3fdc7 |
| /usr/lib/.build-id/77 |
| /usr/lib/.build-id/77/15aa7ca78b8b06afdc89a3489b79578739f1b1 |
| /usr/lib/.build-id/79 |
| /usr/lib/.build-id/79/62021b3a08d84b34db25fb615df0d049469b34 |
| /usr/lib/.build-id/84 |
| /usr/lib/.build-id/84/85e8b076c0f59013339293c321b65151cbec91 |
| /usr/lib/.build-id/90 |
| /usr/lib/.build-id/90/70bc3dadc0b1c8947be6bb9b4f80680e1294c8 |
| /usr/lib/.build-id/95 |
| /usr/lib/.build-id/95/cf51c87c7bdcbe5bc4b5fdc59e1ee5f0b60b80 |
| /usr/lib/.build-id/99 |
| ... and 266 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2022-11-26 |
Rebuild for coq 8.16.1
|
| 2022-09-16 |
Version 4.1.0
|
| 2022-08-18 |
Rebuild to fix coq dependency
|
| 2022-07-21 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
| 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 3.4.3
|
| 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
|
| 2022-01-03 |
Rebuild due to rebuilt coq
|
| 2021-11-30 |
Rebuild for coq 8.14.1
|
| 2021-10-21 |
Rebuild for coq 8.14.0
|
| 2021-10-05 |
OCaml 4.13.1 build
|
| 2021-10-04 |
Try to build on s390x with OCaml 4.13
|
| 2021-07-30 |
Rebuild for rebuilt coq
|