Пакунок: libfloat-coq (1:8.10.0-1)

Links for libfloat-coq

Trisquel Resources:

• Install using apturl
• Entry at directory.fsf.org
• Bug Reports
• Changelog
• Copyright File

Download Source Package coq-float:

• [coq-float_8.10.0-1.dsc]
• [coq-float_8.10.0.orig.tar.gz]
• [coq-float_8.10.0-1.debian.tar.xz]

Maintainer:

• Debian OCaml Maintainers (Mail Archive)

Original Maintainers:

• Debian OCaml Maintainers (Mail Archive)
• Stéphane Glondu

External Resources:

• Homepage [github.com]

Similar packages:

• coq-theories
• libwhy-coq
• libcoq-mathcomp-ssreflect
• agda-stdlib
• libssreflect-coq
• agda-stdlib-doc
• coq
• libcoq-mathcomp
• libcoq-mathcomp-bigenough
• libcoq-mathcomp-character
• libcoq-mathcomp-field

Інші пакунки пов'язані з libfloat-coq

• dep: coq-8.11.0+4.08.1

  virtual package provided by coq

Завантажити libfloat-coq