[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq_8.1~gamma-1_i386.changes ACCEPTED



Accepted:
coq-libs_8.1~gamma-1_all.deb
  to pool/main/c/coq/coq-libs_8.1~gamma-1_all.deb
coq_8.1~gamma-1.diff.gz
  to pool/main/c/coq/coq_8.1~gamma-1.diff.gz
coq_8.1~gamma-1.dsc
  to pool/main/c/coq/coq_8.1~gamma-1.dsc
coq_8.1~gamma-1_i386.deb
  to pool/main/c/coq/coq_8.1~gamma-1_i386.deb
coq_8.1~gamma.orig.tar.gz
  to pool/main/c/coq/coq_8.1~gamma.orig.tar.gz
coqide_8.1~gamma-1_i386.deb
  to pool/main/c/coq/coqide_8.1~gamma-1_i386.deb


Override entries for your package:
coq-libs_8.1~gamma-1_all.deb - optional math
coq_8.1~gamma-1.dsc - source math
coq_8.1~gamma-1_i386.deb - optional math
coqide_8.1~gamma-1_i386.deb - optional math

Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 383310 


Thank you for your contribution to Debian.



Reply to: