Accepted:
coq_7.3.1-3.diff.gz
to pool/main/c/coq/coq_7.3.1-3.diff.gz
coq_7.3.1-3.dsc
to pool/main/c/coq/coq_7.3.1-3.dsc
coq_7.3.1-3_i386.deb
to pool/main/c/coq/coq_7.3.1-3_i386.deb
Announcing to [EMAIL PROTECTED]
Closing bugs: 242761
Thank you for your contribution to Debian.
--
To
Accepted:
coq_7.3.1-3.diff.gz
to pool/main/c/coq/coq_7.3.1-3.diff.gz
coq_7.3.1-3.dsc
to pool/main/c/coq/coq_7.3.1-3.dsc
coq_7.3.1-3_i386.deb
to pool/main/c/coq/coq_7.3.1-3_i386.deb
Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 242761
Thank you for your contribution to
2 matches
Mail list logo