flocq-doc rpm build for : openSUSE Leap 42. For other distributions click flocq-doc.
| Name : flocq-doc
| |
| Version : 3.0.0
| Vendor : obs://build_opensuse_org/home:ptrommler
|
| Release : 3.1
| Date : 2018-10-11 13:38:23
|
| Group : Productivity/Scientific/Math
| Source RPM : flocq-3.0.0-3.1.src.rpm
|
| Size : 8.49 MB
| |
| Packager : (none)
| |
| Summary : Documentation for coq floating point library
|
Description :
This package contains the HTML documentation for flocq.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/ptrommler:/formal/openSUSE_Leap_42.3/x86_64 |
Content of RPM
Changelog
Provides
Requires
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
flocq-doc
flocq-doc(x86-64)
Requires :
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.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.Bits.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Pff.Pff.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Pff.Pff2Flocq.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Pff.Pff2FlocqAux.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Div_sqrt_error.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Double_rounding.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Mult_error.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Plus_error.html
There is 7 files more in these RPM.
