SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE


YUM REPOSITORY

 
 

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

Name : flocq-source
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 : 2.07 MB
Packager : Fedora Project
Summary : Source Coq files
Description :
This package contains the source Coq files for flocq. These files are
not needed to use flocq. They are made available for informational
purposes.

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-source-3.3.1-1.fc32.x86_64.rpm
ftp.pbone.net  flocq-source-3.3.1-1.fc32.x86_64.rpm
     

Provides :
flocq-source
flocq-source(x86-64)

Requires :
flocq(x86-64) = 3.3.1-1.fc32
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/lib64/coq/user-contrib/Flocq/Calc/Bracket.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Div.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Operations.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Round.v
/usr/lib64/coq/user-contrib/Flocq/Calc/Sqrt.v
/usr/lib64/coq/user-contrib/Flocq/Core/Core.v
/usr/lib64/coq/user-contrib/Flocq/Core/Defs.v
/usr/lib64/coq/user-contrib/Flocq/Core/Digits.v
/usr/lib64/coq/user-contrib/Flocq/Core/FIX.v
/usr/lib64/coq/user-contrib/Flocq/Core/FLT.v
/usr/lib64/coq/user-contrib/Flocq/Core/FLX.v
/usr/lib64/coq/user-contrib/Flocq/Core/FTZ.v
/usr/lib64/coq/user-contrib/Flocq/Core/Float_prop.v
/usr/lib64/coq/user-contrib/Flocq/Core/Generic_fmt.v
/usr/lib64/coq/user-contrib/Flocq/Core/Raux.v
/usr/lib64/coq/user-contrib/Flocq/Core/Round_NE.v
/usr/lib64/coq/user-contrib/Flocq/Core/Round_pred.v
/usr/lib64/coq/user-contrib/Flocq/Core/Ulp.v
/usr/lib64/coq/user-contrib/Flocq/Core/Zaux.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Binary.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/Bits.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/PrimFloat.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/SpecFloatCompat.v
/usr/lib64/coq/user-contrib/Flocq/IEEE754/SpecFloatCopy.v
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff.v
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff2Flocq.v
/usr/lib64/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Div_sqrt_error.v
/usr/lib64/coq/user-contrib/Flocq/Prop/Double_rounding.v
There is 6 files more in these RPM.