معرفی شرکت ها
flocq-4.1.1-2.fc38.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | flocq |
| نام فایل بسته | flocq-4.1.1-2.fc38.aarch64.rpm |
| نسخه بسته | 4.1.1 |
| انتشار بسته | 2.fc38 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Wed 18 Oct 2023 07 |
| هاست سازنده | buildvm-a64-25.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://gitlab.inria.fr/flocq/flocq |
| مجوز | LGPL-3.0-or-later |
| حجم دانلود | 4.7M |
| حجم نصب | 31.003M |
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| 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.0-5.fc38.x86_64.rpm | 4.1.0 | x86_64 | 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.17.1 | coq(aarch-64) |
| = 6db97d4aba38e99b1ce79c13c9dc26ae | ocaml(AcyclicGraph) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = e6f0ae1977289571e268f9f4798f45af | ocaml(CAst) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = 963264b024cbb32e5211e7abb601d1fc | ocaml(CList) |
| = b5f62fbd6f9416f40b63b0dac2bac8a8 | ocaml(CMap) |
| = b572f5424b98ffcb8968be2d42112246 | ocaml(CPrimitives) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
| = 5365fec4a58da3e2d8fa2186f77d9be4 | ocaml(CamlinternalLazy) |
| = 670799fa78880c542c37d64b3baf38aa | ocaml(Constr) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = 2c425c1e71f2ea9e68941efc72edf46e | ocaml(Cooking) |
| = aaa7cf86083c22fe0bdc650b9766d7f2 | ocaml(Declarations) |
| = 52e9defc7fd393e51d052bac59d8446f | ocaml(Environ) |
| = a96ceb099c2f1fb6d9584a61b57ee72b | ocaml(Esubst) |
| = 5410ca5e116902547a19a06b75d92579 | ocaml(Evar) |
| = 1108fbdf2827b6d2494e3e4bca2b55f0 | ocaml(Exninfo) |
| = 919fb2eabc120f3c4e0129cfc56531e2 | ocaml(Float64) |
| = 56cbe0a8daebf59b513cd61e5af4c4a0 | ocaml(Genlambda) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = 5d7dae0fd8a18e8d5aa73a19ee3bbc40 | ocaml(Int) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = 883ff24157873ad45c0b936416e276f3 | ocaml(Mod_subst) |
| = 47c7b266b79270b8f0b15b1720ee87aa | ocaml(NCoq_Arith_Factorial) |
| = 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) |
| = 7f13775cfc7b4eadd6f92533a755b3fc | ocaml(NCoq_Floats_FloatAxioms) |
| = dbd845bb26aa9b4a768cdf11ce1788d3 | ocaml(NCoq_Floats_FloatClass) |
| = 3e07cc3d1ab4793f6833907565007e25 | ocaml(NCoq_Floats_FloatOps) |
| = 4efe75d4ce70c0839531af6b55a05218 | ocaml(NCoq_Floats_PrimFloat) |
| = 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) |
| = 88cb96a6646a43dc3c42f6cb8ca2715d | ocaml(NCoq_Numbers_Cyclic_Abstract_CarryType) |
| = bbc7b2d5e9bbc38993cf387aef80ce9d | ocaml(NCoq_Numbers_Cyclic_Int63_PrimInt63) |
| = 7c2272ca3504a372170c1d49252f1949 | ocaml(NCoq_Numbers_Cyclic_Int63_Uint63) |
| = 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) |
| = bd621c0797eefa33a2ba3ac492e59f2c | ocaml(NCoq_Reals_Alembert) |
| = 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) |
| = 271353e4557931dc792c4eef3727bde6 | ocaml(NCoq_Reals_Rpower) |
| = 550a37f43b8210a23da8d305167a2aaa | ocaml(NCoq_Reals_Rsqrt_def) |
| = d5df5cd7858823627e0032404dde6688 | ocaml(NCoq_Reals_Rtrigo_def) |
| = 79007b47d4df2031b6637fdfa61ece9b | ocaml(NCoq_Reals_Rtrigo_fun) |
| = ac7c54de55154e1e6fa55367d66f6f11 | ocaml(NCoq_Relations_Relation_Definitions) |
| = b4a592883b667daf1534538003f4f02d | ocaml(NCoq_Structures_OrdersTac) |
| = a6355607a6aec47df884d02e09314e4f | ocaml(NCoq_ZArith_BinInt) |
| = 87e7ef8712a02a67ec9ae27e1680ee70 | ocaml(NCoq_ZArith_BinIntDef) |
| = 48ed3be92b393f44ef814ef7217b8452 | ocaml(NCoq_ZArith_ZArith_dec) |
| = 0780b0ab8a7dd60117d04ce4148ecd41 | ocaml(NCoq_ZArith_Zbool) |
| = a030e2000395803d4d23b612d9a79b70 | ocaml(NCoq_ZArith_Zeven) |
| = 94da1a4df208ddb46df1700004658560 | ocaml(NCoq_ZArith_Znat) |
| = 91a0eda56c8beb7c6644252da846d0f5 | ocaml(NCoq_ZArith_Zorder) |
| = 7b9d7348df09e815db99d60e29c11a6f | ocaml(NCoq_ZArith_Zpower) |
| = 4ad8bfe2179da4d9177ac6b283df8bf1 | ocaml(NCoq_setoid_ring_Ring_theory) |
| = 20ba3b1ac2be233da40aa18c0c92292e | ocaml(NFlocq_Calc_Bracket) |
| = 191fff00bb0875bb5c77b93af01b2ff8 | ocaml(NFlocq_Calc_Operations) |
| = 8db6fb73b2835cd18b881201207be9ea | ocaml(NFlocq_Calc_Round) |
| = 132b24e99d3a5669fbb9feae3bb4ab0e | ocaml(NFlocq_Core_Defs) |
| = 9e1310413c913a287784d9e1207c99bb | ocaml(NFlocq_Core_Digits) |
| = 623c74745f56657c760f2b3e25ec9b03 | ocaml(NFlocq_Core_FIX) |
| = 284f67b699b86802d59614fe94330310 | ocaml(NFlocq_Core_FLT) |
| = a2463e4363999b165b83188ef11e6437 | ocaml(NFlocq_Core_Generic_fmt) |
| = 10a1868c65be4137786833a740b846ac | ocaml(NFlocq_Core_Raux) |
| = 5a4d967c5a6be13e862c764cb397e9cf | ocaml(NFlocq_Core_Ulp) |
| = a0906b16b454ba59d23c1c323e4d6186 | ocaml(NFlocq_Core_Zaux) |
| = d01e3fdce7e79e0a8eff138b7b083e36 | ocaml(NFlocq_IEEE754_Binary) |
| = 0bc45688e525687c976c86dfe298201b | ocaml(NFlocq_IEEE754_BinarySingleNaN) |
| = 8b5b17d8dd671cfbfcca3aaf1b149bfe | ocaml(NFlocq_Pff_Pff) |
| = 2ea9132743d37e1af5c8327b5dc400b1 | ocaml(Names) |
| = 842a27615e40a598a3aabe25b3b65322 | ocaml(Nativecode) |
| = 8d892045979e0114aa149472891fd7cd | ocaml(Nativeconv) |
| = c14db6be2a471852ffc636e36467ec57 | ocaml(Nativelib) |
| = 50c4bb93028b49d5f9a3462bd4dda4e2 | ocaml(Nativevalues) |
| = 999bfd5f937c49fe3b1b03eafd7a3c8b | ocaml(Opaqueproof) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 061463a7ecc6882acd7c10c1c6cf2653 | ocaml(Reduction) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 87266e831aa0fb41e7e69d43dba10e03 | ocaml(SList) |
| = 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) |
| = c0dde02a556a6d79e363ad365d165d57 | ocaml(Stdlib__Uchar) |
| = 7a45b29ea54c962bdd7f36b12dac3b17 | ocaml(Term) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = 2fd6f0b34adce97d21c5d93b17310f9b | ocaml(UGraph) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = f7225d1b1091516b25bcad262c410029 | ocaml(Univ) |
| = 84bb8ec8ae50f70acba86f5b72088b1c | ocaml(Unix) |
| = 82442e4e897c61e9ffd5234974e104ef | ocaml(Util) |
| = cb3ff5d5b665cb384fb59c1413884523 | ocaml(Values) |
| = 0ec5367f45655d3cfc46db2e6443e395 | ocaml(Vmbytecodes) |
| = 346ef462a1e0243aad6f2621f358e795 | ocaml(Vmemitcodes) |
| = 1faa9be887b3fe66b213790f9bb1a3d8 | ocaml(Vmvalues) |
| = 0573444d7d158417dbd5f4f46081e73b | ocamlx(CamlinternalLazy) |
| = a1e05642f6d8551d01fd744a20616e38 | ocamlx(NFlocq_Calc_Bracket) |
| = e8f093e6fc23d9775f79f979fec80b86 | ocamlx(NFlocq_Calc_Operations) |
| = 61ebcc36a502a480de43b260eff46080 | ocamlx(NFlocq_Calc_Round) |
| = 98568f22f0f1a59f027e58e5df9792e9 | ocamlx(NFlocq_Core_Defs) |
| = eb8348028e8c89ad24bfd9dd6d8e60e3 | ocamlx(NFlocq_Core_Digits) |
| = 1801ee276a87985feead0544e5236627 | ocamlx(NFlocq_Core_FIX) |
| = 3d7ae5c0ccaadb2c2f932c19e248fbf8 | ocamlx(NFlocq_Core_FLT) |
| = 39d8b8dd73998543157621ac341952cd | ocamlx(NFlocq_Core_Generic_fmt) |
| = 46c2091c7586b4b13d0f9cfb48e66549 | ocamlx(NFlocq_Core_Raux) |
| = a00f02dc7c617e5daa51ce6bb3917274 | ocamlx(NFlocq_Core_Ulp) |
| = 54b26278f618199cadf17432f3b28b23 | ocamlx(NFlocq_Core_Zaux) |
| = db08d3b3e384ca03689522ae935909a8 | ocamlx(NFlocq_IEEE754_Binary) |
| = f5c47d600e4e75f0af9291695263d513 | ocamlx(NFlocq_IEEE754_BinarySingleNaN) |
| = 9b689b49762fa2b2239a0a52f216fd7c | ocamlx(NFlocq_Pff_Pff) |
| = 5a7e0e94055b1546ca43d838d54c067d | ocamlx(Nativecode) |
| = dbcd9cbff7a6549a641c25e4afb7c276 | ocamlx(Nativevalues) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 4.1.1-2.fc38 | flocq |
| = 4.1.1-2.fc38 | flocq(aarch-64) |
| = 20ba3b1ac2be233da40aa18c0c92292e | ocaml(NFlocq_Calc_Bracket) |
| = 70b57be4560f0ccdf90d3b20b2734baa | ocaml(NFlocq_Calc_Div) |
| = 191fff00bb0875bb5c77b93af01b2ff8 | ocaml(NFlocq_Calc_Operations) |
| = 1911781aaedbe5691306c4cd5aa875b3 | ocaml(NFlocq_Calc_Plus) |
| = 8db6fb73b2835cd18b881201207be9ea | ocaml(NFlocq_Calc_Round) |
| = 154f823df5e5ad9bd062ab3b72f4e402 | ocaml(NFlocq_Calc_Sqrt) |
| = 106a655baa1dbdbaf6cc2f74b12bc828 | ocaml(NFlocq_Core_Core) |
| = 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) |
| = 025bb6f80cb61078d5a1f87b7cfde706 | ocaml(NFlocq_Core_FTZ) |
| = f5675f67124519610bafc7fd78d6265f | ocaml(NFlocq_Core_Float_prop) |
| = a2463e4363999b165b83188ef11e6437 | ocaml(NFlocq_Core_Generic_fmt) |
| = 10a1868c65be4137786833a740b846ac | ocaml(NFlocq_Core_Raux) |
| = 77281a77cf83b8c709f0b1924aaa6d2a | ocaml(NFlocq_Core_Round_NE) |
| = 4a775618d4a694a66eeb0a4cd72772c4 | ocaml(NFlocq_Core_Round_pred) |
| = 5a4d967c5a6be13e862c764cb397e9cf | ocaml(NFlocq_Core_Ulp) |
| = a0906b16b454ba59d23c1c323e4d6186 | ocaml(NFlocq_Core_Zaux) |
| = d01e3fdce7e79e0a8eff138b7b083e36 | ocaml(NFlocq_IEEE754_Binary) |
| = 0bc45688e525687c976c86dfe298201b | ocaml(NFlocq_IEEE754_BinarySingleNaN) |
| = 02f8abafdf5a2cf2f63c8dd9cc1103e1 | ocaml(NFlocq_IEEE754_Bits) |
| = 6f8103fc607390b8cb8fa9017242952f | ocaml(NFlocq_IEEE754_Int63Compat) |
| = f94367b94aac3b54806fd1bf60e77ac6 | ocaml(NFlocq_IEEE754_Int63Copy) |
| = cb81fa86241801bf20bffcdbeef910fb | ocaml(NFlocq_IEEE754_PrimFloat) |
| = 8b5b17d8dd671cfbfcca3aaf1b149bfe | ocaml(NFlocq_Pff_Pff) |
| = 1c8f9f0ef3727f52aa7272fd23a2e961 | ocaml(NFlocq_Pff_Pff2Flocq) |
| = c424294a68e1b46ced9952de29e30cd3 | ocaml(NFlocq_Pff_Pff2FlocqAux) |
| = 880586ab6e9403820fbaad4a9c0192f9 | ocaml(NFlocq_Prop_Div_sqrt_error) |
| = 000178d3a1384a193a0a1ce757f05f58 | ocaml(NFlocq_Prop_Double_rounding) |
| = 9bd5e908d5b5062713a7bf614fdf8ff2 | ocaml(NFlocq_Prop_Mult_error) |
| = c833fbc97b29301dbd5c77147d5f34fb | ocaml(NFlocq_Prop_Plus_error) |
| = fbda8ac260e7bdb35642607d4874f979 | ocaml(NFlocq_Prop_Relative) |
| = 9a109b3770a5f8c56ecea12a1580096a | ocaml(NFlocq_Prop_Round_odd) |
| = 4083f77c8b3bbf23409705232a9ae698 | ocaml(NFlocq_Prop_Sterbenz) |
| = f31d9a7a4c6b92d183d55cb4b02d4f49 | ocaml(NFlocq_Version) |
| = a1e05642f6d8551d01fd744a20616e38 | ocamlx(NFlocq_Calc_Bracket) |
| = 0019948c311a44d71256e54d1e5ad988 | ocamlx(NFlocq_Calc_Div) |
| = e8f093e6fc23d9775f79f979fec80b86 | ocamlx(NFlocq_Calc_Operations) |
| = 36139389931e92b9971d2c6edefc1f0c | ocamlx(NFlocq_Calc_Plus) |
| = 61ebcc36a502a480de43b260eff46080 | ocamlx(NFlocq_Calc_Round) |
| = 85d1e70e0cb416941fc8470f0dfcf9b6 | ocamlx(NFlocq_Calc_Sqrt) |
| = 472f51dca0a91ef3b34bccbebdd2c216 | ocamlx(NFlocq_Core_Core) |
| = 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) |
| = 7b68115dde32be4ac6588335066a7fa0 | ocamlx(NFlocq_Core_FTZ) |
| = b82f4ccaea95130cd640cb7e397bf056 | ocamlx(NFlocq_Core_Float_prop) |
| = 39d8b8dd73998543157621ac341952cd | ocamlx(NFlocq_Core_Generic_fmt) |
| = 46c2091c7586b4b13d0f9cfb48e66549 | ocamlx(NFlocq_Core_Raux) |
| = bbd4bce9f54bad24332abc2974f34c5e | ocamlx(NFlocq_Core_Round_NE) |
| = 31678e92ec900f3ae38e7f593cef8a5e | ocamlx(NFlocq_Core_Round_pred) |
| = a00f02dc7c617e5daa51ce6bb3917274 | ocamlx(NFlocq_Core_Ulp) |
| = 54b26278f618199cadf17432f3b28b23 | ocamlx(NFlocq_Core_Zaux) |
| = db08d3b3e384ca03689522ae935909a8 | ocamlx(NFlocq_IEEE754_Binary) |
| = f5c47d600e4e75f0af9291695263d513 | ocamlx(NFlocq_IEEE754_BinarySingleNaN) |
| = 4b2952479bfe31c6418b19da44c74b70 | ocamlx(NFlocq_IEEE754_Bits) |
| = 5223ea67c12603665570ef3d587b9d41 | ocamlx(NFlocq_IEEE754_Int63Compat) |
| = 45e67c2dbd07aec6307a23a1db1e9576 | ocamlx(NFlocq_IEEE754_Int63Copy) |
| = 18fbd0bc37ecda7911ca76f3ef4910ed | ocamlx(NFlocq_IEEE754_PrimFloat) |
| = 9b689b49762fa2b2239a0a52f216fd7c | ocamlx(NFlocq_Pff_Pff) |
| = a1a9fd0b70f4f2b4ad5455b9f544c8c3 | ocamlx(NFlocq_Pff_Pff2Flocq) |
| = 0cc574fccfc4c2f8583e71ab12402dae | ocamlx(NFlocq_Pff_Pff2FlocqAux) |
| = 1e6750c59b9d6213ea7fcaba82985ca9 | ocamlx(NFlocq_Prop_Div_sqrt_error) |
| = e5e382de281d985729515dcce805d176 | ocamlx(NFlocq_Prop_Double_rounding) |
| = 4d0863cfd6d455ccf9b49b6e229b93d1 | ocamlx(NFlocq_Prop_Mult_error) |
| = 19a50d1d47f18e09a0d105f5e8616d85 | ocamlx(NFlocq_Prop_Plus_error) |
| = 23dad7b1348eb7ddf14e6476f0f6644a | ocamlx(NFlocq_Prop_Relative) |
| = 5cc532f9338fda69c6cd7de14b8e2c13 | ocamlx(NFlocq_Prop_Round_odd) |
| = 0a61d6693f8bd7f009d0c1080d98a363 | ocamlx(NFlocq_Prop_Sterbenz) |
| = 8f2f3001d51467ec2d056fe8b6447992 | ocamlx(NFlocq_Version) |
نحوه نصب
نصب پکیج rpm flocq:
dnf install flocq-4.1.1-2.fc38.aarch64.rpm
فایل ها
| مسیرها |
|---|
| /usr/lib/.build-id |
| /usr/lib/.build-id/01 |
| /usr/lib/.build-id/01/40443c8329bc6a586acabc8ae3640793ee314f |
| /usr/lib/.build-id/07 |
| /usr/lib/.build-id/07/01325c7e7e4c90bf753cc44bf234172c3cab73 |
| /usr/lib/.build-id/08 |
| /usr/lib/.build-id/08/4973cde9b6d0746c5908c466fd76df5cc0e7bf |
| /usr/lib/.build-id/0e |
| /usr/lib/.build-id/0e/2877125c05442e86f5fb22c1213c50fb89b442 |
| /usr/lib/.build-id/0f |
| /usr/lib/.build-id/0f/cbc86e9e2e6bd99cdfb4c1c0665c30069991e8 |
| /usr/lib/.build-id/1a |
| /usr/lib/.build-id/1a/031632a871512e468b910236aeb2f018c88725 |
| /usr/lib/.build-id/20 |
| /usr/lib/.build-id/20/450bf7fb2e991cd7b72379b3f61226b878ee16 |
| /usr/lib/.build-id/23 |
| /usr/lib/.build-id/23/e186dfdc49542e1e75b32f98e9ebb1be00dfe0 |
| /usr/lib/.build-id/24 |
| /usr/lib/.build-id/24/5b16bccc19ed78e30c4a24801421de492507ac |
| /usr/lib/.build-id/27 |
| /usr/lib/.build-id/27/38598f432c07691ef5b318c609e1b660f7b7f4 |
| /usr/lib/.build-id/28 |
| /usr/lib/.build-id/28/5e617e54cfef71f65f9088a2ead362b6f16180 |
| /usr/lib/.build-id/3d |
| /usr/lib/.build-id/3d/46c013c833d2a9aea3995e4892dc5e0c241c0c |
| /usr/lib/.build-id/46 |
| /usr/lib/.build-id/46/430b4218b8a891d90949d075de9a4eb3012baa |
| /usr/lib/.build-id/62 |
| /usr/lib/.build-id/62/5317fcc735f4ce6c167757a92ed76dc9fdd6ca |
| /usr/lib/.build-id/67 |
| /usr/lib/.build-id/67/c868009f9ad980980b154eb83b3a72428d8936 |
| /usr/lib/.build-id/6a |
| /usr/lib/.build-id/6a/31d15968b3444d190fc2e6c6d3631921f8eedf |
| /usr/lib/.build-id/6a/44672fc7122f630e0567fcaee337a5fe25dfba |
| /usr/lib/.build-id/6d |
| /usr/lib/.build-id/6d/bc94df3ff6fa0587bd87bd6cfdc80bb1a8494a |
| /usr/lib/.build-id/7e |
| /usr/lib/.build-id/7e/c82306f92f1605004bb17ee9c1da2f6bb0331b |
| /usr/lib/.build-id/88 |
| /usr/lib/.build-id/88/a9615c41f9e21e80db9829055d2436b39b49be |
| /usr/lib/.build-id/90 |
| /usr/lib/.build-id/90/ab047761ea9d642ac6152e08eeba1bddb4b4db |
| /usr/lib/.build-id/95 |
| /usr/lib/.build-id/95/d172f9f583d1f92d14ebe052f83359133695ff |
| /usr/lib/.build-id/96 |
| /usr/lib/.build-id/96/9e2ad38074a009c27b8490c26c5974647541dd |
| /usr/lib/.build-id/9b |
| /usr/lib/.build-id/9b/fadd936c69eb8cd89bc6df2aeec500d81f0037 |
| /usr/lib/.build-id/a4 |
| /usr/lib/.build-id/a4/8895caf9ac507fdc90bb928b91ac0af4619b64 |
| ... and 267 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-10-18 |
Rebuild for coq 8.17.1
|
| 2023-04-01 |
Version 4.1.1
|
| 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
|