coq 8.8.2-1 source package in Ubuntu
Changelog
coq (8.8.2-1) unstable; urgency=medium * New upstream release (Closes: #910840) * Add Benjamin Barenblat to uploaders * Update debian/watch for upstream's transition to GitHub (Closes: #902903) * Stop distributing CoqIDE (Closes: #916369) * coqmktop(1) has been deleted; users should migrate to ocamlfind(1) -- Benjamin Barenblat <email address hidden> Sun, 06 Jan 2019 23:07:04 -0500
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 | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| coq_8.8.2-1.dsc | 2.4 KiB | f8967bddabc9fbbeaa5a2566edbfe0692c837a185178a4818e123cb240d27f38 |
| coq_8.8.2.orig.tar.gz | 5.1 MiB | 7c0cff86fa2b2a377ec59c3d9ba5c9f5ec91edbe89962200f1a5168095f59e74 |
| coq_8.8.2-1.debian.tar.xz | 61.2 KiB | c32c3fe03f4699f37552ace53fa5fb2eebd4aeda226f03f003784dc84003df83 |
No changes file available.
Binary packages built by this source
- coq: No summary available for coq in ubuntu disco.
No description available for coq in ubuntu disco.
- coq-dbgsym: No summary available for coq-dbgsym in ubuntu disco.
No description available for coq-dbgsym in ubuntu disco.
- coq-theories: No summary available for coq-theories in ubuntu disco.
No description available for coq-theories in ubuntu disco.
- coq-theories-dbgsym: No summary available for coq-theories-dbgsym in ubuntu disco.
No description available for coq-theories-dbgsym in ubuntu disco.
- libcoq-ocaml: No summary available for libcoq-ocaml in ubuntu disco.
No description available for libcoq-ocaml in ubuntu disco.
- libcoq-ocaml-dbgsym: No summary available for libcoq-ocaml-dbgsym in ubuntu disco.
No description available for libcoq-ocaml-dbgsym in ubuntu disco.
- libcoq-ocaml-dev: No summary available for libcoq-ocaml-dev in ubuntu disco.
No description available for libcoq-ocaml-dev in ubuntu disco.
