SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE


YUM REPOSITORY

 
 

flocq rpm build for : Fedora 32. For other distributions click flocq.

Name : flocq
Version : 3.3.1 Vendor : Fedora Project
Release : 1.fc32 Date : 2020-06-16 17:25:30
Group : Unspecified Source RPM : flocq-3.3.1-1.fc32.src.rpm
Size : 25.04 MB
Packager : Fedora Project
Summary : Formalization of floating point numbers for Coq
Description :
Flocq (Floats for Coq) is a floating-point formalization for the Coq
system. It provides a comprehensive library of theorems on a
multi-radix multi-precision arithmetic. It also supports efficient
numerical computations inside Coq.

RPM found in directory: /mirror/download.fedora.redhat.com/pub/fedora/linux/updates/32/Everything/x86_64/Packages/f

Content of RPM  Changelog  Provides Requires

Download
ftp.ntua.gr  flocq-3.3.1-1.fc32.x86_64.rpm
ftp.pbone.net  flocq-3.3.1-1.fc32.x86_64.rpm
     

Provides :
flocq
flocq(x86-64)
ocaml(NFlocq_Calc_Bracket)
ocaml(NFlocq_Calc_Div)
ocaml(NFlocq_Calc_Operations)
ocaml(NFlocq_Calc_Round)
ocaml(NFlocq_Calc_Sqrt)
ocaml(NFlocq_Core_Core)
ocaml(NFlocq_Core_Defs)
ocaml(NFlocq_Core_Digits)
ocaml(NFlocq_Core_FIX)
ocaml(NFlocq_Core_FLT)
ocaml(NFlocq_Core_FLX)
ocaml(NFlocq_Core_FTZ)
ocaml(NFlocq_Core_Float_prop)
ocaml(NFlocq_Core_Generic_fmt)
ocaml(NFlocq_Core_Raux)
ocaml(NFlocq_Core_Round_NE)
ocaml(NFlocq_Core_Round_pred)
ocaml(NFlocq_Core_Ulp)
ocaml(NFlocq_Core_Zaux)
ocaml(NFlocq_IEEE754_Binary)
ocaml(NFlocq_IEEE754_BinarySingleNaN)
ocaml(NFlocq_IEEE754_Bits)
ocaml(NFlocq_IEEE754_PrimFloat)
ocaml(NFlocq_IEEE754_SpecFloatCompat)
ocaml(NFlocq_Pff_Pff)
ocaml(NFlocq_Pff_Pff2Flocq)
ocaml(NFlocq_Pff_Pff2FlocqAux)
ocaml(NFlocq_Prop_Div_sqrt_error)
ocaml(NFlocq_Prop_Double_rounding)
ocaml(NFlocq_Prop_Mult_error)
ocaml(NFlocq_Prop_Plus_error)
ocaml(NFlocq_Prop_Relative)
ocaml(NFlocq_Prop_Round_odd)
ocaml(NFlocq_Prop_Sterbenz)
ocaml(NFlocq_Version)

