Ubuntu
coq package

coq 8.15.2+dfsg-1 source package in Ubuntu

Changelog

coq (8.15.2+dfsg-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Tue, 31 May 2022 21:39:53 +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-1.dsc 2.5 KiB 3a196820f2acf08490fed1cac64087792f7778a31115f69937bbff86a843b1ac
coq_8.15.2+dfsg.orig.tar.xz 4.5 MiB 53cbfe9b7f1b1bac7f84f13acb9ca4082e3b3483c336267d80047214703991c8
coq_8.15.2+dfsg-1.debian.tar.xz 39.1 KiB b955019df8cd8d26b6a385c117ac68adf7e350fd4ff1e47985224e0d0c9ab13d

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: 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.