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

Processing of coq_8.1.pl2+dfsg-1_i386.changes



coq_8.1.pl2+dfsg-1_i386.changes uploaded successfully to localhost
along with the files:
  coq_8.1.pl2+dfsg-1.dsc
  coq_8.1.pl2+dfsg.orig.tar.gz
  coq_8.1.pl2+dfsg-1.diff.gz
  coq-libs_8.1.pl2+dfsg-1_all.deb
  coq_8.1.pl2+dfsg-1_i386.deb
  coqide_8.1.pl2+dfsg-1_i386.deb

Greetings,

	Your Debian queue daemon



Reply to: