Пакет: libcoq-mathcomp-bigenough (1.0.1-1)

Връзки за libcoq-mathcomp-bigenough

Ресурси за Trisquel:

• Install using apturl
• Entry at directory.fsf.org
• Доклади за грешки
• Changelog
• Авторски права

Изтегляне на пакет-източник mathcomp-bigenough.

• [mathcomp-bigenough_1.0.1-1.dsc]
• [mathcomp-bigenough_1.0.1.orig.tar.gz]
• [mathcomp-bigenough_1.0.1-1.debian.tar.xz]

Отговорник:

• Debian OCaml Maintainers (Пощенски архив)

Original Maintainers:

• Debian OCaml Maintainers (Пощенски архив)
• Julien Puydt

Външни препратки:

• Начална страница [github.com]

Подобни пакети:

• libcoq-mathcomp-finmap
• libcoq-mathcomp-ssreflect
• libssreflect-coq
• libcoq-mathcomp
• libcoq-mathcomp-field
• libcoq-mathcomp-character
• libcoq-mathcomp-fingroup
• libcoq-mathcomp-solvable
• libcoq-mathcomp-algebra
• libcoq-stdlib
• coq-theories

Други пакети, свързани с libcoq-mathcomp-bigenough

• dep: coq

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libcoq-mathcomp-ssreflect

  Mathematical Components library for Coq (small scale reflection)

• sug: ocaml-findlib

  management tool for OCaml libraries

Изтегляне на libcoq-mathcomp-bigenough