Processing of coq-float_8.4-5_amd64.changes

Wed, 14 Oct 2015 03:27:28 -0700 

coq-float_8.4-5_amd64.changes uploaded successfully to localhost
along with the files:
  coq-float_8.4-5.dsc
  coq-float_8.4-5.debian.tar.xz
  libfloat-coq_8.4-5_all.deb

Greetings,

        Your Debian queue daemon (running on host franck.debian.org)

Reply via email to