» Ubuntu » Pakete » precise (12.04LTS) » Quellcode » libdevel » coq-float
precise  ] [  trusty  ] [  xenial  ]

Quellcode-Paket: coq-float (1:8.2-1.2-9) [universe]

Links für coq-float



Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (E-Mail-Archiv)
  • Samuel Mimram
  • Stéphane Glondu

It should generally not be necessary for users to contact the original maintainer.

Externe Ressourcen:

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:
Coq library on floating-point arithmetic

Andere Pakete mit Bezug zu coq-float

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 7.0.50~)
    helper programs for debian/rules
  • adep: coq (>= 8.3)
    proof assistant for higher-order logic (toplevel and compiler)

Download coq-float

DateiGröße (in kB)MD5-Prüfsumme
coq-float_8.2-1.2-9.dsc 2,0 kB 3ac04fe229e3ee376afcf80a4b39c7ef
coq-float_8.2-1.2.orig.tar.gz 315,4 kB 3b565c527a3af70a062ed77cf82a4848
coq-float_8.2-1.2-9.debian.tar.gz 3,4 kB 359245312c57a6c3a1f6ffa6d79e79b0
Quellcode-Depot des Debian-Pakets (VCS: Git)
Quellcode-Depot des Debian-Pakets (browsable)