معرفی شرکت ها
flocq-4.1.0-1.fc37.x86_64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 37 |
| مخزن | Fedora Everything x86_64 |
| نام بسته | flocq |
| نام فایل بسته | flocq-4.1.0-1.fc37.x86_64.rpm |
| نسخه بسته | 4.1.0 |
| انتشار بسته | 1.fc37 |
| معماری بسته | x86_64 |
| نگهدارنده | - |
| تاریخ ساخت | Sat 17 Sep 2022 03 |
| هاست سازنده | 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-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-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.0 | 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) |
| = e86af0d7a2d53dc625c05b5fcf5bfbc1 | ocamlx(NFlocq_Calc_Bracket) |
| = 4d52c8f245c5f69c8c9534fd9ee6c6a5 | ocamlx(NFlocq_Calc_Operations) |
| = 54a13b06f37f382773e8803da04417d0 | ocamlx(NFlocq_Calc_Round) |
| = 4b42074316049648ad080770f23f8c11 | ocamlx(NFlocq_Core_Defs) |
| = 0fdc747f08078736a4ef6833fbc278a5 | ocamlx(NFlocq_Core_Digits) |
| = bbd654dd08e2a57997000dd4c0b82602 | ocamlx(NFlocq_Core_FIX) |
| = c0c0f330b08d4f746230beffb79226ba | ocamlx(NFlocq_Core_FLT) |
| = afa7db6acea3c0d2dec498e4b95b843a | ocamlx(NFlocq_Core_Generic_fmt) |
| = d1f8a1bb3790bcd842b632e727253baf | ocamlx(NFlocq_Core_Raux) |
| = 93bd7fe4192e362bd60807f6d3e7627d | ocamlx(NFlocq_Core_Ulp) |
| = b2f8fe1005f89231f233f41a222836a4 | ocamlx(NFlocq_Core_Zaux) |
| = f37a08abe6a3cc07422a9c5e3fdaed93 | ocamlx(NFlocq_IEEE754_Binary) |
| = a771076304ef59e91d552295089f4153 | ocamlx(NFlocq_IEEE754_BinarySingleNaN) |
| = 0bcf4b3cfa08df6deffecd01929e9335 | ocamlx(NFlocq_Pff_Pff) |
| = c17d0426962a98295fddb7dff30020d7 | ocamlx(Nativecode) |
| = e9d24fbbfd9a8224482ba16fc3c48b26 | ocamlx(Nativevalues) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 4.1.0-1.fc37 | flocq |
| = 4.1.0-1.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) |
| = e86af0d7a2d53dc625c05b5fcf5bfbc1 | ocamlx(NFlocq_Calc_Bracket) |
| = 58b18c51de4eb0b38adf0de7ab47662a | ocamlx(NFlocq_Calc_Div) |
| = 4d52c8f245c5f69c8c9534fd9ee6c6a5 | ocamlx(NFlocq_Calc_Operations) |
| = 104161b3086b01f1281784a8d76af7c4 | ocamlx(NFlocq_Calc_Plus) |
| = 54a13b06f37f382773e8803da04417d0 | ocamlx(NFlocq_Calc_Round) |
| = bfb47011079152835a05a4cfbd67891e | ocamlx(NFlocq_Calc_Sqrt) |
| = af02a70f170eaee9349bff6e4b2fe433 | ocamlx(NFlocq_Core_Core) |
| = 4b42074316049648ad080770f23f8c11 | ocamlx(NFlocq_Core_Defs) |
| = 0fdc747f08078736a4ef6833fbc278a5 | ocamlx(NFlocq_Core_Digits) |
| = bbd654dd08e2a57997000dd4c0b82602 | ocamlx(NFlocq_Core_FIX) |
| = c0c0f330b08d4f746230beffb79226ba | ocamlx(NFlocq_Core_FLT) |
| = 4c3cfb36a0468fee03825ea9dc32d530 | ocamlx(NFlocq_Core_FLX) |
| = 2ac3332dc1d24b9727ae862e43d609c1 | ocamlx(NFlocq_Core_FTZ) |
| = c7bbbbbc9cb2da837a6a7044c0629716 | ocamlx(NFlocq_Core_Float_prop) |
| = afa7db6acea3c0d2dec498e4b95b843a | ocamlx(NFlocq_Core_Generic_fmt) |
| = d1f8a1bb3790bcd842b632e727253baf | ocamlx(NFlocq_Core_Raux) |
| = dd16cbb4a2e01ae26368a6b9bdec230c | ocamlx(NFlocq_Core_Round_NE) |
| = f23df588a68f2c37e28829218237c7ce | ocamlx(NFlocq_Core_Round_pred) |
| = 93bd7fe4192e362bd60807f6d3e7627d | ocamlx(NFlocq_Core_Ulp) |
| = b2f8fe1005f89231f233f41a222836a4 | ocamlx(NFlocq_Core_Zaux) |
| = f37a08abe6a3cc07422a9c5e3fdaed93 | ocamlx(NFlocq_IEEE754_Binary) |
| = a771076304ef59e91d552295089f4153 | ocamlx(NFlocq_IEEE754_BinarySingleNaN) |
| = 3d254bc2441e79ec1da3f2d200b5e883 | ocamlx(NFlocq_IEEE754_Bits) |
| = 23be6ea28e1778c84d5ba68dd60ce9bf | ocamlx(NFlocq_IEEE754_Int63Compat) |
| = 1297b3d72384660da5c78e2b0556a637 | ocamlx(NFlocq_IEEE754_Int63Copy) |
| = b83dc644102470997f322b49306b82bb | ocamlx(NFlocq_IEEE754_PrimFloat) |
| = 0bcf4b3cfa08df6deffecd01929e9335 | ocamlx(NFlocq_Pff_Pff) |
| = efa02771f23a40f9f60d666b84d60fdb | ocamlx(NFlocq_Pff_Pff2Flocq) |
| = 9f50100b6578668a4f6d93f8cd929f27 | ocamlx(NFlocq_Pff_Pff2FlocqAux) |
| = f8d7be51e38786905da62945f4356f92 | ocamlx(NFlocq_Prop_Div_sqrt_error) |
| = 7a0a30e1ef4b9d5c14d410232ea0d3f9 | ocamlx(NFlocq_Prop_Double_rounding) |
| = de4db765284a5c323de9591331e7cd6f | ocamlx(NFlocq_Prop_Mult_error) |
| = 11f1a78a78583da9e7f12d972e37ac62 | ocamlx(NFlocq_Prop_Plus_error) |
| = 069a0ab50c1b8224ccded4c7208ea84b | ocamlx(NFlocq_Prop_Relative) |
| = fd3ae9adb2f886f94a2e97304abf17d5 | ocamlx(NFlocq_Prop_Round_odd) |
| = 7fa255a4501eb6b14f761e5cbe40a625 | ocamlx(NFlocq_Prop_Sterbenz) |
| = 614e9dd037c6565a655f8e333d251568 | ocamlx(NFlocq_Version) |
نحوه نصب
نصب پکیج rpm flocq:
dnf install flocq-4.1.0-1.fc37.x86_64.rpm
فایل ها
| مسیرها |
|---|
| /usr/lib/.build-id |
| /usr/lib/.build-id/01 |
| /usr/lib/.build-id/01/045d61a92faa5a0e324d4d6e2cd045903049a8 |
| /usr/lib/.build-id/0b |
| /usr/lib/.build-id/0b/8b3a8ffbc0fc6a0f19b42b876ac57b79b551d5 |
| /usr/lib/.build-id/13 |
| /usr/lib/.build-id/13/5e33d083d92e27e5a8e3e70f426231a976a805 |
| /usr/lib/.build-id/1e |
| /usr/lib/.build-id/1e/3379b106bea02d5afc4d62eb1e65d18a4fad45 |
| /usr/lib/.build-id/26 |
| /usr/lib/.build-id/26/b67f33b6c06c3f8ae65038aadcfab03a6a0c2f |
| /usr/lib/.build-id/2f |
| /usr/lib/.build-id/2f/f3cec07f9d3093f8ad5691f52281547f5750b3 |
| /usr/lib/.build-id/32 |
| /usr/lib/.build-id/32/b4c8d0c8ff988ca48379799c580b423ce1f272 |
| /usr/lib/.build-id/3b |
| /usr/lib/.build-id/3b/5b995bf9836ec7e78eb5e29e14c52cbd57ffb1 |
| /usr/lib/.build-id/3e |
| /usr/lib/.build-id/3e/b4c9c64f15e82042633d09b04cd960acf71dca |
| /usr/lib/.build-id/41 |
| /usr/lib/.build-id/41/1ffa20811e2081073fc0ad5834f5f6a191d302 |
| /usr/lib/.build-id/43 |
| /usr/lib/.build-id/43/5e80f72e3c5a3e5b6eade926d369742f091aac |
| /usr/lib/.build-id/4e |
| /usr/lib/.build-id/4e/f8d457d8ecf79f1f7951b0473dd8c803e82e58 |
| /usr/lib/.build-id/58 |
| /usr/lib/.build-id/58/075d8b9cc70c06bbfdd52f530f17f82a321008 |
| /usr/lib/.build-id/64 |
| /usr/lib/.build-id/64/567efe521053dec66479d507218e368c515db3 |
| /usr/lib/.build-id/64/8b9e5e7147102bb5fe1a6a77ae8496161ee7ff |
| /usr/lib/.build-id/66 |
| /usr/lib/.build-id/66/49442e5ae97924c82db22b0192ce55006d7e15 |
| /usr/lib/.build-id/70 |
| /usr/lib/.build-id/70/58b05d3420cda58ee347460134a862cb438490 |
| /usr/lib/.build-id/75 |
| /usr/lib/.build-id/75/cfa308b1adb412c4f67339686ce2f1be361327 |
| /usr/lib/.build-id/80 |
| /usr/lib/.build-id/80/0a883803f13eb4b06462b049e4e60c980f905c |
| /usr/lib/.build-id/82 |
| /usr/lib/.build-id/82/5e977bed2ace99d7adf695b6b31eeb1c8a5305 |
| /usr/lib/.build-id/83 |
| /usr/lib/.build-id/83/b7320743a1f9b4fec1e21f295c6fef79bdff6d |
| /usr/lib/.build-id/84 |
| /usr/lib/.build-id/84/6ef947c687777d5eee8ae7952db0eb7683fe65 |
| /usr/lib/.build-id/89 |
| /usr/lib/.build-id/89/89557001f0128b8a0f8e94a242fd8daad65e9e |
| /usr/lib/.build-id/8f |
| /usr/lib/.build-id/8f/1e72f5921c76d76cfb6515e36a425f3e6c2115 |
| /usr/lib/.build-id/91 |
| /usr/lib/.build-id/91/537a8dafa649d1f63b711e32b524dd2854cf54 |
| ... and 268 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 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
|
| 2021-07-21 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild
|