Ubuntu
coq package

coq 8.12.0-3 source package in Ubuntu

Changelog

coq (8.12.0-3) unstable; urgency=medium

  * Upload to unstable

 -- Ralf Treinen <email address hidden>  Wed, 09 Sep 2020 21:16:07 +0200

Upload details

Uploaded by:: Debian OCaml Maintainers on 2020-09-10

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

Builds

Groovy: amd64 arm64 armhf ppc64el riscv64 s390x

Downloads

File	Size	SHA-256 Checksum
coq_8.12.0-3.dsc	2.4 KiB	a51b2cc10e8b2e8199e0788bc5c5016f7bc097cc276105e8f1e137f96be1838b
coq_8.12.0.orig.tar.gz	5.7 MiB	e2c784fb8545718819f44b85518b5572226faa1e34aa8dc4d5d9e64edfbc0a39
coq_8.12.0-3.debian.tar.xz	36.9 KiB	d0b2ecfbcb6ef5a116dc791cf4e68086314352c42d5250407e563d117f63234a

Available diffs

diff from 8.11.0-1build1 (in Ubuntu) to 8.12.0-3 (1.8 MiB)

No changes file available.

Binary packages built by this source

coq: No summary available for coq in ubuntu groovy.: No description available for coq in ubuntu groovy.

coq-dbgsym: No summary available for coq-dbgsym in ubuntu groovy.: No description available for coq-dbgsym in ubuntu groovy.

coq-theories: No summary available for coq-theories in ubuntu groovy.: No description available for coq-theories in ubuntu groovy.

coq-theories-dbgsym: No summary available for coq-theories-dbgsym in ubuntu groovy.: No description available for coq-theories-dbgsym in ubuntu groovy.

coqide: No summary available for coqide in ubuntu groovy.: No description available for coqide in ubuntu groovy.

coqide-dbgsym: No summary available for coqide-dbgsym in ubuntu groovy.: No description available for coqide-dbgsym in ubuntu groovy.

libcoq-ocaml: No summary available for libcoq-ocaml in ubuntu groovy.: No description available for libcoq-ocaml in ubuntu groovy.

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

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