Requires :
coq(x86-64) = 8.11.2
libc.so.6()(64bit)
libc.so.6(GLIBC_2.2.5)(64bit)
ocaml(AcyclicGraph) = a647dd79ff02f10a170c3a58a9aa6688
ocaml(CArray) = 8bab5e5bee0f6f413111fbdf51c1b6c5
ocaml(CAst) = b76adfc8e50ba5ffaf25044847213b2e
ocaml(CEphemeron) = 566bfd95efb39c5f90406b80ad6df927
ocaml(CList) = 850e1a0ba1b2f3ae52f4639fe13fafc2
ocaml(CMap) = f4dbdc4aaa9fe78f6d5ba0296ff64a77
ocaml(CPrimitives) = b2d0b862b781135d887c676adaab3349
ocaml(CSet) = 3741ffec3e1a6653708e80fa1ba4b68e
ocaml(CSig) = d746c1b2020307bc0240a65975a8844e
ocaml(CStack) = 04b041353c9dfac6311faa84ec839375
ocaml(CString) = 6647fe7277513ad34ff39bb80a9069fc
ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf
ocaml(CamlinternalLazy) = 4dbf494440e1d7857c9e9f8079808cd4
ocaml(Cbytecodes) = 00f7f6ad93ce27ac5c288396a1f6ab29
ocaml(Cemitcodes) = bfe89386555b08d5c728542daac3faeb
ocaml(Constr) = cde30f0a057633c0cc443c9bd2544408
ocaml(Context) = 16d0443b9c60431855d6ca5daf0bc0e1
ocaml(Conv_oracle) = 93b1b396bf8a3964ac11333b1931a474
ocaml(Declarations) = 9df43479fbffb2ece34c393aeb4cc045
ocaml(Environ) = d2f02cc5368983c05a3593b43e10baea
ocaml(Esubst) = 15040b4c1dd8a6c3ce8c1a0d8ee13bf6
ocaml(Evar) = b3446ca99b7905461a92a3cb666498b3
ocaml(Exninfo) = 9366260ce7708f7b67842546149afbda
ocaml(Float64) = 56bcd81b0491d0fdf50bf3228719f7c4
ocaml(Future) = 55aca4ebde9d0c924d4c234fecf91171
ocaml(Hashcons) = 7c18c0b423a824504c1c9bbfc669a06c
ocaml(Hashset) = f12b1742931aeb31a8e3cb312c5adcbd
ocaml(Int) = 6b740fa3fd902e9f3bc73d7590fb250e
ocaml(Loc) = 30f58a7ca9d7eb4142844a9cb3b62e7b
ocaml(Mod_subst) = ae144b5834648d25283a26609551d1a2
ocaml(NCoq_Arith_Compare_dec) = d0be4aefcdc1775290d00b64216eec07
ocaml(NCoq_Arith_Factorial) = 804fcd9050c2b51ab8bd374f709b37a6
ocaml(NCoq_Arith_Gt) = a403ab442043a7c6474663359a062719
ocaml(NCoq_Arith_Le) = b4b7226a610992efcf19a3c130ab13b3
ocaml(NCoq_Arith_Lt) = 2428fbbe9ab59ea68e06efa12e2cf015
ocaml(NCoq_Arith_PeanoNat) = b8a74f0758337965b8e79516712f4343
ocaml(NCoq_Bool_Bool) = 439bbd1c53e657c0fbef38c0c4b983de
ocaml(NCoq_Bool_Sumbool) = 797c4c1a7819a1826eceaf27ca07229a
ocaml(NCoq_Classes_CMorphisms) = 142fec83e53f54bfde9a8b8e355a8c78
ocaml(NCoq_Classes_CRelationClasses) = 1c3202433c84db14f5b235a47140c89f
ocaml(NCoq_Classes_Morphisms) = 834e17170bf37fc2ca1e4471ab1a1d78
ocaml(NCoq_Classes_Morphisms_Prop) = d9d6b28371d44dfbc801550e78298973
ocaml(NCoq_Classes_RelationClasses) = 8de61a95502304d5e200b7c870ee4293
ocaml(NCoq_Floats_FloatAxioms) = a469e341c00f858369b1ceb1e3fc291a
ocaml(NCoq_Floats_FloatClass) = 5fe69f62a51f84733ab72f814cba3222
ocaml(NCoq_Floats_FloatOps) = 15922a276881e6505ec4bc9ec4eb625e
ocaml(NCoq_Floats_PrimFloat) = df3a983d8c793f88a35d1ab2413b0a9c
ocaml(NCoq_Floats_SpecFloat) = a882e77d87043b76b5566ba51998f5e6
ocaml(NCoq_Init_Datatypes) = 09246803c9a6aec704f8ccd09b3641d2
ocaml(NCoq_Init_Decimal) = a4519526376deb578ccc598cbd5febff
ocaml(NCoq_Init_Logic) = 9d75e07fcec42e9ab8971dba2c81f11a
ocaml(NCoq_Init_Nat) = 86e871bf6f9c21b7a8611934dcefa7f1
ocaml(NCoq_Init_Peano) = 0d74150f1ab7cb675b476b2ec152fee5
ocaml(NCoq_Init_Specif) = 505fff4e5277146f6ea01b1341ef6865
ocaml(NCoq_Init_Wf) = 0c7fad3f9addc58ba3ffb322dce77eca
ocaml(NCoq_Lists_List) = d11dffcddef5b0e383cb71f1957ad301
ocaml(NCoq_NArith_BinNat) = 175f70e97f5fed19b081839d8e84773e
ocaml(NCoq_Numbers_BinNums) = 3702f624f2a43e5c0844060a208bed27
ocaml(NCoq_Numbers_Cyclic_Abstract_DoubleType) = 5a411bbeeaceff3ae3e3976ebc202509
ocaml(NCoq_Numbers_Cyclic_Int63_Int63) = b74d899489afccb14511dc2312608711
ocaml(NCoq_PArith_BinPos) = 422c140eaae7add4a4021ec910e1b751
ocaml(NCoq_PArith_Pnat) = 822ef33052e141c2f16ea65682bba8a7
ocaml(NCoq_Program_Basics) = 249a377fac83b2b3cc2fb96c0ad278bc
ocaml(NCoq_QArith_QArith_base) = 2e092146563684ab5a760bd3248109c2
ocaml(NCoq_QArith_Qabs) = e87a444ba9ad12be02e38f204dbf8155
ocaml(NCoq_QArith_Qfield) = d0720b461717cdface285ab6b4cbab76
ocaml(NCoq_QArith_Qround) = d2cb142ae53dcd1180673d7555d04569
ocaml(NCoq_Reals_Alembert) = a03c294c549f872dff1f6f31dbc2d994
ocaml(NCoq_Reals_ArithProp) = 2a424eb6a3a476042a3cfc47ff9e01ed
ocaml(NCoq_Reals_ConstructiveCauchyReals) = 595e9dbf84e29e72d68314a90c4bf807
ocaml(NCoq_Reals_ConstructiveCauchyRealsMult) = c9293b26b912b5a88fdcc9557d323c94
ocaml(NCoq_Reals_DiscrR) = 7a4e86c267725778e812f568bac08502
ocaml(NCoq_Reals_PartSum) = a1a979b73e341df30212179995269609
ocaml(NCoq_Reals_RIneq) = c8ff6062533b71234f7371aa01a088fc
ocaml(NCoq_Reals_R_sqrt) = d22eadf4bbd752a1d6c1bbbfb8423b28
ocaml(NCoq_Reals_Raxioms) = 6e881e8e4561a67c2261f5ce09fdd9e1
ocaml(NCoq_Reals_Rbasic_fun) = 1bd03f6c914b1a6ea87fb9d3cb5eeef8
ocaml(NCoq_Reals_Rdefinitions) = 258fab359c5524e74605cd0c48dc752b
ocaml(NCoq_Reals_Rfunctions) = e39ed94ac9df298536c390cd04ee9081
ocaml(NCoq_Reals_Rpow_def) = 9f97b06a14026c4b3889af584725cc51
ocaml(NCoq_Reals_Rpower) = 8ddff99f90e518baeacc46df8022e612
ocaml(NCoq_Reals_Rseries) = 078f116c76ee9150bc84027bcdcb273b
ocaml(NCoq_Reals_Rsqrt_def) = 33a989a8e727bfe3704fad4b137634d4
ocaml(NCoq_Reals_Rtrigo_def) = 1679c116d821fe216162c4975c6357f4
ocaml(NCoq_Reals_Rtrigo_fun) = 6630926d6bada57f6073ac389fad98fe
ocaml(NCoq_Relations_Relation_Definitions) = db5dd3b5f346ec7f776310afeeaecd2b
ocaml(NCoq_Setoids_Setoid) = ec36acb207617c1378a2c9f4c6435bdb
ocaml(NCoq_Structures_OrdersTac) = 4f557f5af462418d1042449a98dc862f
ocaml(NCoq_ZArith_BinInt) = 3d3bebd477037559164003b2dcdc4392
ocaml(NCoq_ZArith_BinIntDef) = d019f35b27e442f269fd9f7d436e0896
ocaml(NCoq_ZArith_ZArith_dec) = 10e13004caa45525bfb416f5cd63e540
ocaml(NCoq_ZArith_Zbool) = 5aa217d39f0706b1045e603d491d74cd
ocaml(NCoq_ZArith_Zeven) = 5756626d8640ba827a3044c81647beb3
ocaml(NCoq_ZArith_Znat) = 8cf0219d5e5e20cad18a92ca4180c04d
ocaml(NCoq_ZArith_Zorder) = 0ba83236715c654357b7199e09811f00
ocaml(NCoq_ZArith_Zpower) = 7fb0d5f236b71ef17383d10b96502134
ocaml(NCoq_setoid_ring_ArithRing) = bf630ac8045e248009100a0bf4b2b70d
ocaml(NCoq_setoid_ring_BinList) = f07e332e6e06889593c256a69143b582
ocaml(NCoq_setoid_ring_Field_theory) = 7b30228ca0b71feacfd94d9a9f6d8f44
ocaml(NCoq_setoid_ring_Ring_polynom) = 1b88085ef60bfb84e883204b41ac88cd
ocaml(NCoq_setoid_ring_Ring_tac) = ba623d81abdfd1681840131dcc4d943b
ocaml(NCoq_setoid_ring_Ring_theory) = 1a1dbb5de44112a6501e9d09b22fe265
ocaml(NFlocq_Calc_Bracket) = b9eea75b61b54e922ed2cf8e4e8e9044
ocaml(NFlocq_Calc_Operations) = c4d62f48cad61678d296a55e2f9cf5b8
ocaml(NFlocq_Calc_Round) = f09cb7603cb6166d1e306dd6e6af7bef
ocaml(NFlocq_Core_Defs) = 86738dbb8fc3c8883d013dbe6ad4badb
ocaml(NFlocq_Core_Digits) = a044e4a1a39bf225b84606a874fc3682
ocaml(NFlocq_Core_FLT) = 5f9a0c41822761462769c89c9e6a265f
ocaml(NFlocq_Core_Generic_fmt) = 9dd7686ff2a4593acd287a667049ebd9
ocaml(NFlocq_Core_Raux) = 2a2a7fbed5e3c37dfa2e8875b7976a42
ocaml(NFlocq_Core_Ulp) = ae251f6de764ba8f78f64fea53d64e7c
ocaml(NFlocq_Core_Zaux) = 9891a7d39d927814b4a8421fd6e78e04
ocaml(NFlocq_IEEE754_Binary) = 4762572d4c93fb839248c58340f01952
ocaml(NFlocq_IEEE754_BinarySingleNaN) = 192078027684ed8db8a9d0af93c12b3a
ocaml(NFlocq_Pff_Pff) = 00bf2c09bd38c4e03fcf37d1936cef5e
ocaml(Names) = b3b0c3d368809ad674587c3824a74ffe
ocaml(Nativecode) = a9e419a8c30a8c82993a1f4d7c2b9162
ocaml(Nativeconv) = 95907f9b3831ed311eba4fd6cd37a797
ocaml(Nativelambda) = 17e82fa06bb8355f8bf016112d568a66
ocaml(Nativelib) = 97a25507b8218ce9c0efe7389c5950e8
ocaml(Nativevalues) = 132a4d5d0f151711a68c323664744766
ocaml(Opaqueproof) = 46949ca7986b58c85fc5e333196278bc
ocaml(Pp) = b9271aba817414fa8242144c509af5c5
ocaml(Predicate) = 1eb854e82a29a3af266d251866d95164
ocaml(Range) = 31777e8ddbe05c955f3c9e545ab777cf
ocaml(Reduction) = 2a7eeaed7c0aa9f6958d3ab229d0e759
ocaml(Retroknowledge) = f9efb4e1ac116444d7e535d935b333e5
ocaml(Rtree) = eb711b833f7864413d6425ffedf5c98c
ocaml(Sorts) = 4960f7d15961c17121d095c537fce875
ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3
ocaml(Stdlib__array) = 9558001a029d7270458a252505f6a024
ocaml(Stdlib__buffer) = 28161e4effde5ea372547815f87193ec
ocaml(Stdlib__format) = 06b0893cb3ef937aa19861955f132018
ocaml(Stdlib__int32) = aa83c6f44c2474e5227a6c8f103e87cf
ocaml(Stdlib__int64) = 4214fced4b9c03c07eae7c7eb29450c4
ocaml(Stdlib__lazy) = fc2e64496010f839ea977622a4ebeafc
ocaml(Stdlib__list) = 13989ef6fbcb7235b257d3df9a80253a
ocaml(Stdlib__map) = a82b95a7a6d7947a4127a1eccd24d8b1
ocaml(Stdlib__obj) = 4f27fde74c713270e337272301a906e6
ocaml(Stdlib__seq) = c5f4ef3f36de5f47b7041eed1deb9679
ocaml(Stdlib__set) = 2fa5bbe7cee6e11d5da34daaf89e1dbf
ocaml(Stdlib__stream) = 1571ee6ad62a0ffc202bec6301bacca2
ocaml(Stdlib__string) = f06d662544362cc717ad99f2d75ffa1e
ocaml(Stdlib__uchar) = c51d7a295527e9500ba69b459f81d6b3
ocaml(Term) = b98c1d78e1cf1d334e34cb6d80902e03
ocaml(TransparentState) = 3bf300a043688e3b028c879dec04eef8
ocaml(UGraph) = 79fc5e966cb1046f490d87adda70b0c4
ocaml(Uint63) = 83ea96f898277ff0a43718bbc2fe6b29
ocaml(Univ) = a7788e5ceb7fce7f78b1d1df049ea15f
ocaml(Util) = c6f421b3ab4e0e13d19ea034011ac044
ocaml(Vmvalues) = 274ee3f31ce3f8c48ad9c6d4a457ede0
ocaml(runtime) = 4.10.0
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)


