معرفی شرکت ها
flocq-4.1.0-2.fc37.x86_64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 37 |
| مخزن | Fedora Everything x86_64 |
| نام بسته | flocq |
| نام فایل بسته | flocq-4.1.0-2.fc37.x86_64.rpm |
| نسخه بسته | 4.1.0 |
| انتشار بسته | 2.fc37 |
| معماری بسته | x86_64 |
| نگهدارنده | - |
| تاریخ ساخت | Sun 27 Nov 2022 07 |
| هاست سازنده | buildvm-x86-18.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://gitlab.inria.fr/flocq/flocq |
| مجوز | LGPL-3.0-or-later |
| حجم دانلود | 4.7M |
| حجم نصب | 25.079M |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| 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.aarch64.rpm | 4.1.0 | aarch64 | Fedora Everything |
| flocq-4.1.0-2.fc37.src.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(x86-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(x86-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.x86_64.rpm
فایل ها
| مسیرها |
|---|
| /usr/lib/.build-id |
| /usr/lib/.build-id/02 |
| /usr/lib/.build-id/02/044440ba5a7a8f7516a73ccba771c2977df664 |
| /usr/lib/.build-id/03 |
| /usr/lib/.build-id/03/b3f0cb7d23d0fad918951ec00b7e41667da783 |
| /usr/lib/.build-id/04 |
| /usr/lib/.build-id/04/1a1dea755c956bab250939317a6cd26bc016d9 |
| /usr/lib/.build-id/08 |
| /usr/lib/.build-id/08/6250d75f4fa2229cee635d3215b02efe9ef3bb |
| /usr/lib/.build-id/0e |
| /usr/lib/.build-id/0e/389364b83557f170250eec55de30a9225ba200 |
| /usr/lib/.build-id/15 |
| /usr/lib/.build-id/15/cfe2791a7974c64d92d810eac183b1e0eb0669 |
| /usr/lib/.build-id/17 |
| /usr/lib/.build-id/17/2b739276ab16d27257045b81dece830600a911 |
| /usr/lib/.build-id/1e |
| /usr/lib/.build-id/1e/fda9c415d9976c2e47e634bedb67c846da09a4 |
| /usr/lib/.build-id/29 |
| /usr/lib/.build-id/29/ffff17541f073c5a8763a309288a2f15745551 |
| /usr/lib/.build-id/2b |
| /usr/lib/.build-id/2b/6e113d3f8f3d23924b0fd355f9f2037d041459 |
| /usr/lib/.build-id/38 |
| /usr/lib/.build-id/38/4d8ffe5259d2786f4942af3a6d9892229410cf |
| /usr/lib/.build-id/39 |
| /usr/lib/.build-id/39/eb0630ff9477deaab19a279170137f5202749a |
| /usr/lib/.build-id/3c |
| /usr/lib/.build-id/3c/b6b0e73a0a53df676918726a58ca7eca0283b9 |
| /usr/lib/.build-id/44 |
| /usr/lib/.build-id/44/288c3dfe4dd876fc9453fc828c6b94e245fad0 |
| /usr/lib/.build-id/47 |
| /usr/lib/.build-id/47/ff0b49b3f37cfb30a1fc21b7e58a3096964cb0 |
| /usr/lib/.build-id/53 |
| /usr/lib/.build-id/53/24bffe3099d9c241535e5f634c537e5d7c42e0 |
| /usr/lib/.build-id/65 |
| /usr/lib/.build-id/65/949b4351c48569441730aa756ef4613399c6e7 |
| /usr/lib/.build-id/70 |
| /usr/lib/.build-id/70/dc8284ea3ecc0b2d5a5e2fd6a75acb398ca326 |
| /usr/lib/.build-id/79 |
| /usr/lib/.build-id/79/778341b11838b84b4fcd3be0854d1b07e34715 |
| /usr/lib/.build-id/8b |
| /usr/lib/.build-id/8b/f8e4eac79c1facc228f6473609a3a3d250f8ac |
| /usr/lib/.build-id/8d |
| /usr/lib/.build-id/8d/871c62edaa6b3190aae61ab6ae270d066fb520 |
| /usr/lib/.build-id/97 |
| /usr/lib/.build-id/97/bdc4b30e1c8495c5223e09bd85f552f23034af |
| /usr/lib/.build-id/9e |
| /usr/lib/.build-id/9e/ab40fb9cf7f95e41ffe487ec26ebee1980fca2 |
| /usr/lib/.build-id/a7 |
| /usr/lib/.build-id/a7/d480aa50be500096f5b203572fcaafa7f01c8b |
| /usr/lib/.build-id/b2 |
| ... and 268 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
|