SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

flocq-doc rpm build for : openSUSE Tumbleweed. For other distributions click flocq-doc.

Name : flocq-doc
Version : 4.2.0 Vendor : obs://build_opensuse_org/science
Release : 21.9 Date : 2024-07-25 09:00:59
Group : Documentation/HTML Source RPM : flocq-4.2.0-21.9.src.rpm
Size : 9.92 MB
Packager : (none)
Summary : Documentation for Flocq
Description :
This package contains the HTML documentation for flocq.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/science/openSUSE_Tumbleweed/noarch

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  flocq-doc-4.2.0-21.9.noarch.rpm
     

Provides :
flocq-doc

Requires :
coq-doc = 8.19.2
flocq = 4.2.0
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/share/doc/packages/flocq-doc
/usr/share/doc/packages/flocq-doc/html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Bracket.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Div.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Operations.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Plus.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Round.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Sqrt.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Core.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Defs.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Digits.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.FIX.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.FLT.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.FLX.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.FTZ.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Float_prop.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Generic_fmt.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Raux.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Round_NE.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Round_pred.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Ulp.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Zaux.html
/usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.Binary.html
/usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.BinarySingleNaN.html
/usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.Bits.html
/usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.Int63Compat.html
/usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.Int63Copy.html
/usr/share/doc/packages/flocq-doc/html/Flocq.IEEE754.PrimFloat.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Pff.Nat2Z_compat.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Pff.Pff.html
There is 13 files more in these RPM.

 
ICM