Content of RPM :
/usr/lib/.build-id
/usr/lib/.build-id/0a
/usr/lib/.build-id/0a/f9a13dc77f4f70394c5765e065d53ece47e465
/usr/lib/.build-id/0e
/usr/lib/.build-id/0e/88319439362e7d566bf0b9edc95280bf66044f
/usr/lib/.build-id/11
/usr/lib/.build-id/11/f04e02ca87b5a4fdccf1d9045edfb30e50679f
/usr/lib/.build-id/1f
/usr/lib/.build-id/1f/d8256ab2d32536d1e4188cd8423397102876a0
/usr/lib/.build-id/21
/usr/lib/.build-id/21/7532fd96a0befd6205b4d6ce62222c9df729e3
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/722f0d93d1e141363ba80a114834b6cbc2524e
/usr/lib/.build-id/2e
/usr/lib/.build-id/2e/60da3f567087e188bfa7114122c537c82c5c98
/usr/lib/.build-id/34
/usr/lib/.build-id/34/b99348d5a5b643ba6a6402098995f538569cdf
/usr/lib/.build-id/39
/usr/lib/.build-id/39/1034d09728390b63fb240f68f16c6cffa70477
/usr/lib/.build-id/3c
/usr/lib/.build-id/3c/9c9ac40d6830b2432776893d66f0861eeae8b8
/usr/lib/.build-id/42
/usr/lib/.build-id/42/0ad50418d28c778d9b4ec23d200ff1dce3b0a9
/usr/lib/.build-id/42/2ef2885bbae75a20f3efbfd7cd005ff91cb669
/usr/lib/.build-id/45
/usr/lib/.build-id/45/a0b3f500ac9a00453f91727fef508bc1d028a1
/usr/lib/.build-id/49
/usr/lib/.build-id/49/e21d8ca6d7d4fbda11d6ba96f983735b48caf2
/usr/lib/.build-id/4e
/usr/lib/.build-id/4e/32f28fd92ea5695e55c1f31bb5c59267b06ee9
There is 268 files more in these RPM.