Processing of coq_7.3.1-3_i386.changes

[Archive Administrator]

coq_7.3.1-3_i386.changes uploaded successfully to localhost
along with the files:
  coq_7.3.1-3.dsc
  coq_7.3.1-3.diff.gz
  coq_7.3.1-3_i386.deb

Greetings,

        Your Debian queue daemon