[ lenny ] [ squeeze ] [ wheezy ] [ sid ]

[ Source: coq-float ]

Package: libfloat-coq (1:8.3pl1-1)

Links for libfloat-coq

Debian Resources:

Download Source Package coq-float:

Maintainers:

External Resources:

Homepage [lipforge.ens-lyon.fr]

Similar packages:

Coq library on floating-point arithmetic

Other Packages Related to libfloat-coq

depends

recommends

suggests

dep: coq-8.3pl3+3.12.1

virtual package provided by coq

Download libfloat-coq

Download for all available architectures
Architecture	Package Size	Installed Size	Files
all	16,247.6 kB	72,222.0 kB	[list of files]