معرفی شرکت ها
flocq-4.1.0-5.fc38.x86_64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything x86_64 |
| نام بسته | flocq |
| نام فایل بسته | flocq-4.1.0-5.fc38.x86_64.rpm |
| نسخه بسته | 4.1.0 |
| انتشار بسته | 5.fc38 |
| معماری بسته | x86_64 |
| نگهدارنده | - |
| تاریخ ساخت | Tue 24 Jan 2023 09 |
| هاست سازنده | buildvm-x86-10.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://gitlab.inria.fr/flocq/flocq |
| مجوز | LGPL-3.0-or-later |
| حجم دانلود | 4.7M |
| حجم نصب | 25.079M |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| flocq-4.1.0-5.fc38.aarch64.rpm | 4.1.0 | aarch64 | Fedora Everything |
| flocq-4.1.0-5.fc38.src.rpm | 4.1.0 | x86_64 | Fedora Everything |
| flocq-4.1.1-2.fc38.aarch64.rpm | 4.1.1 | aarch64 | Fedora Everything |
| flocq-4.1.1-2.fc38.src.rpm | 4.1.1 | x86_64 | Fedora Everything |
| flocq-4.1.1-2.fc38.x86_64.rpm | 4.1.1 | x86_64 | Fedora Everything |
| flocq-source-4.1.0-5.fc38.aarch64.rpm | 4.1.0 | aarch64 | Fedora Everything |
| flocq-source-4.1.0-5.fc38.x86_64.rpm | 4.1.0 | x86_64 | Fedora Everything |
| flocq-source-4.1.1-2.fc38.aarch64.rpm | 4.1.1 | aarch64 | Fedora Everything |
| flocq-source-4.1.1-2.fc38.x86_64.rpm | 4.1.1 | 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) |
| = 79b0e9d3b6f7fed07eb3cc2abb961b91 | 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) |
| = 0573444d7d158417dbd5f4f46081e73b | ocamlx(CamlinternalLazy) |
| = 1f993fa6a7728d4b28fa15bc4d731358 | ocamlx(NCoq_Bool_Bool) |
| = 3125777e5604fa4b18d236df25310d18 | ocamlx(NCoq_Floats_FloatAxioms) |
| = 2e0daa3c5f4d770e81cf3c3f94d3e99b | ocamlx(NCoq_Floats_FloatOps) |
| = 1d6265a0f1fddbe033396020738d33f7 | ocamlx(NCoq_Floats_SpecFloat) |
| = 48bef1774c24de06f4788df1cc458a22 | ocamlx(NCoq_Init_Datatypes) |
| = 0f42f274405f8931bcd744b7479f9d9d | ocamlx(NCoq_Init_Logic) |
| = d1b22dbf125594d15c039763555e44fd | ocamlx(NCoq_Init_Nat) |
| = 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) |
| = be7bf7b7f9876ec3e738e7733fbae5e5 | ocamlx(NCoq_Reals_RIneq) |
| = 5c48034ee4ffa23c88a0ab73e8468e47 | ocamlx(NCoq_Reals_R_sqrt) |
| = b5bacab41ebee12e582641208b3804c2 | ocamlx(NCoq_Reals_Rbasic_fun) |
| = 6250c86ce1ae948d89e2d38750933a81 | ocamlx(NCoq_Reals_Rdefinitions) |
| = c40c84e1b8310839b0ec2594aefb4af0 | ocamlx(NCoq_Reals_Rfunctions) |
| = 09746c1708cc34b221f84d74c69c2e28 | ocamlx(NCoq_Reals_Rpower) |
| = beb16bfad8352a59c2e71b3805cd02ee | ocamlx(NCoq_ZArith_BinInt) |
| = 71a9b559330273c334afbdf3d9291a61 | ocamlx(NCoq_ZArith_BinIntDef) |
| = c400cd47f09d60e1acc1c6d92923b094 | ocamlx(NCoq_ZArith_ZArith_dec) |
| = b987e292cf3ccb13995721ccf9216174 | ocamlx(NCoq_ZArith_Zbool) |
| = 7b6e34c0a8d2877f767a39355a236b90 | ocamlx(NCoq_ZArith_Zorder) |
| = a07754735f4ae25357c27b5f311f1e95 | ocamlx(NCoq_ZArith_Zpower) |
| = 9f1988d3ee097b94fc84ad794e5087c7 | ocamlx(NFlocq_Calc_Bracket) |
| = 69638fe4b6e1b4d3c38facde64e59f20 | ocamlx(NFlocq_Calc_Operations) |
| = 660a6762f24856ad83a3abc58bd2ba39 | ocamlx(NFlocq_Calc_Round) |
| = bafb01d40c4dfb7df787bab4600cbe19 | ocamlx(NFlocq_Core_Defs) |
| = 0fb36203312e0ed58e653fa4d645c560 | ocamlx(NFlocq_Core_Digits) |
| = 25f96a7dafabc09e1586d4996effb907 | ocamlx(NFlocq_Core_FIX) |
| = e55966b1ac2036934dfe903c02e1f3e5 | ocamlx(NFlocq_Core_FLT) |
| = 5657720b0273057c4294f761ae27d935 | ocamlx(NFlocq_Core_Generic_fmt) |
| = 7f8798a9ca1480885baa246d5781a16f | ocamlx(NFlocq_Core_Raux) |
| = 00fd5d058ddc8ef0d052a32aeeeb8979 | ocamlx(NFlocq_Core_Ulp) |
| = 3c75459b8113c42b755ef00165c5efe3 | ocamlx(NFlocq_Core_Zaux) |
| = 736f14bad22f6a266a822db7e1965a50 | ocamlx(NFlocq_IEEE754_Binary) |
| = 9afee01125f062cf1d547f2b1762f608 | ocamlx(NFlocq_IEEE754_BinarySingleNaN) |
| = 34967e09400a0a515a1a14ae70a1233d | ocamlx(NFlocq_Pff_Pff) |
| = 378132e12cd0ddc62cbb443b2537e37f | ocamlx(Nativecode) |
| = b733ab24883fab6226ad7bb0280e587b | ocamlx(Nativevalues) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 4.1.0-5.fc38 | flocq |
| = 4.1.0-5.fc38 | 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) |
| = 9f1988d3ee097b94fc84ad794e5087c7 | ocamlx(NFlocq_Calc_Bracket) |
| = 1923635c5087aca03179530492cd1f20 | ocamlx(NFlocq_Calc_Div) |
| = 69638fe4b6e1b4d3c38facde64e59f20 | ocamlx(NFlocq_Calc_Operations) |
| = 51686547ab94cf2dd163da215b893ef6 | ocamlx(NFlocq_Calc_Plus) |
| = 660a6762f24856ad83a3abc58bd2ba39 | ocamlx(NFlocq_Calc_Round) |
| = 8e97df2235211165eb3bffd1b7ba3862 | ocamlx(NFlocq_Calc_Sqrt) |
| = e791137bb21e3642467e2b6c975a5d4f | ocamlx(NFlocq_Core_Core) |
| = 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) |
| = 58ff9b5c8f3435a954be24e2b6608bb6 | ocamlx(NFlocq_Core_FTZ) |
| = c2dea52f1334d68048c6652ecdcd8265 | ocamlx(NFlocq_Core_Float_prop) |
| = 5657720b0273057c4294f761ae27d935 | ocamlx(NFlocq_Core_Generic_fmt) |
| = 7f8798a9ca1480885baa246d5781a16f | ocamlx(NFlocq_Core_Raux) |
| = 038a0593e085a73b677638fddf7423e4 | ocamlx(NFlocq_Core_Round_NE) |
| = b1102ed295835493af6a59c24e5e7910 | ocamlx(NFlocq_Core_Round_pred) |
| = 00fd5d058ddc8ef0d052a32aeeeb8979 | ocamlx(NFlocq_Core_Ulp) |
| = 3c75459b8113c42b755ef00165c5efe3 | ocamlx(NFlocq_Core_Zaux) |
| = 736f14bad22f6a266a822db7e1965a50 | ocamlx(NFlocq_IEEE754_Binary) |
| = 9afee01125f062cf1d547f2b1762f608 | ocamlx(NFlocq_IEEE754_BinarySingleNaN) |
| = f28e04d3027735923c421423b6618200 | ocamlx(NFlocq_IEEE754_Bits) |
| = 8710591bde050274bb1c3e2d4efe8ec8 | ocamlx(NFlocq_IEEE754_Int63Compat) |
| = 39845b8f5d779a7f6b947daa1ad2fbfb | ocamlx(NFlocq_IEEE754_Int63Copy) |
| = 6787277d03b21e99027972234be238ff | ocamlx(NFlocq_IEEE754_PrimFloat) |
| = 34967e09400a0a515a1a14ae70a1233d | ocamlx(NFlocq_Pff_Pff) |
| = 1677c72bef00d7a2bb9c83571f087151 | ocamlx(NFlocq_Pff_Pff2Flocq) |
| = 518b47633b71a621bf391fc76d1bdbd5 | ocamlx(NFlocq_Pff_Pff2FlocqAux) |
| = 5c9eb29bfeda54155a30a9a24fdf6a22 | ocamlx(NFlocq_Prop_Div_sqrt_error) |
| = 77be9721b274ceb69c8db15d8be6fa79 | ocamlx(NFlocq_Prop_Double_rounding) |
| = 34f643eb78ae28f4aef1bc073c310c3d | ocamlx(NFlocq_Prop_Mult_error) |
| = f1c1ffb3e0c16d5f0450198ddbc7ce68 | ocamlx(NFlocq_Prop_Plus_error) |
| = c773280434037cf1cae999b1655b10ac | ocamlx(NFlocq_Prop_Relative) |
| = d3cf47ac54ea378229a553d4d5913f6a | ocamlx(NFlocq_Prop_Round_odd) |
| = 3be07614f7d716e667d779f47ef3506d | ocamlx(NFlocq_Prop_Sterbenz) |
| = 6e94764ab4b4de23961186d978b4d38c | ocamlx(NFlocq_Version) |
نحوه نصب
نصب پکیج rpm flocq:
dnf install flocq-4.1.0-5.fc38.x86_64.rpm
فایل ها
| مسیرها |
|---|
| /usr/lib/.build-id |
| /usr/lib/.build-id/05 |
| /usr/lib/.build-id/05/1f8136553c824f9b735b9d957e88d8595697f5 |
| /usr/lib/.build-id/07 |
| /usr/lib/.build-id/07/92f9610f4ec12873b1b6d4ec2336f525da4783 |
| /usr/lib/.build-id/21 |
| /usr/lib/.build-id/21/3c03b677fa83eaa7c647b74545ceb43ea6c99a |
| /usr/lib/.build-id/23 |
| /usr/lib/.build-id/23/fc231b5570d5b60a7b9cb016c263d3da604ab4 |
| /usr/lib/.build-id/26 |
| /usr/lib/.build-id/26/ffddb04edb04fb0ff81974e662be08737f66d2 |
| /usr/lib/.build-id/29 |
| /usr/lib/.build-id/29/26716fdd9650e7ceaf938d5ee62a1005363079 |
| /usr/lib/.build-id/31 |
| /usr/lib/.build-id/31/80e5bf10f11ce7ddbfc8edcab3fbcd5091aa25 |
| /usr/lib/.build-id/37 |
| /usr/lib/.build-id/37/7ca2627778a7166b0dea037d5644cac7075e7c |
| /usr/lib/.build-id/3a |
| /usr/lib/.build-id/3a/f97d0cec714507226d58cba3df0fa7a82e209a |
| /usr/lib/.build-id/4a |
| /usr/lib/.build-id/4a/594a0a9a03399a5185d9783bb89bf98876be37 |
| /usr/lib/.build-id/52 |
| /usr/lib/.build-id/52/cd91229c755dd9b923c7192e77a5f0a86eaae0 |
| /usr/lib/.build-id/53 |
| /usr/lib/.build-id/53/9cde0d1a47a5db6747e30a0ca562603ec9d977 |
| /usr/lib/.build-id/6a |
| /usr/lib/.build-id/6a/f94f3df829651e1fd44bf3147128520142ffcc |
| /usr/lib/.build-id/6c |
| /usr/lib/.build-id/6c/80ea57755e05c96f7c80e03ec8fdad04c5b2a4 |
| /usr/lib/.build-id/70 |
| /usr/lib/.build-id/70/a8cf9d369ba8519e80ea082029dfddce3f8f18 |
| /usr/lib/.build-id/76 |
| /usr/lib/.build-id/76/fc864ad4f89c0c916527b89eb20054f4e76bd1 |
| /usr/lib/.build-id/77 |
| /usr/lib/.build-id/77/c0f6aff603d2a96070a93a16e5aca981e6dd3a |
| /usr/lib/.build-id/81 |
| /usr/lib/.build-id/81/0c293fe0323b10332a5acd4de10f094013eb76 |
| /usr/lib/.build-id/81/cc5def2b1ea6414e8ab9c33eee2873f2c77207 |
| /usr/lib/.build-id/85 |
| /usr/lib/.build-id/85/9fbc0fa79d5389522fd67fd4207b1fe73c3ac4 |
| /usr/lib/.build-id/89 |
| /usr/lib/.build-id/89/c76d856685b1e282a11e46824e0955989e97fd |
| /usr/lib/.build-id/99 |
| /usr/lib/.build-id/99/1e72746a59b76960e8d74792a0c746a2d9a847 |
| /usr/lib/.build-id/9a |
| /usr/lib/.build-id/9a/5a6e60d46d7807bb0dd35424a5bc0f78bb7092 |
| /usr/lib/.build-id/9e |
| /usr/lib/.build-id/9e/864ad1e6a8862df0f8b092b6f456b7925e27d4 |
| /usr/lib/.build-id/b1 |
| /usr/lib/.build-id/b1/26abc66bd5d4adee0e8ff67c9834fd8385f7b0 |
| ... and 268 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-01-24 |
Bump release and rebuild
|
| 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 |
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
|