Пакунок: libwhy-coq (2.39-2build1)

Links for libwhy-coq

Trisquel Resources:

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

Download Source Package why:

• [why_2.39-2build1.dsc]
• [why_2.39.orig.tar.gz]
• [why_2.39-2build1.debian.tar.xz]

Maintainer:

• Debian OCaml Maintainers (Mail Archive)

Original Maintainers:

• Debian OCaml Maintainers (Mail Archive)
• Samuel Mimram
• Mehdi Dogguy
• Ralf Treinen

External Resources:

• Homepage [krakatoa.lri.fr]

Similar packages:

• ats-lang-anairiats-doc
• ats-lang-anairiats-examples
• libfloat-coq
• coqide
• ats2-lang
• libcoq-core-ocaml-dev
• libcoq-ocaml-dev
• ats-lang-anairiats
• libcoq-stdlib
• coq-theories
• libcoq-core-ocaml

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

• dep: coq-8.6+4.05.0

  virtual package provided by coq

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