Tarkennettu haku
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]

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

Links for coq-float

Debian-palvelut:

Ylläpitäjät:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
libfloat-coq
Coq library on floating-point arithmetic

Muut pakettiin coq-float liittyvät paketit

  • build-depends
  • build-depends-indep

Download coq-float

TiedostoKoko (kt)MD5-tarkiste
coq-float_8.2-1.2-5.dsc 1.9 kt cd0030c356eb9b6c3c5691c41cf28c17
coq-float_8.2-1.2.orig.tar.gz 315.4 kt 3b565c527a3af70a062ed77cf82a4848
coq-float_8.2-1.2-5.debian.tar.gz 3.0 kt 56ae57d10f68c1034f807823b623798c
Debian Package Source Repository (VCS: Git)
git://git.debian.org/git/pkg-ocaml-maint/packages/coq-float.git
Debian Package Source Repository (Browsable)
http://git.debian.org/?p=pkg-ocaml-maint/packages/coq-float.git