all options
squeeze  ] [  wheezy  ] [  jessie  ] [  stretch  ] [  sid  ]

Source Package: coq-float (1:8.2-1.2-5)

Links for coq-float

Debian Resources:


External Resources:

The following binary packages are built from this source package:
Coq library on floating-point arithmetic

Other Packages Related to coq-float

  • build-depends
  • build-depends-indep

Download coq-float

FileSize (in kB)MD5 checksum
coq-float_8.2-1.2-5.dsc 1.9 kB cd0030c356eb9b6c3c5691c41cf28c17
coq-float_8.2-1.2.orig.tar.gz 315.4 kB 3b565c527a3af70a062ed77cf82a4848
coq-float_8.2-1.2-5.debian.tar.gz 3.0 kB 56ae57d10f68c1034f807823b623798c
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)