flocq-2.6.0-9.fc29.i686.rpm


Advertisement

Description

flocq - Formalization of floating point numbers for Coq

Property Value
Distribution Fedora 29
Repository Fedora i386
Package filename flocq-2.6.0-9.fc29.i686.rpm
Package name flocq
Package version 2.6.0
Package release 9.fc29
Package architecture i686
Package type rpm
Homepage http://flocq.gforge.inria.fr/
License LGPLv3+
Maintainer -
Download size 1.92 MB
Installed size 8.62 MB
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.

Alternatives

Package Version Architecture Repository
flocq-2.6.0-9.fc29.x86_64.rpm 2.6.0 x86_64 Fedora
flocq - - -

Requires

Name Value
coq(x86-32) = 8.7.1

Provides

Name Value
flocq = 2.6.0-9.fc29
flocq(x86-32) = 2.6.0-9.fc29

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package flocq-2.6.0-9.fc29.i686.rpm
Source Package flocq-2.6.0-9.fc29.src.rpm

Install Howto

Install flocq rpm package:

# dnf install flocq

Files

Path
/usr/lib/coq/user-contrib/Flocq/Flocq_version.vo
/usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE.vo
/usr/lib/coq/user-contrib/Flocq/Appli/Fappli_IEEE_bits.vo
/usr/lib/coq/user-contrib/Flocq/Appli/Fappli_double_round.vo
/usr/lib/coq/user-contrib/Flocq/Appli/Fappli_rnd_odd.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_bracket.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_digits.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_div.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_ops.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_round.vo
/usr/lib/coq/user-contrib/Flocq/Calc/Fcalc_sqrt.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_FIX.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLT.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_FLX.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_FTZ.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_Raux.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_Zaux.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_defs.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_digits.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_float_prop.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_generic_fmt.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_rnd_ne.vo
/usr/lib/coq/user-contrib/Flocq/Core/Fcore_ulp.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_Sterbenz.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_div_sqrt_error.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_mult_error.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_plus_error.vo
/usr/lib/coq/user-contrib/Flocq/Prop/Fprop_relative.vo
/usr/share/doc/flocq/AUTHORS
/usr/share/doc/flocq/NEWS
/usr/share/doc/flocq/README
/usr/share/doc/flocq/html/Flocq.Appli.Fappli_IEEE.html
/usr/share/doc/flocq/html/Flocq.Appli.Fappli_IEEE_bits.html
/usr/share/doc/flocq/html/Flocq.Appli.Fappli_double_round.html
/usr/share/doc/flocq/html/Flocq.Appli.Fappli_rnd_odd.html
/usr/share/doc/flocq/html/Flocq.Calc.Fcalc_bracket.html
/usr/share/doc/flocq/html/Flocq.Calc.Fcalc_digits.html
/usr/share/doc/flocq/html/Flocq.Calc.Fcalc_div.html
/usr/share/doc/flocq/html/Flocq.Calc.Fcalc_ops.html
/usr/share/doc/flocq/html/Flocq.Calc.Fcalc_round.html
/usr/share/doc/flocq/html/Flocq.Calc.Fcalc_sqrt.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_FIX.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_FLT.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_FLX.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_FTZ.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_Raux.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_Zaux.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_defs.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_digits.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_float_prop.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_generic_fmt.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_rnd.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_rnd_ne.html
/usr/share/doc/flocq/html/Flocq.Core.Fcore_ulp.html
/usr/share/doc/flocq/html/Flocq.Flocq_version.html
/usr/share/doc/flocq/html/Flocq.Prop.Fprop_Sterbenz.html
/usr/share/doc/flocq/html/Flocq.Prop.Fprop_div_sqrt_error.html
/usr/share/doc/flocq/html/Flocq.Prop.Fprop_mult_error.html
/usr/share/doc/flocq/html/Flocq.Prop.Fprop_plus_error.html
/usr/share/doc/flocq/html/Flocq.Prop.Fprop_relative.html
/usr/share/doc/flocq/html/coqdoc.css
/usr/share/doc/flocq/html/index.html
/usr/share/doc/flocq/html/toc.html
/usr/share/licenses/flocq/COPYING

Changelog

2018-07-13 - Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0-9
- Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild
2018-07-11 - Richard W.M. Jones <rjones@redhat.com> - 2.6.0-8
- OCaml 4.07.0 (final) rebuild.
2018-06-20 - Richard W.M. Jones <rjones@redhat.com> - 2.6.0-7
- OCaml 4.07.0-rc1 rebuild.
2018-02-12 - Jerry James <loganjerry@gmail.com> - 2.6.0-6
- Rebuild for coq 8.7.1
2018-02-07 - Fedora Release Engineering <releng@fedoraproject.org> - 2.6.0-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild
2017-11-17 - Richard W.M. Jones <rjones@redhat.com> - 2.6.0-4
- Rebuild against new Coq package.
2017-11-08 - Richard W.M. Jones <rjones@redhat.com> - 2.6.0-3
- Bump release and rebuild.
2017-11-08 - Richard W.M. Jones <rjones@redhat.com> - 2.6.0-2
- OCaml 4.06.0 rebuild.
2017-10-05 - Jerry James <loganjerry@gmail.com> - 2.6.0-1
- New upstream release
2017-09-06 - Richard W.M. Jones <rjones@redhat.com> - 2.5.2-12
- OCaml 4.05.0 rebuild.

See Also

Package Description
flocq-source-2.6.0-9.fc29.i686.rpm Source Coq files
floppy-support-1.0.0-17.fc29.noarch.rpm Load floppy driver at boot time
florence-0.6.3-9.fc29.i686.rpm Extensible scalable on-screen virtual keyboard for GNOME
florence-devel-0.6.3-9.fc29.i686.rpm Development files for florence
flow-tools-0.68.5.1-24.fc29.i686.rpm Tool set for working with NetFlow data
flow-tools-devel-0.68.5.1-24.fc29.i686.rpm Development files for flow-tools
flow-tools-docs-0.68.5.1-24.fc29.i686.rpm HTML and other redundant docs for flow-tools
flow-tools-rrdtool-0.68.5.1-24.fc29.i686.rpm Scripts for flow-tools to build rrd graphs
flowcanvas-0.7.1-31.fc29.i686.rpm Interactive widget for "boxes and lines" environments
flowcanvas-devel-0.7.1-31.fc29.i686.rpm Development libraries and headers for flowcanvas
flpsed-0.7.3-9.fc29.i686.rpm WYSIWYG pseudo PostScript editor
flr-0.0.4-6.fc29.noarch.rpm Fedora Releng python libraries and command line tools
flrig-1.3.39-2.fc29.i686.rpm Transceiver control program
flterm-1.2-12.fc29.i686.rpm Firmware download program
fltk-1.3.4-7.fc29.i686.rpm C++ user interface toolkit
Advertisement
Advertisement