ocaml-bitstring_2.0.2-2_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-bitstring_2.0.2-2.dsc
ocaml-bitstring_2.0.2-2.diff.gz
libbitstring-ocaml-dev_2.0.2-2_amd64.deb
libbitstring-ocaml_2.0.2-2_amd64.deb
Greetings,
Your Debian queue daemon (running on
frama-c_20100401+boron+dfsg-5_amd64.changes uploaded successfully to localhost
along with the files:
frama-c_20100401+boron+dfsg-5.dsc
frama-c_20100401+boron+dfsg-5.debian.tar.gz
frama-c_20100401+boron+dfsg-5_amd64.deb
frama-c-base_20100401+boron+dfsg-5_amd64.deb
Greetings,
Your D
ocaml_3.11.2-2_amd64.changes uploaded successfully to localhost
along with the files:
ocaml_3.11.2-2.dsc
ocaml_3.11.2-2.diff.gz
ocaml-nox_3.11.2-2_amd64.deb
camlp4_3.11.2-2_amd64.deb
camlp4-extra_3.11.2-2_amd64.deb
ocaml_3.11.2-2_amd64.deb
ocaml-base-nox_3.11.2-2_amd64.deb
ocaml-bas
mldonkey_3.0.3-2_amd64.changes uploaded successfully to localhost
along with the files:
mldonkey_3.0.3-2.dsc
mldonkey_3.0.3-2.debian.tar.gz
mldonkey-server_3.0.3-2_amd64.deb
mldonkey-gui_3.0.3-2_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
--
bibtex2html_1.96-1_amd64.changes uploaded successfully to localhost
along with the files:
bibtex2html_1.96-1.dsc
bibtex2html_1.96.orig.tar.gz
bibtex2html_1.96-1.debian.tar.gz
bibtex2html_1.96-1_all.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
--
T
bibtex2html_1.96-1_amd64.changes uploaded successfully to ftp-master.debian.org
along with the files:
bibtex2html_1.96-1.dsc
bibtex2html_1.96.orig.tar.gz
bibtex2html_1.96-1.debian.tar.gz
bibtex2html_1.96-1_all.deb
Greetings,
Your Debian queue daemon (running on host kassia.debian.
liquidsoap_0.9.3-2_amd64.changes uploaded successfully to localhost
along with the files:
liquidsoap_0.9.3-2.dsc
liquidsoap_0.9.3-2.debian.tar.gz
liguidsoap_0.9.3-2_all.deb
liquidsoap_0.9.3-2_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
--
T
liquidsoap_0.9.3-1_amd64.changes uploaded successfully to localhost
along with the files:
liquidsoap_0.9.3-1.dsc
liquidsoap_0.9.3.orig.tar.bz2
liquidsoap_0.9.3-1.debian.tar.gz
liguidsoap_0.9.3-1_all.deb
liquidsoap_0.9.3-1_amd64.deb
Greetings,
Your Debian queue daemon (running on
ocaml-dtools_0.2.1-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-dtools_0.2.1-1.dsc
ocaml-dtools_0.2.1.orig.tar.gz
ocaml-dtools_0.2.1-1.diff.gz
libdtools-ocaml-dev_0.2.1-1_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.debian
tuareg-mode_2.0.2-1_amd64.changes uploaded successfully to localhost
along with the files:
tuareg-mode_2.0.2-1.dsc
tuareg-mode_2.0.2.orig.tar.gz
tuareg-mode_2.0.2-1.debian.tar.gz
tuareg-mode_2.0.2-1_all.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
tuareg-mode_2.0.2-1_amd64.changes uploaded successfully to ftp-master.debian.org
along with the files:
tuareg-mode_2.0.2-1.dsc
tuareg-mode_2.0.2.orig.tar.gz
tuareg-mode_2.0.2-1.debian.tar.gz
tuareg-mode_2.0.2-1_all.deb
Greetings,
Your Debian queue daemon (running on host kassia.de
ocaml-speex_0.1.2-2_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-speex_0.1.2-2.dsc
ocaml-speex_0.1.2-2.diff.gz
libspeex-ocaml_0.1.2-2_amd64.deb
libspeex-ocaml-dev_0.1.2-2_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.o
Accepted:
libtheora-ocaml-dev_0.2.0-3_amd64.deb
to main/o/ocaml-theora/libtheora-ocaml-dev_0.2.0-3_amd64.deb
libtheora-ocaml_0.2.0-3_amd64.deb
to main/o/ocaml-theora/libtheora-ocaml_0.2.0-3_amd64.deb
ocaml-theora_0.2.0-3.diff.gz
to main/o/ocaml-theora/ocaml-theora_0.2.0-3.diff.gz
ocaml-the
ocaml-theora_0.2.0-3_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-theora_0.2.0-3.dsc
ocaml-theora_0.2.0-3.diff.gz
libtheora-ocaml_0.2.0-3_amd64.deb
libtheora-ocaml-dev_0.2.0-3_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.deb
Reject Reasons:
md5sum for
/srv/ftp-master.debian.org/ftp/pool/main/o/ocaml-theora/ocaml-theora_0.2.0.orig.tar.gz
doesn't match ocaml-theora_0.2.0-3.dsc.
size for
/srv/ftp-master.debian.org/ftp/pool/main/o/ocaml-theora/ocaml-theora_0.2.0.orig.tar.gz
doesn't match ocaml-theora_0.2.0-3.dsc.
'd
ocaml-theora_0.2.0-3_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-theora_0.2.0-3.dsc
ocaml-theora_0.2.0-3.diff.gz
libtheora-ocaml_0.2.0-3_amd64.deb
libtheora-ocaml-dev_0.2.0-3_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.deb
Reject Reasons:
md5sum for
/srv/ftp-master.debian.org/ftp/pool/main/o/ocaml-speex/ocaml-speex_0.1.2.orig.tar.gz
doesn't match ocaml-speex_0.1.2-2.dsc.
size for
/srv/ftp-master.debian.org/ftp/pool/main/o/ocaml-speex/ocaml-speex_0.1.2.orig.tar.gz
doesn't match ocaml-speex_0.1.2-2.dsc.
'dpkg-so
Accepted:
libvorbis-ocaml-dev_0.5.1-2_amd64.deb
to main/o/ocaml-vorbis/libvorbis-ocaml-dev_0.5.1-2_amd64.deb
libvorbis-ocaml_0.5.1-2_amd64.deb
to main/o/ocaml-vorbis/libvorbis-ocaml_0.5.1-2_amd64.deb
ocaml-vorbis_0.5.1-2.diff.gz
to main/o/ocaml-vorbis/ocaml-vorbis_0.5.1-2.diff.gz
ocaml-vor
Reject Reasons:
md5sum for
/srv/ftp-master.debian.org/ftp/pool/main/o/ocaml-theora/ocaml-theora_0.2.0.orig.tar.gz
doesn't match ocaml-theora_0.2.0-3.dsc.
size for
/srv/ftp-master.debian.org/ftp/pool/main/o/ocaml-theora/ocaml-theora_0.2.0.orig.tar.gz
doesn't match ocaml-theora_0.2.0-3.dsc.
'd
ocaml-speex_0.1.2-2_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-speex_0.1.2-2.dsc
ocaml-speex_0.1.2-2.diff.gz
libspeex-ocaml_0.1.2-2_amd64.deb
libspeex-ocaml-dev_0.1.2-2_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.o
ocaml-vorbis_0.5.1-2_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-vorbis_0.5.1-2.dsc
ocaml-vorbis_0.5.1-2.diff.gz
libvorbis-ocaml_0.5.1-2_amd64.deb
libvorbis-ocaml-dev_0.5.1-2_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.deb
ocaml-theora_0.2.0-3_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-theora_0.2.0-3.dsc
ocaml-theora_0.2.0-3.diff.gz
libtheora-ocaml_0.2.0-3_amd64.deb
libtheora-ocaml-dev_0.2.0-3_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.deb
Accepted:
libcry-ocaml-dev_0.1.5-1_amd64.deb
to main/o/ocaml-cry/libcry-ocaml-dev_0.1.5-1_amd64.deb
ocaml-cry_0.1.5-1.diff.gz
to main/o/ocaml-cry/ocaml-cry_0.1.5-1.diff.gz
ocaml-cry_0.1.5-1.dsc
to main/o/ocaml-cry/ocaml-cry_0.1.5-1.dsc
ocaml-cry_0.1.5.orig.tar.gz
to main/o/ocaml-cry/ocam
ocaml-cry_0.1.5-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-cry_0.1.5-1.dsc
ocaml-cry_0.1.5.orig.tar.gz
ocaml-cry_0.1.5-1.diff.gz
libcry-ocaml-dev_0.1.5-1_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
--
To
Accepted:
libfileutils-ocaml-dev_0.4.2-1_amd64.deb
to main/o/ocaml-fileutils/libfileutils-ocaml-dev_0.4.2-1_amd64.deb
ocaml-fileutils_0.4.2-1.diff.gz
to main/o/ocaml-fileutils/ocaml-fileutils_0.4.2-1.diff.gz
ocaml-fileutils_0.4.2-1.dsc
to main/o/ocaml-fileutils/ocaml-fileutils_0.4.2-1.dsc
ocaml-fileutils_0.4.2-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-fileutils_0.4.2-1.dsc
ocaml-fileutils_0.4.2.orig.tar.gz
ocaml-fileutils_0.4.2-1.diff.gz
libfileutils-ocaml-dev_0.4.2-1_amd64.deb
Greetings,
Your Debian queue daemon (running on hos
Accepted:
dh-ocaml_0.9.6.dsc
to main/d/dh-ocaml/dh-ocaml_0.9.6.dsc
dh-ocaml_0.9.6.tar.gz
to main/d/dh-ocaml/dh-ocaml_0.9.6.tar.gz
dh-ocaml_0.9.6_all.deb
to main/d/dh-ocaml/dh-ocaml_0.9.6_all.deb
Override entries for your package:
dh-ocaml_0.9.6.dsc - source ocaml
dh-ocaml_0.9.6_all.deb -
dh-ocaml_0.9.6_amd64.changes uploaded successfully to localhost
along with the files:
dh-ocaml_0.9.6.dsc
dh-ocaml_0.9.6.tar.gz
dh-ocaml_0.9.6_all.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lis
dh-ocaml_0.9.6_amd64.changes uploaded successfully to ftp-master.debian.org
along with the files:
dh-ocaml_0.9.6.dsc
dh-ocaml_0.9.6.tar.gz
dh-ocaml_0.9.6_all.deb
Greetings,
Your Debian queue daemon (running on host kassia.debian.org)
--
To UNSUBSCRIBE, email to debian-ocaml-maint
Accepted:
libcry-ocaml-dev_0.1.4-1_amd64.deb
to main/o/ocaml-cry/libcry-ocaml-dev_0.1.4-1_amd64.deb
ocaml-cry_0.1.4-1.diff.gz
to main/o/ocaml-cry/ocaml-cry_0.1.4-1.diff.gz
ocaml-cry_0.1.4-1.dsc
to main/o/ocaml-cry/ocaml-cry_0.1.4-1.dsc
ocaml-cry_0.1.4.orig.tar.gz
to main/o/ocaml-cry/ocam
ocaml-cry_0.1.4-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-cry_0.1.4-1.dsc
ocaml-cry_0.1.4.orig.tar.gz
ocaml-cry_0.1.4-1.diff.gz
libcry-ocaml-dev_0.1.4-1_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
--
To
Reject Reasons:
ocaml-bjack source: lintian output: 'missing-build-dependency dh-ocaml (>=
0.9~), ocaml-nox (>= 3.11.1-3~)', automatically rejected package.
ocaml-bjack source: If you have a good reason, you may override this lintian
tag.
===
Please feel free to respond to this email if yo
ocaml-bjack_0.1.3-3_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-bjack_0.1.3-3.dsc
ocaml-bjack_0.1.3-3.diff.gz
libbjack-ocaml_0.1.3-3_amd64.deb
libbjack-ocaml-dev_0.1.3-3_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.o
Accepted:
libogg-ocaml-dev_0.4.1-1_amd64.deb
to main/o/ocaml-ogg/libogg-ocaml-dev_0.4.1-1_amd64.deb
libogg-ocaml_0.4.1-1_amd64.deb
to main/o/ocaml-ogg/libogg-ocaml_0.4.1-1_amd64.deb
ocaml-ogg_0.4.1-1.diff.gz
to main/o/ocaml-ogg/ocaml-ogg_0.4.1-1.diff.gz
ocaml-ogg_0.4.1-1.dsc
to main/o/oc
ocaml-ogg_0.4.1-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-ogg_0.4.1-1.dsc
ocaml-ogg_0.4.1.orig.tar.gz
ocaml-ogg_0.4.1-1.diff.gz
libogg-ocaml_0.4.1-1_amd64.deb
libogg-ocaml-dev_0.4.1-1_amd64.deb
Greetings,
Your Debian queue daemon (running on
Accepted:
libtheora-ocaml-dev_0.2.0-2_amd64.deb
to main/o/ocaml-theora/libtheora-ocaml-dev_0.2.0-2_amd64.deb
libtheora-ocaml_0.2.0-2_amd64.deb
to main/o/ocaml-theora/libtheora-ocaml_0.2.0-2_amd64.deb
ocaml-theora_0.2.0-2.diff.gz
to main/o/ocaml-theora/ocaml-theora_0.2.0-2.diff.gz
ocaml-the
ocaml-theora_0.2.0-2_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-theora_0.2.0-2.dsc
ocaml-theora_0.2.0-2.diff.gz
libtheora-ocaml_0.2.0-2_amd64.deb
libtheora-ocaml-dev_0.2.0-2_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.deb
Accepted:
libtheora-ocaml-dev_0.2.0-1_amd64.deb
to main/o/ocaml-theora/libtheora-ocaml-dev_0.2.0-1_amd64.deb
libtheora-ocaml_0.2.0-1_amd64.deb
to main/o/ocaml-theora/libtheora-ocaml_0.2.0-1_amd64.deb
ocaml-theora_0.2.0-1.diff.gz
to main/o/ocaml-theora/ocaml-theora_0.2.0-1.diff.gz
ocaml-the
ocaml-theora_0.2.0-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-theora_0.2.0-1.dsc
ocaml-theora_0.2.0.orig.tar.gz
ocaml-theora_0.2.0-1.diff.gz
libtheora-ocaml_0.2.0-1_amd64.deb
libtheora-ocaml-dev_0.2.0-1_amd64.deb
Greetings,
Your Debian queue d
Accepted:
libogg-ocaml-dev_0.4.0-1_amd64.deb
to main/o/ocaml-ogg/libogg-ocaml-dev_0.4.0-1_amd64.deb
libogg-ocaml_0.4.0-1_amd64.deb
to main/o/ocaml-ogg/libogg-ocaml_0.4.0-1_amd64.deb
ocaml-ogg_0.4.0-1.diff.gz
to main/o/ocaml-ogg/ocaml-ogg_0.4.0-1.diff.gz
ocaml-ogg_0.4.0-1.dsc
to main/o/oc
Accepted:
libgavl-ocaml-dev_0.1.3-1_amd64.deb
to main/o/ocaml-gavl/libgavl-ocaml-dev_0.1.3-1_amd64.deb
libgavl-ocaml_0.1.3-1_amd64.deb
to main/o/ocaml-gavl/libgavl-ocaml_0.1.3-1_amd64.deb
ocaml-gavl_0.1.3-1.diff.gz
to main/o/ocaml-gavl/ocaml-gavl_0.1.3-1.diff.gz
ocaml-gavl_0.1.3-1.dsc
to
Accepted:
libduppy-ocaml-dev_0.3.2-1_amd64.deb
to main/o/ocaml-duppy/libduppy-ocaml-dev_0.3.2-1_amd64.deb
ocaml-duppy_0.3.2-1.diff.gz
to main/o/ocaml-duppy/ocaml-duppy_0.3.2-1.diff.gz
ocaml-duppy_0.3.2-1.dsc
to main/o/ocaml-duppy/ocaml-duppy_0.3.2-1.dsc
ocaml-duppy_0.3.2.orig.tar.gz
to m
ocaml-ogg_0.4.0-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-ogg_0.4.0-1.dsc
ocaml-ogg_0.4.0.orig.tar.gz
ocaml-ogg_0.4.0-1.diff.gz
libogg-ocaml_0.4.0-1_amd64.deb
libogg-ocaml-dev_0.4.0-1_amd64.deb
Greetings,
Your Debian queue daemon (running on
ocaml-gavl_0.1.3-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-gavl_0.1.3-1.dsc
ocaml-gavl_0.1.3.orig.tar.gz
ocaml-gavl_0.1.3-1.diff.gz
libgavl-ocaml_0.1.3-1_amd64.deb
libgavl-ocaml-dev_0.1.3-1_amd64.deb
Greetings,
Your Debian queue daemon (runni
ocaml-duppy_0.3.2-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-duppy_0.3.2-1.dsc
ocaml-duppy_0.3.2.orig.tar.gz
ocaml-duppy_0.3.2-1.diff.gz
libduppy-ocaml-dev_0.3.2-1_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
Accepted:
libdtools-ocaml-dev_0.2.0-1_amd64.deb
to main/o/ocaml-dtools/libdtools-ocaml-dev_0.2.0-1_amd64.deb
ocaml-dtools_0.2.0-1.diff.gz
to main/o/ocaml-dtools/ocaml-dtools_0.2.0-1.diff.gz
ocaml-dtools_0.2.0-1.dsc
to main/o/ocaml-dtools/ocaml-dtools_0.2.0-1.dsc
ocaml-dtools_0.2.0.orig.tar
Accepted:
libcry-ocaml-dev_0.1.3-1_amd64.deb
to main/o/ocaml-cry/libcry-ocaml-dev_0.1.3-1_amd64.deb
ocaml-cry_0.1.3-1.diff.gz
to main/o/ocaml-cry/ocaml-cry_0.1.3-1.diff.gz
ocaml-cry_0.1.3-1.dsc
to main/o/ocaml-cry/ocaml-cry_0.1.3-1.dsc
ocaml-cry_0.1.3.orig.tar.gz
to main/o/ocaml-cry/ocam
Accepted:
libalsa-ocaml-dev_0.2.0-1_amd64.deb
to main/o/ocaml-alsa/libalsa-ocaml-dev_0.2.0-1_amd64.deb
libalsa-ocaml_0.2.0-1_amd64.deb
to main/o/ocaml-alsa/libalsa-ocaml_0.2.0-1_amd64.deb
ocaml-alsa_0.2.0-1.diff.gz
to main/o/ocaml-alsa/ocaml-alsa_0.2.0-1.diff.gz
ocaml-alsa_0.2.0-1.dsc
to
ocaml-alsa_0.2.0-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-alsa_0.2.0-1.dsc
ocaml-alsa_0.2.0.orig.tar.gz
ocaml-alsa_0.2.0-1.diff.gz
libalsa-ocaml_0.2.0-1_amd64.deb
libalsa-ocaml-dev_0.2.0-1_amd64.deb
Greetings,
Your Debian queue daemon (runni
ocaml-cry_0.1.3-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-cry_0.1.3-1.dsc
ocaml-cry_0.1.3.orig.tar.gz
ocaml-cry_0.1.3-1.diff.gz
libcry-ocaml-dev_0.1.3-1_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
--
To
ocaml-dtools_0.2.0-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-dtools_0.2.0-1.dsc
ocaml-dtools_0.2.0.orig.tar.gz
ocaml-dtools_0.2.0-1.diff.gz
libdtools-ocaml-dev_0.2.0-1_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.debian
Accepted:
libmad-ocaml-dev_0.4.0-1_amd64.deb
to main/o/ocaml-mad/libmad-ocaml-dev_0.4.0-1_amd64.deb
libmad-ocaml_0.4.0-1_amd64.deb
to main/o/ocaml-mad/libmad-ocaml_0.4.0-1_amd64.deb
ocaml-mad_0.4.0-1.diff.gz
to main/o/ocaml-mad/ocaml-mad_0.4.0-1.diff.gz
ocaml-mad_0.4.0-1.dsc
to main/o/oc
ocaml-mad_0.4.0-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-mad_0.4.0-1.dsc
ocaml-mad_0.4.0.orig.tar.gz
ocaml-mad_0.4.0-1.diff.gz
libmad-ocaml_0.4.0-1_amd64.deb
libmad-ocaml-dev_0.4.0-1_amd64.deb
Greetings,
Your Debian queue daemon (running on
Accepted:
mingw32-ocaml_3.12.0+debian1.dsc
to main/m/mingw32-ocaml/mingw32-ocaml_3.12.0+debian1.dsc
mingw32-ocaml_3.12.0+debian1.tar.gz
to main/m/mingw32-ocaml/mingw32-ocaml_3.12.0+debian1.tar.gz
mingw32-ocaml_3.12.0+debian1_amd64.deb
to main/m/mingw32-ocaml/mingw32-ocaml_3.12.0+debian1_am
mingw32-ocaml_3.12.0+debian1_amd64.changes uploaded successfully to localhost
along with the files:
mingw32-ocaml_3.12.0+debian1.dsc
mingw32-ocaml_3.12.0+debian1.tar.gz
mingw32-ocaml_3.12.0+debian1_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
-
Accepted:
coq-theories_8.3~rc1+dfsg-1_all.deb
to main/c/coq/coq-theories_8.3~rc1+dfsg-1_all.deb
coq_8.3~rc1+dfsg-1.debian.tar.gz
to main/c/coq/coq_8.3~rc1+dfsg-1.debian.tar.gz
coq_8.3~rc1+dfsg-1.dsc
to main/c/coq/coq_8.3~rc1+dfsg-1.dsc
coq_8.3~rc1+dfsg-1_amd64.deb
to main/c/coq/coq_8.3~r
coq_8.3~rc1+dfsg-1_amd64.changes uploaded successfully to localhost
along with the files:
coq_8.3~rc1+dfsg-1.dsc
coq_8.3~rc1+dfsg.orig.tar.gz
coq_8.3~rc1+dfsg-1.debian.tar.gz
coq_8.3~rc1+dfsg-1_amd64.deb
coqide_8.3~rc1+dfsg-1_amd64.deb
coq-theories_8.3~rc1+dfsg-1_all.deb
libcoq-ocaml_
Accepted:
mldonkey-gui_3.0.3-1_amd64.deb
to main/m/mldonkey/mldonkey-gui_3.0.3-1_amd64.deb
mldonkey-server_3.0.3-1_amd64.deb
to main/m/mldonkey/mldonkey-server_3.0.3-1_amd64.deb
mldonkey_3.0.3-1.debian.tar.gz
to main/m/mldonkey/mldonkey_3.0.3-1.debian.tar.gz
mldonkey_3.0.3-1.dsc
to main/
mldonkey_3.0.3-1_amd64.changes uploaded successfully to localhost
along with the files:
mldonkey_3.0.3-1.dsc
mldonkey_3.0.3.orig.tar.gz
mldonkey_3.0.3-1.debian.tar.gz
mldonkey-server_3.0.3-1_amd64.deb
mldonkey-gui_3.0.3-1_amd64.deb
Greetings,
Your Debian queue daemon (running on
Accepted:
coccinelle_0.2.3.deb-1.debian.tar.gz
to main/c/coccinelle/coccinelle_0.2.3.deb-1.debian.tar.gz
coccinelle_0.2.3.deb-1.dsc
to main/c/coccinelle/coccinelle_0.2.3.deb-1.dsc
coccinelle_0.2.3.deb-1_amd64.deb
to main/c/coccinelle/coccinelle_0.2.3.deb-1_amd64.deb
coccinelle_0.2.3.deb.or
coccinelle_0.2.3.deb-1_amd64.changes uploaded successfully to localhost
along with the files:
coccinelle_0.2.3.deb-1.dsc
coccinelle_0.2.3.deb.orig.tar.gz
coccinelle_0.2.3.deb-1.debian.tar.gz
coccinelle_0.2.3.deb-1_amd64.deb
Greetings,
Your Debian queue daemon (running on host fran
Accepted:
coq-theories_8.3~beta0+13323-1_all.deb
to main/c/coq/coq-theories_8.3~beta0+13323-1_all.deb
coq_8.3~beta0+13323-1.debian.tar.gz
to main/c/coq/coq_8.3~beta0+13323-1.debian.tar.gz
coq_8.3~beta0+13323-1.dsc
to main/c/coq/coq_8.3~beta0+13323-1.dsc
coq_8.3~beta0+13323-1_amd64.deb
to
coq_8.3~beta0+13323-1_amd64.changes uploaded successfully to localhost
along with the files:
coq_8.3~beta0+13323-1.dsc
coq_8.3~beta0+13323.orig.tar.gz
coq_8.3~beta0+13323-1.debian.tar.gz
coq_8.3~beta0+13323-1_amd64.deb
coqide_8.3~beta0+13323-1_amd64.deb
coq-theories_8.3~beta0+13323-1_al
Accepted:
coq-theories_8.3~beta0+13298-1_all.deb
to main/c/coq/coq-theories_8.3~beta0+13298-1_all.deb
coq_8.3~beta0+13298-1.debian.tar.gz
to main/c/coq/coq_8.3~beta0+13298-1.debian.tar.gz
coq_8.3~beta0+13298-1.dsc
to main/c/coq/coq_8.3~beta0+13298-1.dsc
coq_8.3~beta0+13298-1_amd64.deb
to
coq-theories_8.3~beta0+13298-1_all.deb
to main/c/coq/coq-theories_8.3~beta0+13298-1_all.deb
coq_8.3~beta0+13298-1.debian.tar.gz
to main/c/coq/coq_8.3~beta0+13298-1.debian.tar.gz
coq_8.3~beta0+13298-1.dsc
to main/c/coq/coq_8.3~beta0+13298-1.dsc
coq_8.3~beta0+13298-1_amd64.deb
to main/c/coq/c
coq_8.3~beta0+13298-1_amd64.changes uploaded successfully to localhost
along with the files:
coq_8.3~beta0+13298-1.dsc
coq_8.3~beta0+13298.orig.tar.gz
coq_8.3~beta0+13298-1.debian.tar.gz
coq_8.3~beta0+13298-1_amd64.deb
coqide_8.3~beta0+13298-1_amd64.deb
coq-theories_8.3~beta0+13298-1_al
Accepted:
libwhy-coq_2.26+dfsg-2_all.deb
to main/w/why/libwhy-coq_2.26+dfsg-2_all.deb
why-examples_2.26+dfsg-2_all.deb
to main/w/why/why-examples_2.26+dfsg-2_all.deb
why_2.26+dfsg-2.debian.tar.gz
to main/w/why/why_2.26+dfsg-2.debian.tar.gz
why_2.26+dfsg-2.dsc
to main/w/why/why_2.26+dfsg-
why_2.26+dfsg-2_i386.changes uploaded successfully to localhost
along with the files:
why_2.26+dfsg-2.dsc
why_2.26+dfsg-2.debian.tar.gz
why_2.26+dfsg-2_i386.deb
why-examples_2.26+dfsg-2_all.deb
libwhy-coq_2.26+dfsg-2_all.deb
Greetings,
Your Debian queue daemon (running on host f
Accepted:
apron_0.9.10-5.debian.tar.gz
to main/a/apron/apron_0.9.10-5.debian.tar.gz
apron_0.9.10-5.dsc
to main/a/apron/apron_0.9.10-5.dsc
libapron-dev_0.9.10-5_all.deb
to main/a/apron/libapron-dev_0.9.10-5_all.deb
libapron-ocaml-dev_0.9.10-5_amd64.deb
to main/a/apron/libapron-ocaml-dev_0
apron_0.9.10-5_amd64.changes uploaded successfully to localhost
along with the files:
apron_0.9.10-5.dsc
apron_0.9.10-5.debian.tar.gz
libapron_0.9.10-5_amd64.deb
libapron-dev_0.9.10-5_all.deb
libapron-ocaml_0.9.10-5_amd64.deb
libapron-ocaml-dev_0.9.10-5_amd64.deb
Greetings,
Yo
Accepted:
csvtool_1.2.1-1_amd64.deb
to main/o/ocaml-csv/csvtool_1.2.1-1_amd64.deb
libcsv-ocaml-dev_1.2.1-1_amd64.deb
to main/o/ocaml-csv/libcsv-ocaml-dev_1.2.1-1_amd64.deb
ocaml-csv_1.2.1-1.debian.tar.gz
to main/o/ocaml-csv/ocaml-csv_1.2.1-1.debian.tar.gz
ocaml-csv_1.2.1-1.dsc
to main/o/
ocaml-csv_1.2.1-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-csv_1.2.1-1.dsc
ocaml-csv_1.2.1.orig.tar.gz
ocaml-csv_1.2.1-1.debian.tar.gz
libcsv-ocaml-dev_1.2.1-1_amd64.deb
csvtool_1.2.1-1_amd64.deb
Greetings,
Your Debian queue daemon (running on
Accepted:
frama-c-base_20100401+boron+dfsg-4_i386.deb
to main/f/frama-c/frama-c-base_20100401+boron+dfsg-4_i386.deb
frama-c_20100401+boron+dfsg-4.debian.tar.gz
to main/f/frama-c/frama-c_20100401+boron+dfsg-4.debian.tar.gz
frama-c_20100401+boron+dfsg-4.dsc
to main/f/frama-c/frama-c_20100401
frama-c_20100401+boron+dfsg-4_i386.changes uploaded successfully to localhost
along with the files:
frama-c_20100401+boron+dfsg-4.dsc
frama-c_20100401+boron+dfsg-4.debian.tar.gz
frama-c_20100401+boron+dfsg-4_i386.deb
frama-c-base_20100401+boron+dfsg-4_i386.deb
Greetings,
Your Debi
There are disparities between your recently accepted upload and the
override file for the following file(s):
libssreflect-ocaml_1.2+dfsg-6_amd64.deb: package says section is ocaml,
override says math.
Please note that a list of new sections were recently added to the
archive: cli-mono, database
Accepted:
libssreflect-coq_1.2+dfsg-6_all.deb
to main/s/ssreflect/libssreflect-coq_1.2+dfsg-6_all.deb
libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb
libssreflect-ocaml_1.2+dfsg-6_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1
ssreflect_1.2+dfsg-6_amd64.changes uploaded successfully to localhost
along with the files:
ssreflect_1.2+dfsg-6.dsc
ssreflect_1.2+dfsg-6.debian.tar.gz
libssreflect-ocaml_1.2+dfsg-6_amd64.deb
libssreflect-ocaml-dev_1.2+dfsg-6_amd64.deb
libssreflect-coq_1.2+dfsg-6_all.deb
Greetings,
Accepted:
libbatteries-ocaml-dev_1.2.2-1_amd64.deb
to main/o/ocaml-batteries/libbatteries-ocaml-dev_1.2.2-1_amd64.deb
libbatteries-ocaml-doc_1.2.2-1_all.deb
to main/o/ocaml-batteries/libbatteries-ocaml-doc_1.2.2-1_all.deb
ocaml-batteries-included_1.2.2-1_all.deb
to main/o/ocaml-batteries/o
ocaml-batteries_1.2.2-1_amd64.changes uploaded successfully to localhost
along with the files:
ocaml-batteries_1.2.2-1.dsc
ocaml-batteries_1.2.2.orig.tar.gz
ocaml-batteries_1.2.2-1.debian.tar.gz
libbatteries-ocaml-dev_1.2.2-1_amd64.deb
libbatteries-ocaml-doc_1.2.2-1_all.deb
ocaml-batter
There are disparities between your recently accepted upload and the
override file for the following file(s):
libssreflect-ocaml_1.2+dfsg-5_amd64.deb: package says section is ocaml,
override says math.
Please note that a list of new sections were recently added to the
archive: cli-mono, database
Accepted:
libssreflect-coq_1.2+dfsg-5_all.deb
to main/s/ssreflect/libssreflect-coq_1.2+dfsg-5_all.deb
libssreflect-ocaml-dev_1.2+dfsg-5_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.2+dfsg-5_amd64.deb
libssreflect-ocaml_1.2+dfsg-5_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1
ssreflect_1.2+dfsg-5_amd64.changes uploaded successfully to localhost
along with the files:
ssreflect_1.2+dfsg-5.dsc
ssreflect_1.2+dfsg-5.debian.tar.gz
libssreflect-ocaml_1.2+dfsg-5_amd64.deb
libssreflect-ocaml-dev_1.2+dfsg-5_amd64.deb
libssreflect-coq_1.2+dfsg-5_all.deb
Greetings,
Accepted:
dh-ocaml_0.9.5.dsc
to main/d/dh-ocaml/dh-ocaml_0.9.5.dsc
dh-ocaml_0.9.5.tar.gz
to main/d/dh-ocaml/dh-ocaml_0.9.5.tar.gz
dh-ocaml_0.9.5_all.deb
to main/d/dh-ocaml/dh-ocaml_0.9.5_all.deb
Override entries for your package:
dh-ocaml_0.9.5.dsc - source ocaml
dh-ocaml_0.9.5_all.deb -
dh-ocaml_0.9.5_i386.changes uploaded successfully to localhost
along with the files:
dh-ocaml_0.9.5.dsc
dh-ocaml_0.9.5.tar.gz
dh-ocaml_0.9.5_all.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@list
There are disparities between your recently accepted upload and the
override file for the following file(s):
frama-c-base_20100401+boron+dfsg-3_amd64.deb: package says priority is
optional, override says extra.
frama-c_20100401+boron+dfsg-3_amd64.deb: package says priority is optional,
override
Accepted:
frama-c-base_20100401+boron+dfsg-3_amd64.deb
to main/f/frama-c/frama-c-base_20100401+boron+dfsg-3_amd64.deb
frama-c_20100401+boron+dfsg-3.diff.gz
to main/f/frama-c/frama-c_20100401+boron+dfsg-3.diff.gz
frama-c_20100401+boron+dfsg-3.dsc
to main/f/frama-c/frama-c_20100401+boron+dfs
frama-c_20100401+boron+dfsg-3_amd64.changes uploaded successfully to localhost
along with the files:
frama-c_20100401+boron+dfsg-3.dsc
frama-c_20100401+boron+dfsg-3.diff.gz
frama-c_20100401+boron+dfsg-3_amd64.deb
frama-c-base_20100401+boron+dfsg-3_amd64.deb
Greetings,
Your Debian
There are disparities between your recently accepted upload and the
override file for the following file(s):
camlidl_1.05-13_amd64.deb: package says section is ocaml, override says devel.
Please note that a list of new sections were recently added to the
archive: cli-mono, database, debug, fonts
Accepted:
camlidl_1.05-13.debian.tar.gz
to main/c/camlidl/camlidl_1.05-13.debian.tar.gz
camlidl_1.05-13.dsc
to main/c/camlidl/camlidl_1.05-13.dsc
camlidl_1.05-13_amd64.deb
to main/c/camlidl/camlidl_1.05-13_amd64.deb
Override entries for your package:
camlidl_1.05-13.dsc - source devel
ca
camlidl_1.05-13_amd64.changes uploaded successfully to localhost
along with the files:
camlidl_1.05-13.dsc
camlidl_1.05-13.debian.tar.gz
camlidl_1.05-13_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
--
To UNSUBSCRIBE, email to debian-ocaml-main
There are disparities between your recently accepted upload and the
override file for the following file(s):
libfloat-coq_8.2-1.2-5_all.deb: package says section is math, override says
libdevel.
Please note that a list of new sections were recently added to the
archive: cli-mono, database, debu
Accepted:
coq-float_8.2-1.2-5.debian.tar.gz
to main/c/coq-float/coq-float_8.2-1.2-5.debian.tar.gz
coq-float_8.2-1.2-5.dsc
to main/c/coq-float/coq-float_8.2-1.2-5.dsc
libfloat-coq_8.2-1.2-5_all.deb
to main/c/coq-float/libfloat-coq_8.2-1.2-5_all.deb
Override entries for your package:
coq-f
coq-float_8.2-1.2-5_amd64.changes uploaded successfully to localhost
along with the files:
coq-float_8.2-1.2-5.dsc
coq-float_8.2-1.2-5.debian.tar.gz
libfloat-coq_8.2-1.2-5_all.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
--
To UNSUBSCRIBE, email to
Accepted:
coq-theories_8.2.pl2+dfsg-1_all.deb
to main/c/coq/coq-theories_8.2.pl2+dfsg-1_all.deb
coq_8.2.pl2+dfsg-1.debian.tar.gz
to main/c/coq/coq_8.2.pl2+dfsg-1.debian.tar.gz
coq_8.2.pl2+dfsg-1.dsc
to main/c/coq/coq_8.2.pl2+dfsg-1.dsc
coq_8.2.pl2+dfsg-1_amd64.deb
to main/c/coq/coq_8.2.p
coq_8.2.pl2+dfsg-1_amd64.changes uploaded successfully to localhost
along with the files:
coq_8.2.pl2+dfsg-1.dsc
coq_8.2.pl2+dfsg.orig.tar.gz
coq_8.2.pl2+dfsg-1.debian.tar.gz
coq_8.2.pl2+dfsg-1_amd64.deb
coqide_8.2.pl2+dfsg-1_amd64.deb
coq-theories_8.2.pl2+dfsg-1_all.deb
libcoq-ocaml-
Accepted:
dh-ocaml_0.9.4.dsc
to main/d/dh-ocaml/dh-ocaml_0.9.4.dsc
dh-ocaml_0.9.4.tar.gz
to main/d/dh-ocaml/dh-ocaml_0.9.4.tar.gz
dh-ocaml_0.9.4_all.deb
to main/d/dh-ocaml/dh-ocaml_0.9.4_all.deb
Override entries for your package:
dh-ocaml_0.9.4.dsc - source ocaml
dh-ocaml_0.9.4_all.deb -
dh-ocaml_0.9.4_amd64.changes uploaded successfully to localhost
along with the files:
dh-ocaml_0.9.4.dsc
dh-ocaml_0.9.4.tar.gz
dh-ocaml_0.9.4_all.deb
Greetings,
Your Debian queue daemon (running on host ries.debian.org)
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists
Accepted:
polygen-data_1.0.6.ds2-10_all.deb
to main/p/polygen/polygen-data_1.0.6.ds2-10_all.deb
polygen_1.0.6.ds2-10.diff.gz
to main/p/polygen/polygen_1.0.6.ds2-10.diff.gz
polygen_1.0.6.ds2-10.dsc
to main/p/polygen/polygen_1.0.6.ds2-10.dsc
polygen_1.0.6.ds2-10_all.deb
to main/p/polygen/p
polygen_1.0.6.ds2-10_amd64.changes uploaded successfully to localhost
along with the files:
polygen_1.0.6.ds2-10.dsc
polygen_1.0.6.ds2-10.diff.gz
polygen_1.0.6.ds2-10_all.deb
polygen-data_1.0.6.ds2-10_all.deb
Greetings,
Your Debian queue daemon (running on host ries.debian.org)
polygen_1.0.6.ds2-10_amd64.changes uploaded successfully to
ftp-master.debian.org
along with the files:
polygen_1.0.6.ds2-10.dsc
polygen_1.0.6.ds2-10.diff.gz
polygen_1.0.6.ds2-10_all.deb
polygen-data_1.0.6.ds2-10_all.deb
Greetings,
Your Debian queue daemon (running on host kassia
1 - 100 of 2027 matches
Mail list logo