coq 8.15.1+dfsg-2 source package in Ubuntu

Changelog

coq (8.15.1+dfsg-2) unstable; urgency=medium

  * Don't strip everything!
  * Add a patch to fix a typo.
  * Bump standards-version to 4.6.1.

 -- Julien Puydt <email address hidden>  Fri, 20 May 2022 15:53:07 +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.1+dfsg-2.dsc 2.5 KiB 43ad17b535b9f29bc1a1ae3d82c38317c6a8d29dd38d66f12699905fac38dfac
coq_8.15.1+dfsg.orig.tar.xz 4.5 MiB 75f7fe4a6f289db41d2758acb68a28409b084b56af78f8b81269cc56500e9e89
coq_8.15.1+dfsg-2.debian.tar.xz 39.1 KiB aa60c44680a03018d7e63f0e90215447e02874a4c36f90bdd189e47d9b6ceb69

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: No summary available for coqide in ubuntu kinetic.

No description available for coqide in ubuntu kinetic.

coqide-dbgsym: No summary available for coqide-dbgsym in ubuntu kinetic.

No description available for coqide-dbgsym in ubuntu kinetic.

libcoq-core-ocaml: No summary available for libcoq-core-ocaml in ubuntu kinetic.

No description available for libcoq-core-ocaml in ubuntu kinetic.

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

No description available for libcoq-stdlib in ubuntu kinetic.