coq 8.15.2+dfsg-2 source package in Ubuntu
Changelog
coq (8.15.2+dfsg-2) unstable; urgency=medium * Use dh-coq. -- Julien Puydt <email address hidden> Sat, 11 Jun 2022 16:16:14 +0200
Upload details
- Uploaded by:
- Debian OCaml Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
coq_8.15.2+dfsg-2.dsc | 2.5 KiB | a0e60559a0532e200567ac4d2cbaa43f28cf99271c3879c62d0a0efaf6f072f0 |
coq_8.15.2+dfsg.orig.tar.xz | 4.5 MiB | 53cbfe9b7f1b1bac7f84f13acb9ca4082e3b3483c336267d80047214703991c8 |
coq_8.15.2+dfsg-2.debian.tar.xz | 39.2 KiB | 623be694fd78e147608bd20a1e34593efff5f8d28bc4597d075fe8278f22c6f4 |
Available diffs
- diff from 8.15.2+dfsg-1 to 8.15.2+dfsg-2 (733 bytes)
No changes file available.
Binary packages built by this source
- coq: No summary available for coq in ubuntu kinetic.
No description available for coq in ubuntu kinetic.
- coq-dbgsym: No summary available for coq-dbgsym in ubuntu kinetic.
No description available for coq-dbgsym in ubuntu kinetic.
- coqide: proof assistant for higher-order logic (gtk interface)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
.
This package provides CoqIde, a graphical user interface for
developing proofs.
- coqide-dbgsym: debug symbols for coqide
- libcoq-core-ocaml: runtime libraries for Coq
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
.
This package provides runtime libraries for Coq.
- libcoq-core-ocaml-dbgsym: No summary available for libcoq-core-ocaml-dbgsym in ubuntu kinetic.
No description available for libcoq-
core-ocaml- dbgsym in ubuntu kinetic.
- libcoq-core-ocaml-dev: No summary available for libcoq-core-ocaml-dev in ubuntu kinetic.
No description available for libcoq-
core-ocaml- dev in ubuntu kinetic.
- libcoq-stdlib: proof assistant for higher-order logic (theories)
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
.
This package provides existing theories that new proofs can be
based upon, including theories of arithmetic and Boolean values.