coq-doc 8.4pl2-1 source package in Ubuntu

Changelog

coq-doc (8.4pl2-1) unstable; urgency=medium


  * New upstream release
  * Debhelper compat level 9
  * Update Vcs-*

 -- St├ęphane Glondu <email address hidden>  Thu, 12 Dec 2013 09:06:18 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
all
Section:
doc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Trusty release multiverse doc

Builds

Trusty: [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
coq-doc_8.4pl2-1.dsc 2.2 KiB 5ef8268a16ceb8575ec2b22e0eda0388b3d1fb058fbf7392c13e28e3d851e1d5
coq-doc_8.4pl2.orig.tar.gz 4.0 MiB fb719a38f613b01861e3b251e745a5c8ef395a26ce7029668e85ac75fcbca2d8
coq-doc_8.4pl2-1.debian.tar.gz 8.5 KiB 0d54845d4bcce090b5031187336dd570d857860efd6098966eb248e181d36ec9

Available diffs

No changes file available.

Binary packages built by this source

coq-doc: No summary available for coq-doc in ubuntu utopic.

No description available for coq-doc in ubuntu utopic.

coq-doc-html: No summary available for coq-doc-html in ubuntu vivid.

No description available for coq-doc-html in ubuntu vivid.

coq-doc-pdf: No summary available for coq-doc-pdf in ubuntu vivid.

No description available for coq-doc-pdf in ubuntu vivid.