mlgmp_20021123-18_amd64.changes uploaded successfully to localhost along with the files: mlgmp_20021123-18.dsc mlgmp_20021123-18.debian.tar.xz libgmp-ocaml-dev_20021123-18_amd64.deb libgmp-ocaml_20021123-18_amd64.deb
Greetings, Your Debian queue daemon (running on host franck.debian.org)