flocq-doc rpm build for : OpenSuSE. For other distributions click flocq-doc.
| Name : flocq-doc
| |
| Version : 2.5.1
| Vendor : obs://build_opensuse_org/home:lorenz
|
| Release : 3.3
| Date : 2017-01-18 20:11:34
|
| Group : Productivity/Scientific/Math
| Source RPM : flocq-2.5.1-3.3.src.rpm
|
| Size : 3.94 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:/lorenz:/formal/openSUSE_42.1/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.Appli.Fappli_IEEE.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Appli.Fappli_IEEE_bits.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Appli.Fappli_double_round.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Appli.Fappli_rnd_odd.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Fcalc_bracket.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Fcalc_digits.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Fcalc_div.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Fcalc_ops.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Fcalc_round.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Calc.Fcalc_sqrt.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_FIX.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_FLT.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_FLX.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_FTZ.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_Raux.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_Zaux.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_defs.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_digits.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_float_prop.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_generic_fmt.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_rnd.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_rnd_ne.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Core.Fcore_ulp.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Flocq_version.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Fprop_Sterbenz.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Fprop_div_sqrt_error.html
/usr/share/doc/packages/flocq-doc/html/Flocq.Prop.Fprop_mult_error.html
There is 5 files more in these RPM.
