Ubuntu
coq package

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 Pocket 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

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.