Ubuntu
coq package

coq 8.1+dfsg-5 source package in Ubuntu

Changelog

coq (8.1+dfsg-5) unstable; urgency=low

  * Correctly clean, closes: #424162.

 -- Ubuntu Archive Auto-Sync <email address hidden>   Thu,  24 May 2007 12:53:10 +0100

Upload details

Uploaded by:
Ubuntu Archive Auto-Sync
Uploaded to:
Gutsy
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
devel
Urgency:
Low Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq_8.1+dfsg.orig.tar.gz 2.4 MiB 0b9c99c58fcc675e8179546aba17d5c8a596970c240dfa98e31d5da63d40dd73
coq_8.1+dfsg-5.diff.gz 14.4 KiB ad98d22489d4367ec57f12734d82718fdb26b04f9b77f98cf573d21791fadfdc
coq_8.1+dfsg-5.dsc 1.1 KiB 829f5cca4af861e6c3273399aaf3d8adf136e6b017c92d9a5045b09c4701583f

View changes file

Binary packages built by this source

coq: No summary available for coq in ubuntu gutsy.

No description available for coq in ubuntu gutsy.

coq-libs: No summary available for coq-libs in ubuntu gutsy.

No description available for coq-libs in ubuntu gutsy.

coqide: No summary available for coqide in ubuntu gutsy.

No description available for coqide in ubuntu gutsy.