Ubuntu
coq package

coq 8.14.0+dfsg-3 source package in Ubuntu

Changelog

coq (8.14.0+dfsg-3) unstable; urgency=medium

  * Add bash to the build-deps and generalize
  avoid-usr-bin-env.patch into a fix_debian_paths.patch ;
  made the other patches cope with it.
  * Add a patch to handle the timing scripts correctly.
  * Add a lintian override for false positive ocaml-dangling-cmi.
  * Add a lintian override for false positive
    shared-library-lacks-prerequisites.
  * Add a lintian override for maintainer-desktop-entry.

 -- Julien Puydt <email address hidden>  Sat, 13 Nov 2021 12:23:41 +0100

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.14.0+dfsg-3.dsc 2.5 KiB 768a27677df6b3d51e57b053cb0b6718ab4680c7707a2a4ca8e8ba2b81284ae8
coq_8.14.0+dfsg.orig.tar.xz 4.4 MiB 7676f1a7ff01ef91ed126db8b07faa2403d9d0404ee7af44b9a1e7df288ff512
coq_8.14.0+dfsg-3.debian.tar.xz 38.7 KiB 11c64a15c95110d63b467e54d0bf933fa134fff2418fc3a156c35b3d1e287daa

No changes file available.

Binary packages built by this source

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

 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 coqtop, a command line interface to Coq.
 .
 A graphical interface for Coq is provided in the coqide package.
 Coq can also be used with ProofGeneral, which allows proofs to be
 edited using emacs and xemacs. This requires the proofgeneral
 package to be installed.

coq-dbgsym: debug symbols for coq
coq-theories: No summary available for coq-theories in ubuntu jammy.

No description available for coq-theories in ubuntu jammy.

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-ocaml: No summary available for libcoq-ocaml in ubuntu jammy.

No description available for libcoq-ocaml in ubuntu jammy.

libcoq-ocaml-dbgsym: No summary available for libcoq-ocaml-dbgsym in ubuntu jammy.

No description available for libcoq-ocaml-dbgsym in ubuntu jammy.

libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu jammy.

No description available for libcoq-ocaml-dev in ubuntu jammy.