Source Package: coq (9.1.0+dfsg-1)
Links for coq
Debian Resources:
- Bug Reports
- Developer Information
- Debian Changelog
- Copyright File
- Debian Source Repository (Git)
- Debian Patch Tracker
Maintainers:
- Debian OCaml Maintainers (QA Page, Mail Archive)
- Benjamin Barenblat (QA Page)
- Julien Puydt (QA Page)
- Ralf Treinen (QA Page)
- Stéphane Glondu (QA Page)
External Resources:
- Homepage [coq.inria.fr]
Experimental package
Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.
The following binary packages are built from this source package:
- coq
- proof assistant for higher-order logic (toplevel and compiler)
- libcoq-core
- proof assistant for higher-order logic (theories)
- libcoq-core-ocaml
- runtime libraries for Coq
- libcoq-core-ocaml-dev
- development libraries and tools for Coq
- rocqide
- proof assistant for higher-order logic (gtk interface)
Other Packages Related to coq
|
|
-
- adep: debhelper-compat (= 13)
- Package not available
-
- adep: dh-coq
- debhelper tool for Coq-related Debian packages
-
- adep: dh-ocaml
- helper tools for maintaining OCaml-related Debian packages
-
- adep: dh-python
- Debian helper tools for packaging Python libraries and applications
-
- adep: ocaml-dune
- composable build system for OCaml projects
-
- adep: ocaml
- ML language implementation with a class-based object system
-
- adep: ocaml-native-compilers
- Package not available
-
- adep: ocaml-findlib (>= 1.8.0)
- management tool for OCaml libraries
-
- adep: libfindlib-ocaml-dev
- library for managing OCaml libraries (development files)
-
- adep: liblablgtk3-ocaml-dev
- OCaml bindings to Gtk+ version 3 (development files)
-
- adep: liblablgtksourceview3-ocaml-dev (>= 3.0~beta8)
- OCaml bindings for libgtksourceview3 (development files)
-
- adep: libnum-ocaml-dev
- library for arbitrary-precision and rational arithmetic (development)
-
- adep: libounit-ocaml-dev
- Unit testing framework for OCaml
-
- adep: libzarith-ocaml-dev
- arithmetic and logical operations over arbitrary-precision integers (dev)
-
- adep: python3
- interactive high-level object-oriented language (default python3 version)
-
- adep: rsync
- fast, versatile, remote (and local) file-copying tool
-
- adep: tex-common
- common infrastructure for building and installing TeX
Download coq
| File | Size (in kB) | MD5 checksum |
|---|---|---|
| coq_9.1.0+dfsg-1.dsc | 2.5 kB | 5560cd6759c2af24ab46e529682230d1 |
| coq_9.1.0+dfsg.orig.tar.xz | 3,744.4 kB | e97eb71f058e107af706cb869e55d7c5 |
| coq_9.1.0+dfsg-1.debian.tar.xz | 23.5 kB | 3fc393ea944439df56cd211231d2bdb3 |
- Debian Package Source Repository (VCS: Git)
- https://salsa.debian.org/ocaml-team/coq.git
- Debian Package Source Repository (Browsable)
- https://salsa.debian.org/ocaml-team/coq