laby_0.4.5-2_amd64.changes REJECTED
Rejected: md5sum for /srv/ftp.debian.org/ftp/pool/main/l/laby/laby_0.4.5.orig.tar.gz doesn't match laby_0.4.5-2.dsc. Rejected: size for /srv/ftp.debian.org/ftp/pool/main/l/laby/laby_0.4.5.orig.tar.gz doesn't match laby_0.4.5-2.dsc. Rejected: 'dpkg-source -x' failed for laby_0.4.5-2.dsc [return code: 2304]. [dpkg-source output:] gpg: Signature made Sat May 23 09:38:50 2009 UTC using DSA key ID 1C00C790 [dpkg-source output:] gpg: Can't check signature: public key not found [dpkg-source output:] dpkg-source: error: File ./laby_0.4.5.orig.tar.gz has size 72260 instead of expected 71538 === Please feel free to respond to this email if you don't understand why your files were rejected, or if you upload new files which address our concerns. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
confluence_0.10.6-6_amd64.changes ACCEPTED
Accepted: confluence_0.10.6-6.diff.gz to pool/main/c/confluence/confluence_0.10.6-6.diff.gz confluence_0.10.6-6.dsc to pool/main/c/confluence/confluence_0.10.6-6.dsc confluence_0.10.6-6_amd64.deb to pool/main/c/confluence/confluence_0.10.6-6_amd64.deb Override entries for your package: confluence_0.10.6-6.dsc - source electronics confluence_0.10.6-6_amd64.deb - optional electronics Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 450078 529104 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
liquidsoap_0.9.0-3_amd64.changes ACCEPTED
Accepted: liguidsoap_0.9.0-3_all.deb to pool/main/l/liquidsoap/liguidsoap_0.9.0-3_all.deb liquidsoap_0.9.0-3.diff.gz to pool/main/l/liquidsoap/liquidsoap_0.9.0-3.diff.gz liquidsoap_0.9.0-3.dsc to pool/main/l/liquidsoap/liquidsoap_0.9.0-3.dsc liquidsoap_0.9.0-3_amd64.deb to pool/main/l/liquidsoap/liquidsoap_0.9.0-3_amd64.deb Override entries for your package: liguidsoap_0.9.0-3_all.deb - optional sound liquidsoap_0.9.0-3.dsc - source sound liquidsoap_0.9.0-3_amd64.deb - optional sound Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 528857 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-pulseaudio_0.1.0-3_amd64.changes ACCEPTED
Accepted: libpulse-ocaml-dev_0.1.0-3_amd64.deb to pool/main/o/ocaml-pulseaudio/libpulse-ocaml-dev_0.1.0-3_amd64.deb libpulse-ocaml_0.1.0-3_amd64.deb to pool/main/o/ocaml-pulseaudio/libpulse-ocaml_0.1.0-3_amd64.deb ocaml-pulseaudio_0.1.0-3.diff.gz to pool/main/o/ocaml-pulseaudio/ocaml-pulseaudio_0.1.0-3.diff.gz ocaml-pulseaudio_0.1.0-3.dsc to pool/main/o/ocaml-pulseaudio/ocaml-pulseaudio_0.1.0-3.dsc Override entries for your package: libpulse-ocaml-dev_0.1.0-3_amd64.deb - optional ocaml libpulse-ocaml_0.1.0-3_amd64.deb - optional ocaml ocaml-pulseaudio_0.1.0-3.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-gavl_0.1.1-2_amd64.changes REJECTED
Rejected: md5sum for /srv/ftp.debian.org/ftp/pool/main/o/ocaml-gavl/ocaml-gavl_0.1.1.orig.tar.gz doesn't match ocaml-gavl_0.1.1-2.dsc. Rejected: size for /srv/ftp.debian.org/ftp/pool/main/o/ocaml-gavl/ocaml-gavl_0.1.1.orig.tar.gz doesn't match ocaml-gavl_0.1.1-2.dsc. Rejected: 'dpkg-source -x' failed for ocaml-gavl_0.1.1-2.dsc [return code: 2304]. [dpkg-source output:] dpkg-source: error: File ./ocaml-gavl_0.1.1.orig.tar.gz has size 62337 instead of expected 60526 === Please feel free to respond to this email if you don't understand why your files were rejected, or if you upload new files which address our concerns. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-speex_0.1.1-2_amd64.changes REJECTED
Rejected: md5sum for /srv/ftp.debian.org/ftp/pool/main/o/ocaml-speex/ocaml-speex_0.1.1.orig.tar.gz doesn't match ocaml-speex_0.1.1-2.dsc. Rejected: size for /srv/ftp.debian.org/ftp/pool/main/o/ocaml-speex/ocaml-speex_0.1.1.orig.tar.gz doesn't match ocaml-speex_0.1.1-2.dsc. Rejected: 'dpkg-source -x' failed for ocaml-speex_0.1.1-2.dsc [return code: 2304]. [dpkg-source output:] dpkg-source: error: File ./ocaml-speex_0.1.1.orig.tar.gz has size 67867 instead of expected 67017 === Please feel free to respond to this email if you don't understand why your files were rejected, or if you upload new files which address our concerns. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-theora_0.1.1-2_amd64.changes REJECTED
Rejected: md5sum for /srv/ftp.debian.org/ftp/pool/main/o/ocaml-theora/ocaml-theora_0.1.1.orig.tar.gz doesn't match ocaml-theora_0.1.1-2.dsc. Rejected: size for /srv/ftp.debian.org/ftp/pool/main/o/ocaml-theora/ocaml-theora_0.1.1.orig.tar.gz doesn't match ocaml-theora_0.1.1-2.dsc. Rejected: 'dpkg-source -x' failed for ocaml-theora_0.1.1-2.dsc [return code: 2304]. [dpkg-source output:] dpkg-source: error: File ./ocaml-theora_0.1.1.orig.tar.gz has size 54566 instead of expected 54313 === Please feel free to respond to this email if you don't understand why your files were rejected, or if you upload new files which address our concerns. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
dose2_1.4.1-1_amd64.changes ACCEPTED
Accepted: dose2_1.4.1-1.diff.gz to pool/main/d/dose2/dose2_1.4.1-1.diff.gz dose2_1.4.1-1.dsc to pool/main/d/dose2/dose2_1.4.1-1.dsc dose2_1.4.1.orig.tar.gz to pool/main/d/dose2/dose2_1.4.1.orig.tar.gz libdose2-ocaml-dev_1.4.1-1_amd64.deb to pool/main/d/dose2/libdose2-ocaml-dev_1.4.1-1_amd64.deb libdose2-ocaml_1.4.1-1_amd64.deb to pool/main/d/dose2/libdose2-ocaml_1.4.1-1_amd64.deb Override entries for your package: dose2_1.4.1-1.dsc - source devel libdose2-ocaml-dev_1.4.1-1_amd64.deb - optional ocaml libdose2-ocaml_1.4.1-1_amd64.deb - optional ocaml Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ceve_1.3-1_amd64.changes ACCEPTED
Accepted: ceve_1.3-1.diff.gz to pool/main/c/ceve/ceve_1.3-1.diff.gz ceve_1.3-1.dsc to pool/main/c/ceve/ceve_1.3-1.dsc ceve_1.3-1_amd64.deb to pool/main/c/ceve/ceve_1.3-1_amd64.deb ceve_1.3.orig.tar.gz to pool/main/c/ceve/ceve_1.3.orig.tar.gz Override entries for your package: ceve_1.3-1.dsc - source devel ceve_1.3-1_amd64.deb - optional devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-theora_0.1.1-2_amd64.changes ACCEPTED
Accepted: libtheora-ocaml-dev_0.1.1-2_amd64.deb to pool/main/o/ocaml-theora/libtheora-ocaml-dev_0.1.1-2_amd64.deb libtheora-ocaml_0.1.1-2_amd64.deb to pool/main/o/ocaml-theora/libtheora-ocaml_0.1.1-2_amd64.deb ocaml-theora_0.1.1-2.diff.gz to pool/main/o/ocaml-theora/ocaml-theora_0.1.1-2.diff.gz ocaml-theora_0.1.1-2.dsc to pool/main/o/ocaml-theora/ocaml-theora_0.1.1-2.dsc Override entries for your package: libtheora-ocaml-dev_0.1.1-2_amd64.deb - optional ocaml libtheora-ocaml_0.1.1-2_amd64.deb - optional ocaml ocaml-theora_0.1.1-2.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 524036 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-speex_0.1.1-2_amd64.changes ACCEPTED
Accepted: libspeex-ocaml-dev_0.1.1-2_amd64.deb to pool/main/o/ocaml-speex/libspeex-ocaml-dev_0.1.1-2_amd64.deb libspeex-ocaml_0.1.1-2_amd64.deb to pool/main/o/ocaml-speex/libspeex-ocaml_0.1.1-2_amd64.deb ocaml-speex_0.1.1-2.diff.gz to pool/main/o/ocaml-speex/ocaml-speex_0.1.1-2.diff.gz ocaml-speex_0.1.1-2.dsc to pool/main/o/ocaml-speex/ocaml-speex_0.1.1-2.dsc Override entries for your package: libspeex-ocaml-dev_0.1.1-2_amd64.deb - optional ocaml libspeex-ocaml_0.1.1-2_amd64.deb - optional ocaml ocaml-speex_0.1.1-2.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-gavl_0.1.1-2_amd64.changes ACCEPTED
Accepted: libgavl-ocaml-dev_0.1.1-2_amd64.deb to pool/main/o/ocaml-gavl/libgavl-ocaml-dev_0.1.1-2_amd64.deb libgavl-ocaml_0.1.1-2_amd64.deb to pool/main/o/ocaml-gavl/libgavl-ocaml_0.1.1-2_amd64.deb ocaml-gavl_0.1.1-2.diff.gz to pool/main/o/ocaml-gavl/ocaml-gavl_0.1.1-2.diff.gz ocaml-gavl_0.1.1-2.dsc to pool/main/o/ocaml-gavl/ocaml-gavl_0.1.1-2.dsc Override entries for your package: libgavl-ocaml-dev_0.1.1-2_amd64.deb - optional ocaml libgavl-ocaml_0.1.1-2_amd64.deb - optional ocaml ocaml-gavl_0.1.1-2.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocamlmakefile_6.29.3-1_amd64.changes ACCEPTED
Accepted: ocamlmakefile_6.29.3-1.diff.gz to pool/main/o/ocamlmakefile/ocamlmakefile_6.29.3-1.diff.gz ocamlmakefile_6.29.3-1.dsc to pool/main/o/ocamlmakefile/ocamlmakefile_6.29.3-1.dsc ocamlmakefile_6.29.3-1_all.deb to pool/main/o/ocamlmakefile/ocamlmakefile_6.29.3-1_all.deb ocamlmakefile_6.29.3.orig.tar.gz to pool/main/o/ocamlmakefile/ocamlmakefile_6.29.3.orig.tar.gz Override entries for your package: ocamlmakefile_6.29.3-1.dsc - source devel ocamlmakefile_6.29.3-1_all.deb - extra devel Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 528954 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocamlmakefile override disparity
There are disparities between your recently accepted upload and the override file for the following file(s): ocamlmakefile_6.29.3-1_all.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, gnu-r, gnustep, haskell, httpd, java, kernel, lisp, localization, ocaml, php, ruby, vcs, video, xfce, zope. At this time a script was used to reclassify packages into these sections. If this is the case, please only reply to this email if the new section is inappropriate, otherwise please update your package at the next upload. Either the package or the override file is incorrect. If you think the override is correct and the package wrong please fix the package so that this disparity is fixed in the next upload. If you feel the override is incorrect then please reply to this mail and explain why. Please INCLUDE the list of packages as seen above, or we won't be able to deal with your mail due to missing information. [NB: this is an automatically generated mail; if you replied to one like it before and have not received a response yet, please ignore this mail. Your reply needs to be processed by a human and will be in due course, but until then the installer will send these automated mails; sorry.] -- Debian distribution maintenance software (This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
xmlm_1.0.1-1_amd64.changes ACCEPTED
Accepted: libxmlm-ocaml-dev_1.0.1-1_amd64.deb to pool/main/x/xmlm/libxmlm-ocaml-dev_1.0.1-1_amd64.deb xmlm_1.0.1-1.diff.gz to pool/main/x/xmlm/xmlm_1.0.1-1.diff.gz xmlm_1.0.1-1.dsc to pool/main/x/xmlm/xmlm_1.0.1-1.dsc xmlm_1.0.1.orig.tar.gz to pool/main/x/xmlm/xmlm_1.0.1.orig.tar.gz Override entries for your package: libxmlm-ocaml-dev_1.0.1-1_amd64.deb - optional ocaml xmlm_1.0.1-1.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 528436 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
why_2.18.dfsg-3_i386.changes ACCEPTED
Accepted: libjessie-ocaml-dev_2.18.dfsg-3_i386.deb to pool/main/w/why/libjessie-ocaml-dev_2.18.dfsg-3_i386.deb libwhy-coq_2.18.dfsg-3_all.deb to pool/main/w/why/libwhy-coq_2.18.dfsg-3_all.deb why-examples_2.18.dfsg-3_all.deb to pool/main/w/why/why-examples_2.18.dfsg-3_all.deb why_2.18.dfsg-3.diff.gz to pool/main/w/why/why_2.18.dfsg-3.diff.gz why_2.18.dfsg-3.dsc to pool/main/w/why/why_2.18.dfsg-3.dsc why_2.18.dfsg-3_i386.deb to pool/main/w/why/why_2.18.dfsg-3_i386.deb Override entries for your package: libjessie-ocaml-dev_2.18.dfsg-3_i386.deb - optional libdevel libwhy-coq_2.18.dfsg-3_all.deb - optional libdevel why-examples_2.18.dfsg-3_all.deb - optional doc why_2.18.dfsg-3.dsc - source math why_2.18.dfsg-3_i386.deb - optional math Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 524054 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
why override disparity
There are disparities between your recently accepted upload and the override file for the following file(s): libjessie-ocaml-dev_2.18.dfsg-3_i386.deb: package says section is ocaml, override says libdevel. Please note that a list of new sections were recently added to the archive: cli-mono, database, debug, fonts, gnu-r, gnustep, haskell, httpd, java, kernel, lisp, localization, ocaml, php, ruby, vcs, video, xfce, zope. At this time a script was used to reclassify packages into these sections. If this is the case, please only reply to this email if the new section is inappropriate, otherwise please update your package at the next upload. Either the package or the override file is incorrect. If you think the override is correct and the package wrong please fix the package so that this disparity is fixed in the next upload. If you feel the override is incorrect then please reply to this mail and explain why. Please INCLUDE the list of packages as seen above, or we won't be able to deal with your mail due to missing information. [NB: this is an automatically generated mail; if you replied to one like it before and have not received a response yet, please ignore this mail. Your reply needs to be processed by a human and will be in due course, but until then the installer will send these automated mails; sorry.] -- Debian distribution maintenance software (This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
xmlm_1.0.1-1_amd64.changes is NEW
(new) libxmlm-ocaml-dev_1.0.1-1_amd64.deb optional ocaml OCaml xml manipulation module Xmlm allows the OCaml programmer to manipulate xml data. Its complexity is half-way between the easy xml-light module and a full parsing of xml data. . It is also very simple to updgrade existing code using xml-light in order to use xmlm. . This package contains all the development stuff you need to develop OCaml programs which use xmlm. (new) xmlm_1.0.1-1.diff.gz optional devel (new) xmlm_1.0.1-1.dsc optional devel (new) xmlm_1.0.1.orig.tar.gz optional devel Changes: xmlm (1.0.1-1) unstable; urgency=low . * Initial upload to unstable (Closes: #528436) Override entries for your package: Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 528436 Your package contains new components which requires manual editing of the override file. It is ok otherwise, so please be patient. New packages are usually added to the override file about once a week. You may have gotten the distribution wrong. You'll get warnings above if files already exist in other distributions. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocamlgraph_1.0-2_amd64.changes ACCEPTED
Accepted: libocamlgraph-ocaml-dev_1.0-2_amd64.deb to pool/main/o/ocamlgraph/libocamlgraph-ocaml-dev_1.0-2_amd64.deb ocamlgraph-editor_1.0-2_amd64.deb to pool/main/o/ocamlgraph/ocamlgraph-editor_1.0-2_amd64.deb ocamlgraph_1.0-2.diff.gz to pool/main/o/ocamlgraph/ocamlgraph_1.0-2.diff.gz ocamlgraph_1.0-2.dsc to pool/main/o/ocamlgraph/ocamlgraph_1.0-2.dsc Override entries for your package: libocamlgraph-ocaml-dev_1.0-2_amd64.deb - optional ocaml ocamlgraph-editor_1.0-2_amd64.deb - optional graphics ocamlgraph_1.0-2.dsc - source libdevel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
cryptokit_1.3-13_amd64.changes ACCEPTED
Accepted: cryptokit_1.3-13.diff.gz to pool/main/c/cryptokit/cryptokit_1.3-13.diff.gz cryptokit_1.3-13.dsc to pool/main/c/cryptokit/cryptokit_1.3-13.dsc libcryptokit-ocaml-dev_1.3-13_amd64.deb to pool/main/c/cryptokit/libcryptokit-ocaml-dev_1.3-13_amd64.deb libcryptokit-ocaml_1.3-13_amd64.deb to pool/main/c/cryptokit/libcryptokit-ocaml_1.3-13_amd64.deb Override entries for your package: cryptokit_1.3-13.dsc - source libdevel libcryptokit-ocaml-dev_1.3-13_amd64.deb - optional ocaml libcryptokit-ocaml_1.3-13_amd64.deb - optional ocaml Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 527816 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
coccinelle_0.1.8.deb-1_amd64.changes ACCEPTED
Accepted: coccinelle_0.1.8.deb-1.diff.gz to pool/main/c/coccinelle/coccinelle_0.1.8.deb-1.diff.gz coccinelle_0.1.8.deb-1.dsc to pool/main/c/coccinelle/coccinelle_0.1.8.deb-1.dsc coccinelle_0.1.8.deb-1_amd64.deb to pool/main/c/coccinelle/coccinelle_0.1.8.deb-1_amd64.deb coccinelle_0.1.8.deb.orig.tar.gz to pool/main/c/coccinelle/coccinelle_0.1.8.deb.orig.tar.gz Override entries for your package: coccinelle_0.1.8.deb-1.dsc - source devel coccinelle_0.1.8.deb-1_amd64.deb - optional devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
coccinelle_0.1.8.deb-2_amd64.changes ACCEPTED
Accepted: coccinelle_0.1.8.deb-2.diff.gz to pool/main/c/coccinelle/coccinelle_0.1.8.deb-2.diff.gz coccinelle_0.1.8.deb-2.dsc to pool/main/c/coccinelle/coccinelle_0.1.8.deb-2.dsc coccinelle_0.1.8.deb-2_amd64.deb to pool/main/c/coccinelle/coccinelle_0.1.8.deb-2_amd64.deb Override entries for your package: coccinelle_0.1.8.deb-2.dsc - source devel coccinelle_0.1.8.deb-2_amd64.deb - optional devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-text_0.2-1_i386.changes is NEW
(new) libtext-ocaml-dev_0.2-1_i386.deb optional ocaml library for dealing with sequences of Unicode characters OCaml-Text is an OCaml library for dealing with text, i.e. sequences of Unicode characters, in a convenient way. It supports: * encoding/decoding of text; * functions for manipulation of UTF-8 encoded strings, such as validation and most of the functions from List and String modules of the OCaml standard library, adapted for UTF-8 strings; * locale-specific text functions (compare, upper, is_alpha, ...). . It is composed of two modules: * Encoding for encoding/decoding text * Text for text manipulation . This package contains all the development stuff you need to use the OCaml-Text library in your programs. (new) libtext-ocaml_0.2-1_i386.deb optional ocaml runtime libraries of OCaml-Text OCaml-Text is an OCaml library for dealing with text, i.e. sequences of Unicode characters, in a convenient way. . This package contains runtime libraries (shared stub library, bytecode plugin and native code plugin if available). (new) ocaml-text_0.2-1.diff.gz optional ocaml (new) ocaml-text_0.2-1.dsc optional ocaml (new) ocaml-text_0.2.orig.tar.gz optional ocaml Changes: ocaml-text (0.2-1) unstable; urgency=low . * Initial release (Closes: #527906) Override entries for your package: Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 527906 Your package contains new components which requires manual editing of the override file. It is ok otherwise, so please be patient. New packages are usually added to the override file about once a week. You may have gotten the distribution wrong. You'll get warnings above if files already exist in other distributions. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-gavl_0.1.1-1_amd64.changes ACCEPTED
Accepted: libgavl-ocaml-dev_0.1.1-1_amd64.deb to pool/main/o/ocaml-gavl/libgavl-ocaml-dev_0.1.1-1_amd64.deb libgavl-ocaml_0.1.1-1_amd64.deb to pool/main/o/ocaml-gavl/libgavl-ocaml_0.1.1-1_amd64.deb ocaml-gavl_0.1.1-1.diff.gz to pool/main/o/ocaml-gavl/ocaml-gavl_0.1.1-1.diff.gz ocaml-gavl_0.1.1-1.dsc to pool/main/o/ocaml-gavl/ocaml-gavl_0.1.1-1.dsc ocaml-gavl_0.1.1.orig.tar.gz to pool/main/o/ocaml-gavl/ocaml-gavl_0.1.1.orig.tar.gz Override entries for your package: libgavl-ocaml-dev_0.1.1-1_amd64.deb - optional ocaml libgavl-ocaml_0.1.1-1_amd64.deb - optional ocaml ocaml-gavl_0.1.1-1.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 515808 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-speex_0.1.1-1_amd64.changes ACCEPTED
Accepted: libspeex-ocaml-dev_0.1.1-1_amd64.deb to pool/main/o/ocaml-speex/libspeex-ocaml-dev_0.1.1-1_amd64.deb libspeex-ocaml_0.1.1-1_amd64.deb to pool/main/o/ocaml-speex/libspeex-ocaml_0.1.1-1_amd64.deb ocaml-speex_0.1.1-1.diff.gz to pool/main/o/ocaml-speex/ocaml-speex_0.1.1-1.diff.gz ocaml-speex_0.1.1-1.dsc to pool/main/o/ocaml-speex/ocaml-speex_0.1.1-1.dsc ocaml-speex_0.1.1.orig.tar.gz to pool/main/o/ocaml-speex/ocaml-speex_0.1.1.orig.tar.gz Override entries for your package: libspeex-ocaml-dev_0.1.1-1_amd64.deb - optional ocaml libspeex-ocaml_0.1.1-1_amd64.deb - optional ocaml ocaml-speex_0.1.1-1.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 515810 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
liquidsoap_0.9.0-2_amd64.changes ACCEPTED
Accepted: liguidsoap_0.9.0-2_all.deb to pool/main/l/liquidsoap/liguidsoap_0.9.0-2_all.deb liquidsoap_0.9.0-2.diff.gz to pool/main/l/liquidsoap/liquidsoap_0.9.0-2.diff.gz liquidsoap_0.9.0-2.dsc to pool/main/l/liquidsoap/liquidsoap_0.9.0-2.dsc liquidsoap_0.9.0-2_amd64.deb to pool/main/l/liquidsoap/liquidsoap_0.9.0-2_amd64.deb Override entries for your package: liguidsoap_0.9.0-2_all.deb - optional sound liquidsoap_0.9.0-2.dsc - source sound liquidsoap_0.9.0-2_amd64.deb - optional sound Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
bibtex2html_1.94-1_amd64.changes ACCEPTED
Accepted: bibtex2html_1.94-1.diff.gz to pool/main/b/bibtex2html/bibtex2html_1.94-1.diff.gz bibtex2html_1.94-1.dsc to pool/main/b/bibtex2html/bibtex2html_1.94-1.dsc bibtex2html_1.94-1_all.deb to pool/main/b/bibtex2html/bibtex2html_1.94-1_all.deb bibtex2html_1.94.orig.tar.gz to pool/main/b/bibtex2html/bibtex2html_1.94.orig.tar.gz Override entries for your package: bibtex2html_1.94-1.dsc - source tex bibtex2html_1.94-1_all.deb - optional tex Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-benchmark_0.9-1_amd64.changes ACCEPTED
Accepted: libbenchmark-ocaml-dev_0.9-1_amd64.deb to pool/main/o/ocaml-benchmark/libbenchmark-ocaml-dev_0.9-1_amd64.deb ocaml-benchmark_0.9-1.diff.gz to pool/main/o/ocaml-benchmark/ocaml-benchmark_0.9-1.diff.gz ocaml-benchmark_0.9-1.dsc to pool/main/o/ocaml-benchmark/ocaml-benchmark_0.9-1.dsc ocaml-benchmark_0.9.orig.tar.gz to pool/main/o/ocaml-benchmark/ocaml-benchmark_0.9.orig.tar.gz Override entries for your package: libbenchmark-ocaml-dev_0.9-1_amd64.deb - optional ocaml ocaml-benchmark_0.9-1.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
coccinelle_0.1.7.deb-3_amd64.changes ACCEPTED
Accepted: coccinelle_0.1.7.deb-3.diff.gz to pool/main/c/coccinelle/coccinelle_0.1.7.deb-3.diff.gz coccinelle_0.1.7.deb-3.dsc to pool/main/c/coccinelle/coccinelle_0.1.7.deb-3.dsc coccinelle_0.1.7.deb-3_amd64.deb to pool/main/c/coccinelle/coccinelle_0.1.7.deb-3_amd64.deb Override entries for your package: coccinelle_0.1.7.deb-3.dsc - source devel coccinelle_0.1.7.deb-3_amd64.deb - optional devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
pkglab_1.4-1_i386.changes ACCEPTED
Accepted: pkglab_1.4-1.diff.gz to pool/main/p/pkglab/pkglab_1.4-1.diff.gz pkglab_1.4-1.dsc to pool/main/p/pkglab/pkglab_1.4-1.dsc pkglab_1.4-1_i386.deb to pool/main/p/pkglab/pkglab_1.4-1_i386.deb pkglab_1.4.orig.tar.gz to pool/main/p/pkglab/pkglab_1.4.orig.tar.gz Override entries for your package: pkglab_1.4-1.dsc - source devel pkglab_1.4-1_i386.deb - optional devel Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 523614 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
pkglab_1.4-2_i386.changes ACCEPTED
Accepted: pkglab_1.4-2.diff.gz to pool/main/p/pkglab/pkglab_1.4-2.diff.gz pkglab_1.4-2.dsc to pool/main/p/pkglab/pkglab_1.4-2.dsc pkglab_1.4-2_i386.deb to pool/main/p/pkglab/pkglab_1.4-2_i386.deb Override entries for your package: pkglab_1.4-2.dsc - source devel pkglab_1.4-2_i386.deb - optional devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
calendar_2.01.1-5_i386.changes REJECTED
Rejected: md5sum for /srv/ftp.debian.org/ftp/pool/main/c/calendar/calendar_2.01.1.orig.tar.gz doesn't match calendar_2.01.1-5.dsc. Rejected: size for /srv/ftp.debian.org/ftp/pool/main/c/calendar/calendar_2.01.1.orig.tar.gz doesn't match calendar_2.01.1-5.dsc. Rejected: 'dpkg-source -x' failed for calendar_2.01.1-5.dsc [return code: 2304]. [dpkg-source output:] gpg: Signature made Mon Apr 20 08:21:36 2009 UTC using DSA key ID 1C00C790 [dpkg-source output:] gpg: Can't check signature: public key not found [dpkg-source output:] dpkg-source: error: File ./calendar_2.01.1.orig.tar.gz has size 225303 instead of expected 217418 === Please feel free to respond to this email if you don't understand why your files were rejected, or if you upload new files which address our concerns. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
coccinelle_0.1.7.deb-2_amd64.changes ACCEPTED
Accepted: coccinelle_0.1.7.deb-2.diff.gz to pool/main/c/coccinelle/coccinelle_0.1.7.deb-2.diff.gz coccinelle_0.1.7.deb-2.dsc to pool/main/c/coccinelle/coccinelle_0.1.7.deb-2.dsc coccinelle_0.1.7.deb-2_amd64.deb to pool/main/c/coccinelle/coccinelle_0.1.7.deb-2_amd64.deb Override entries for your package: coccinelle_0.1.7.deb-2.dsc - source devel coccinelle_0.1.7.deb-2_amd64.deb - optional devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
cryptokit_1.3-12_i386.changes ACCEPTED
Accepted: cryptokit_1.3-12.diff.gz to pool/main/c/cryptokit/cryptokit_1.3-12.diff.gz cryptokit_1.3-12.dsc to pool/main/c/cryptokit/cryptokit_1.3-12.dsc libcryptokit-ocaml-dev_1.3-12_i386.deb to pool/main/c/cryptokit/libcryptokit-ocaml-dev_1.3-12_i386.deb libcryptokit-ocaml_1.3-12_i386.deb to pool/main/c/cryptokit/libcryptokit-ocaml_1.3-12_i386.deb Override entries for your package: cryptokit_1.3-12.dsc - source libdevel libcryptokit-ocaml-dev_1.3-12_i386.deb - optional ocaml libcryptokit-ocaml_1.3-12_i386.deb - optional ocaml Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 524247 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
coccinelle_0.1.7.deb-1_amd64.changes ACCEPTED
Accepted: coccinelle_0.1.7.deb-1.diff.gz to pool/main/c/coccinelle/coccinelle_0.1.7.deb-1.diff.gz coccinelle_0.1.7.deb-1.dsc to pool/main/c/coccinelle/coccinelle_0.1.7.deb-1.dsc coccinelle_0.1.7.deb-1_amd64.deb to pool/main/c/coccinelle/coccinelle_0.1.7.deb-1_amd64.deb coccinelle_0.1.7.deb.orig.tar.gz to pool/main/c/coccinelle/coccinelle_0.1.7.deb.orig.tar.gz Override entries for your package: coccinelle_0.1.7.deb-1.dsc - source devel coccinelle_0.1.7.deb-1_amd64.deb - optional devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-inotify_0.9-1_amd64.changes ACCEPTED
Accepted: libinotify-ocaml-dev_0.9-1_amd64.deb to pool/main/o/ocaml-inotify/libinotify-ocaml-dev_0.9-1_amd64.deb libinotify-ocaml_0.9-1_amd64.deb to pool/main/o/ocaml-inotify/libinotify-ocaml_0.9-1_amd64.deb ocaml-inotify_0.9-1.diff.gz to pool/main/o/ocaml-inotify/ocaml-inotify_0.9-1.diff.gz ocaml-inotify_0.9-1.dsc to pool/main/o/ocaml-inotify/ocaml-inotify_0.9-1.dsc ocaml-inotify_0.9.orig.tar.gz to pool/main/o/ocaml-inotify/ocaml-inotify_0.9.orig.tar.gz Override entries for your package: libinotify-ocaml-dev_0.9-1_amd64.deb - optional ocaml libinotify-ocaml_0.9-1_amd64.deb - optional ocaml ocaml-inotify_0.9-1.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 521870 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-samplerate_0.1.0-1_amd64.changes ACCEPTED
Accepted: libsamplerate-ocaml-dev_0.1.0-1_amd64.deb to pool/main/o/ocaml-samplerate/libsamplerate-ocaml-dev_0.1.0-1_amd64.deb libsamplerate-ocaml_0.1.0-1_amd64.deb to pool/main/o/ocaml-samplerate/libsamplerate-ocaml_0.1.0-1_amd64.deb ocaml-samplerate_0.1.0-1.diff.gz to pool/main/o/ocaml-samplerate/ocaml-samplerate_0.1.0-1.diff.gz ocaml-samplerate_0.1.0-1.dsc to pool/main/o/ocaml-samplerate/ocaml-samplerate_0.1.0-1.dsc ocaml-samplerate_0.1.0.orig.tar.gz to pool/main/o/ocaml-samplerate/ocaml-samplerate_0.1.0.orig.tar.gz Override entries for your package: libsamplerate-ocaml-dev_0.1.0-1_amd64.deb - optional ocaml libsamplerate-ocaml_0.1.0-1_amd64.deb - optional ocaml ocaml-samplerate_0.1.0-1.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 515811 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-pulseaudio_0.1.0-1_amd64.changes ACCEPTED
Accepted: libpulse-ocaml-dev_0.1.0-1_amd64.deb to pool/main/o/ocaml-pulseaudio/libpulse-ocaml-dev_0.1.0-1_amd64.deb libpulse-ocaml_0.1.0-1_amd64.deb to pool/main/o/ocaml-pulseaudio/libpulse-ocaml_0.1.0-1_amd64.deb ocaml-pulseaudio_0.1.0-1.diff.gz to pool/main/o/ocaml-pulseaudio/ocaml-pulseaudio_0.1.0-1.diff.gz ocaml-pulseaudio_0.1.0-1.dsc to pool/main/o/ocaml-pulseaudio/ocaml-pulseaudio_0.1.0-1.dsc ocaml-pulseaudio_0.1.0.orig.tar.gz to pool/main/o/ocaml-pulseaudio/ocaml-pulseaudio_0.1.0.orig.tar.gz Override entries for your package: libpulse-ocaml-dev_0.1.0-1_amd64.deb - optional ocaml libpulse-ocaml_0.1.0-1_amd64.deb - optional ocaml ocaml-pulseaudio_0.1.0-1.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 515812 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-pulseaudio override disparity
There are disparities between your recently accepted upload and the override file for the following file(s): libpulse-ocaml-dev_0.1.0-2_amd64.deb: package says section is libdevel, override says ocaml. libpulse-ocaml_0.1.0-2_amd64.deb: package says section is libs, override says ocaml. Please note that a list of new sections were recently added to the archive: cli-mono, database, debug, fonts, gnu-r, gnustep, haskell, httpd, java, kernel, lisp, localization, ocaml, php, ruby, vcs, video, xfce, zope. At this time a script was used to reclassify packages into these sections. If this is the case, please only reply to this email if the new section is inappropriate, otherwise please update your package at the next upload. Either the package or the override file is incorrect. If you think the override is correct and the package wrong please fix the package so that this disparity is fixed in the next upload. If you feel the override is incorrect then please reply to this mail and explain why. Please INCLUDE the list of packages as seen above, or we won't be able to deal with your mail due to missing information. [NB: this is an automatically generated mail; if you replied to one like it before and have not received a response yet, please ignore this mail. Your reply needs to be processed by a human and will be in due course, but until then the installer will send these automated mails; sorry.] -- Debian distribution maintenance software (This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-pulseaudio_0.1.0-2_amd64.changes ACCEPTED
Accepted: libpulse-ocaml-dev_0.1.0-2_amd64.deb to pool/main/o/ocaml-pulseaudio/libpulse-ocaml-dev_0.1.0-2_amd64.deb libpulse-ocaml_0.1.0-2_amd64.deb to pool/main/o/ocaml-pulseaudio/libpulse-ocaml_0.1.0-2_amd64.deb ocaml-pulseaudio_0.1.0-2.diff.gz to pool/main/o/ocaml-pulseaudio/ocaml-pulseaudio_0.1.0-2.diff.gz ocaml-pulseaudio_0.1.0-2.dsc to pool/main/o/ocaml-pulseaudio/ocaml-pulseaudio_0.1.0-2.dsc Override entries for your package: libpulse-ocaml-dev_0.1.0-2_amd64.deb - optional ocaml libpulse-ocaml_0.1.0-2_amd64.deb - optional ocaml ocaml-pulseaudio_0.1.0-2.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
camlzip_1.04-3_i386.changes ACCEPTED
Accepted: camlzip_1.04-3.diff.gz to pool/main/c/camlzip/camlzip_1.04-3.diff.gz camlzip_1.04-3.dsc to pool/main/c/camlzip/camlzip_1.04-3.dsc libzip-ocaml-dev_1.04-3_i386.deb to pool/main/c/camlzip/libzip-ocaml-dev_1.04-3_i386.deb libzip-ocaml_1.04-3_i386.deb to pool/main/c/camlzip/libzip-ocaml_1.04-3_i386.deb Override entries for your package: camlzip_1.04-3.dsc - source devel libzip-ocaml-dev_1.04-3_i386.deb - optional ocaml libzip-ocaml_1.04-3_i386.deb - optional ocaml Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
cryptokit_1.3-11_i386.changes ACCEPTED
Accepted: cryptokit_1.3-11.diff.gz to pool/main/c/cryptokit/cryptokit_1.3-11.diff.gz cryptokit_1.3-11.dsc to pool/main/c/cryptokit/cryptokit_1.3-11.dsc libcryptokit-ocaml-dev_1.3-11_i386.deb to pool/main/c/cryptokit/libcryptokit-ocaml-dev_1.3-11_i386.deb libcryptokit-ocaml_1.3-11_i386.deb to pool/main/c/cryptokit/libcryptokit-ocaml_1.3-11_i386.deb Override entries for your package: cryptokit_1.3-11.dsc - source libdevel libcryptokit-ocaml-dev_1.3-11_i386.deb - optional ocaml libcryptokit-ocaml_1.3-11_i386.deb - optional ocaml Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
omake_0.9.8.5-3-5_amd64.changes is NEW
(new) omake-doc_0.9.8.5-3-5_all.deb optional doc documentation for OMake OMake is a build system designed to scale from small projects to very large projects spanning many directories. OMake uses a syntax similar to GNU make, with many additional features. It contains specifications for easily building C, OCaml, and LaTeX programs, but can be used to build projects with other languages as well. . This package contains documentation for OMake in html and pdf formats. omake_0.9.8.5-3-5.diff.gz to pool/main/o/omake/omake_0.9.8.5-3-5.diff.gz omake_0.9.8.5-3-5.dsc to pool/main/o/omake/omake_0.9.8.5-3-5.dsc omake_0.9.8.5-3-5_amd64.deb to pool/main/o/omake/omake_0.9.8.5-3-5_amd64.deb Changes: omake (0.9.8.5-3-5) unstable; urgency=low . * Add DM-Upload-Allowed * Switch copyright to new format * Add Homepage field to debian/control * Add build-dependency on dh-ocaml and use ocamlvars.mk * Switch patch system to quilt, add README.source * New patches: - remove useless external that causes FTBFS (Closes: #522008) - fix attempt to free a non-heap object (Closes: #505045) (thanks to Martin Michlmayr for spotting this) * Use debhelper 7 and overrides * Bump Standards-Version to 3.8.1 * Add debian/watch * Move documentation to (new) arch-indep package omake-doc Override entries for your package: omake_0.9.8.5-3-5.dsc - source devel omake_0.9.8.5-3-5_amd64.deb - optional devel Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 505045 522008 Your package contains new components which requires manual editing of the override file. It is ok otherwise, so please be patient. New packages are usually added to the override file about once a week. You may have gotten the distribution wrong. You'll get warnings above if files already exist in other distributions. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
calendar_2.01.1-4_amd64.changes REJECTED
Rejected: md5sum for /srv/ftp.debian.org/ftp/pool/main/c/calendar/calendar_2.01.1.orig.tar.gz doesn't match calendar_2.01.1-4.dsc. Rejected: size for /srv/ftp.debian.org/ftp/pool/main/c/calendar/calendar_2.01.1.orig.tar.gz doesn't match calendar_2.01.1-4.dsc. Rejected: 'dpkg-source -x' failed for calendar_2.01.1-4.dsc [return code: 2304]. [dpkg-source output:] gpg: Signature made Sun Apr 12 19:01:43 2009 UTC using DSA key ID 1C00C790 [dpkg-source output:] gpg: Can't check signature: public key not found [dpkg-source output:] dpkg-source: error: File ./calendar_2.01.1.orig.tar.gz has size 225303 instead of expected 217418 Rejected: dog...@pps.jussieu.fr may not upload NEW file libcalendar-ocaml-doc_2.01.1-4_all.deb Rejected: dog...@pps.jussieu.fr may not upload NEW file libcalendar-ocaml_2.01.1-4_amd64.deb === Please feel free to respond to this email if you don't understand why your files were rejected, or if you upload new files which address our concerns. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
mldonkey_2.9.5-2+lenny1_amd64.changes INSTALLED into Stable
Installing: mldonkey-gui_2.9.5-2+lenny1_amd64.deb to pool/main/m/mldonkey/mldonkey-gui_2.9.5-2+lenny1_amd64.deb mldonkey-server_2.9.5-2+lenny1_amd64.deb to pool/main/m/mldonkey/mldonkey-server_2.9.5-2+lenny1_amd64.deb mldonkey_2.9.5-2+lenny1.diff.gz to pool/main/m/mldonkey/mldonkey_2.9.5-2+lenny1.diff.gz mldonkey_2.9.5-2+lenny1.dsc to pool/main/m/mldonkey/mldonkey_2.9.5-2+lenny1.dsc Override entries for your package: mldonkey-gui_2.9.5-2+lenny1_amd64.deb - optional net mldonkey-server_2.9.5-2+lenny1_amd64.deb - optional net mldonkey_2.9.5-2+lenny1.dsc - source net Announcing to debian-chan...@lists.debian.org Closing bugs: 516829 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
coccinelle_0.1.6.deb+a-3_amd64.changes ACCEPTED
Accepted: coccinelle_0.1.6.deb+a-3.diff.gz to pool/main/c/coccinelle/coccinelle_0.1.6.deb+a-3.diff.gz coccinelle_0.1.6.deb+a-3.dsc to pool/main/c/coccinelle/coccinelle_0.1.6.deb+a-3.dsc coccinelle_0.1.6.deb+a-3_amd64.deb to pool/main/c/coccinelle/coccinelle_0.1.6.deb+a-3_amd64.deb Override entries for your package: coccinelle_0.1.6.deb+a-3.dsc - source devel coccinelle_0.1.6.deb+a-3_amd64.deb - optional devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
jocaml_3.11.0-3_i386.changes ACCEPTED
Accepted: jocaml-base_3.11.0-3_i386.deb to pool/main/j/jocaml/jocaml-base_3.11.0-3_i386.deb jocaml_3.11.0-3.diff.gz to pool/main/j/jocaml/jocaml_3.11.0-3.diff.gz jocaml_3.11.0-3.dsc to pool/main/j/jocaml/jocaml_3.11.0-3.dsc jocaml_3.11.0-3_i386.deb to pool/main/j/jocaml/jocaml_3.11.0-3_i386.deb Override entries for your package: jocaml-base_3.11.0-3_i386.deb - optional ocaml jocaml_3.11.0-3.dsc - source ocaml jocaml_3.11.0-3_i386.deb - optional ocaml Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
coccinelle_0.1.6.deb+a-2_amd64.changes ACCEPTED
Accepted: coccinelle_0.1.6.deb+a-2.diff.gz to pool/main/c/coccinelle/coccinelle_0.1.6.deb+a-2.diff.gz coccinelle_0.1.6.deb+a-2.dsc to pool/main/c/coccinelle/coccinelle_0.1.6.deb+a-2.dsc coccinelle_0.1.6.deb+a-2_amd64.deb to pool/main/c/coccinelle/coccinelle_0.1.6.deb+a-2_amd64.deb Override entries for your package: coccinelle_0.1.6.deb+a-2.dsc - source devel coccinelle_0.1.6.deb+a-2_amd64.deb - optional devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
jocaml override disparity
There are disparities between your recently accepted upload and the override file for the following file(s): jocaml-base_3.11.0-2_i386.deb: package says section is devel, override says ocaml. jocaml_3.11.0-2_i386.deb: package says section is devel, override says ocaml. Please note that a list of new sections were recently added to the archive: cli-mono, database, debug, fonts, gnu-r, gnustep, haskell, httpd, java, kernel, lisp, localization, ocaml, php, ruby, vcs, video, xfce, zope. At this time a script was used to reclassify packages into these sections. If this is the case, please only reply to this email if the new section is inappropriate, otherwise please update your package at the next upload. Either the package or the override file is incorrect. If you think the override is correct and the package wrong please fix the package so that this disparity is fixed in the next upload. If you feel the override is incorrect then please reply to this mail and explain why. Please INCLUDE the list of packages as seen above, or we won't be able to deal with your mail due to missing information. [NB: this is an automatically generated mail; if you replied to one like it before and have not received a response yet, please ignore this mail. Your reply needs to be processed by a human and will be in due course, but until then the installer will send these automated mails; sorry.] -- Debian distribution maintenance software (This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
jocaml_3.11.0-2_i386.changes ACCEPTED
Accepted: jocaml-base_3.11.0-2_i386.deb to pool/main/j/jocaml/jocaml-base_3.11.0-2_i386.deb jocaml_3.11.0-2.diff.gz to pool/main/j/jocaml/jocaml_3.11.0-2.diff.gz jocaml_3.11.0-2.dsc to pool/main/j/jocaml/jocaml_3.11.0-2.dsc jocaml_3.11.0-2_i386.deb to pool/main/j/jocaml/jocaml_3.11.0-2_i386.deb Override entries for your package: jocaml-base_3.11.0-2_i386.deb - optional ocaml jocaml_3.11.0-2.dsc - source ocaml jocaml_3.11.0-2_i386.deb - optional ocaml Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 522504 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
alt-ergo_0.8-1_i386.changes ACCEPTED
Accepted: alt-ergo_0.8-1.diff.gz to pool/main/a/alt-ergo/alt-ergo_0.8-1.diff.gz alt-ergo_0.8-1.dsc to pool/main/a/alt-ergo/alt-ergo_0.8-1.dsc alt-ergo_0.8-1_i386.deb to pool/main/a/alt-ergo/alt-ergo_0.8-1_i386.deb alt-ergo_0.8.orig.tar.gz to pool/main/a/alt-ergo/alt-ergo_0.8.orig.tar.gz Override entries for your package: alt-ergo_0.8-1.dsc - optional math alt-ergo_0.8-1_i386.deb - optional math Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 468557 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-theora_0.1.0-1_amd64.changes ACCEPTED
Accepted: libtheora-ocaml-dev_0.1.0-1_amd64.deb to pool/main/o/ocaml-theora/libtheora-ocaml-dev_0.1.0-1_amd64.deb libtheora-ocaml_0.1.0-1_amd64.deb to pool/main/o/ocaml-theora/libtheora-ocaml_0.1.0-1_amd64.deb ocaml-theora_0.1.0-1.diff.gz to pool/main/o/ocaml-theora/ocaml-theora_0.1.0-1.diff.gz ocaml-theora_0.1.0-1.dsc to pool/main/o/ocaml-theora/ocaml-theora_0.1.0-1.dsc ocaml-theora_0.1.0.orig.tar.gz to pool/main/o/ocaml-theora/ocaml-theora_0.1.0.orig.tar.gz Override entries for your package: libtheora-ocaml-dev_0.1.0-1_amd64.deb - optional libdevel libtheora-ocaml_0.1.0-1_amd64.deb - optional libs ocaml-theora_0.1.0-1.dsc - optional devel Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 515813 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-theora_0.1.0-2_amd64.changes ACCEPTED
Accepted: libtheora-ocaml-dev_0.1.0-2_amd64.deb to pool/main/o/ocaml-theora/libtheora-ocaml-dev_0.1.0-2_amd64.deb libtheora-ocaml_0.1.0-2_amd64.deb to pool/main/o/ocaml-theora/libtheora-ocaml_0.1.0-2_amd64.deb ocaml-theora_0.1.0-2.diff.gz to pool/main/o/ocaml-theora/ocaml-theora_0.1.0-2.diff.gz ocaml-theora_0.1.0-2.dsc to pool/main/o/ocaml-theora/ocaml-theora_0.1.0-2.dsc Override entries for your package: libtheora-ocaml-dev_0.1.0-2_amd64.deb - optional libdevel libtheora-ocaml_0.1.0-2_amd64.deb - optional libs ocaml-theora_0.1.0-2.dsc - optional devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-theora_0.1.1-1_amd64.changes ACCEPTED
Accepted: libtheora-ocaml-dev_0.1.1-1_amd64.deb to pool/main/o/ocaml-theora/libtheora-ocaml-dev_0.1.1-1_amd64.deb libtheora-ocaml_0.1.1-1_amd64.deb to pool/main/o/ocaml-theora/libtheora-ocaml_0.1.1-1_amd64.deb ocaml-theora_0.1.1-1.diff.gz to pool/main/o/ocaml-theora/ocaml-theora_0.1.1-1.diff.gz ocaml-theora_0.1.1-1.dsc to pool/main/o/ocaml-theora/ocaml-theora_0.1.1-1.dsc ocaml-theora_0.1.1.orig.tar.gz to pool/main/o/ocaml-theora/ocaml-theora_0.1.1.orig.tar.gz Override entries for your package: libtheora-ocaml-dev_0.1.1-1_amd64.deb - optional ocaml libtheora-ocaml_0.1.1-1_amd64.deb - optional ocaml ocaml-theora_0.1.1-1.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
why_2.18.dfsg-2_amd64.changes ACCEPTED
Accepted: libjessie-ocaml-dev_2.18.dfsg-2_amd64.deb to pool/main/w/why/libjessie-ocaml-dev_2.18.dfsg-2_amd64.deb libwhy-coq_2.18.dfsg-2_all.deb to pool/main/w/why/libwhy-coq_2.18.dfsg-2_all.deb why-examples_2.18.dfsg-2_all.deb to pool/main/w/why/why-examples_2.18.dfsg-2_all.deb why_2.18.dfsg-2.diff.gz to pool/main/w/why/why_2.18.dfsg-2.diff.gz why_2.18.dfsg-2.dsc to pool/main/w/why/why_2.18.dfsg-2.dsc why_2.18.dfsg-2_amd64.deb to pool/main/w/why/why_2.18.dfsg-2_amd64.deb Override entries for your package: libjessie-ocaml-dev_2.18.dfsg-2_amd64.deb - optional libdevel libwhy-coq_2.18.dfsg-2_all.deb - optional libdevel why-examples_2.18.dfsg-2_all.deb - optional doc why_2.18.dfsg-2.dsc - source math why_2.18.dfsg-2_amd64.deb - optional math Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 522440 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
liquidsoap_0.9.0-1_amd64.changes ACCEPTED
Accepted: liguidsoap_0.9.0-1_all.deb to pool/main/l/liquidsoap/liguidsoap_0.9.0-1_all.deb liquidsoap_0.9.0-1.diff.gz to pool/main/l/liquidsoap/liquidsoap_0.9.0-1.diff.gz liquidsoap_0.9.0-1.dsc to pool/main/l/liquidsoap/liquidsoap_0.9.0-1.dsc liquidsoap_0.9.0-1_amd64.deb to pool/main/l/liquidsoap/liquidsoap_0.9.0-1_amd64.deb liquidsoap_0.9.0.orig.tar.gz to pool/main/l/liquidsoap/liquidsoap_0.9.0.orig.tar.gz Override entries for your package: liguidsoap_0.9.0-1_all.deb - optional sound liquidsoap_0.9.0-1.dsc - source sound liquidsoap_0.9.0-1_amd64.deb - optional sound Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
nurpawiki_1.2.2-3_amd64.changes ACCEPTED
Accepted: nurpawiki_1.2.2-3.diff.gz to pool/main/n/nurpawiki/nurpawiki_1.2.2-3.diff.gz nurpawiki_1.2.2-3.dsc to pool/main/n/nurpawiki/nurpawiki_1.2.2-3.dsc nurpawiki_1.2.2-3_amd64.deb to pool/main/n/nurpawiki/nurpawiki_1.2.2-3_amd64.deb Override entries for your package: nurpawiki_1.2.2-3.dsc - source web nurpawiki_1.2.2-3_amd64.deb - extra web Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-theora_0.1.1-1_amd64.changes is NEW
(new) libtheora-ocaml-dev_0.1.1-1_amd64.deb optional libdevel OCaml interface to the theora library This package provied an interface to the theora library for OCaml programmers. . Theora is a fully open, non-proprietary, patent-and-royalty-free, general-purpose compressed video format. . This package contains all the development stuff you need to develop OCaml programs which use ocaml-theora. (new) libtheora-ocaml_0.1.1-1_amd64.deb optional libs OCaml interface to the theora library This package provied an interface to the theora library for OCaml programmers. . Theora is a fully open, non-proprietary, patent-and-royalty-free, general-purpose compressed video format. . This package contains only the shared runtime stub libraries. (new) ocaml-theora_0.1.1-1.diff.gz optional devel (new) ocaml-theora_0.1.1-1.dsc optional devel (new) ocaml-theora_0.1.1.orig.tar.gz optional devel Changes: ocaml-theora (0.1.1-1) unstable; urgency=low . * New upstream release, fixes license inconsistency. . ocaml-theora (0.1.0-3) unstable; urgency=low . * Fixed debian/copyright. * Bumped standards version to 3.8.1 * Fixed install file for non-native archs. Override entries for your package: Announcing to debian-devel-chan...@lists.debian.org Your package contains new components which requires manual editing of the override file. It is ok otherwise, so please be patient. New packages are usually added to the override file about once a week. You may have gotten the distribution wrong. You'll get warnings above if files already exist in other distributions. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-speex_0.1.1-1_amd64.changes is NEW
(new) libspeex-ocaml-dev_0.1.1-1_amd64.deb optional libdevel OCaml interface to the speex library This package provides an interface to the speex library for OCaml programmers. . Speex is an audio codec especially designed for compressing voice at low bit-rates for applications such as voice over IP (VoIP). . This package contains all the development stuff you need to develop OCaml programs which use ocaml-speex. (new) libspeex-ocaml_0.1.1-1_amd64.deb optional libs OCaml interface to the speex library This package provides an interface to the speex library for OCaml programmers. . Speex is an audio codec especially designed for compressing voice at low bit-rates for applications such as voice over IP (VoIP). . This package contains only the shared runtime stub libraries. (new) ocaml-speex_0.1.1-1.diff.gz optional devel (new) ocaml-speex_0.1.1-1.dsc optional devel (new) ocaml-speex_0.1.1.orig.tar.gz optional devel Changes: ocaml-speex (0.1.1-1) unstable; urgency=low . * New upstream release, fixes license inconsistency. . ocaml-speex (0.1.0-1) unstable; urgency=low . * Initial upload to unstable (Closes: #515810) Override entries for your package: Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 515810 Your package contains new components which requires manual editing of the override file. It is ok otherwise, so please be patient. New packages are usually added to the override file about once a week. You may have gotten the distribution wrong. You'll get warnings above if files already exist in other distributions. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-gavl_0.1.1-1_amd64.changes is NEW
(new) libgavl-ocaml-dev_0.1.1-1_amd64.deb optional libdevel OCaml interface to the gavl library This package provied an interface to the gavl library for OCaml programmers. . Gavl handles all the details of audio and video formats like colorspaces, samplerates, multichannel configurations etc. It provides standardized definitions for those formats as well as container structures for carrying audio samples or video images inside an application. . This package contains all the development stuff you need to develop OCaml programs which use ocaml-gavl. (new) libgavl-ocaml_0.1.1-1_amd64.deb optional libs OCaml interface to the gavl library This package provied an interface to the gavl library for OCaml programmers. . Gavl handles all the details of audio and video formats like colorspaces, samplerates, multichannel configurations etc. It provides standardized definitions for those formats as well as container structures for carrying audio samples or video images inside an application. . This package contains only the shared runtime stub libraries. (new) ocaml-gavl_0.1.1-1.diff.gz optional devel (new) ocaml-gavl_0.1.1-1.dsc optional devel (new) ocaml-gavl_0.1.1.orig.tar.gz optional devel Changes: ocaml-gavl (0.1.1-1) unstable; urgency=low . * New upstream release, fixes license inconsistence. . ocaml-gavl (0.1.0-1) unstable; urgency=low . * Initial upload to unstable (Closes: #515808) Override entries for your package: Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 515808 Your package contains new components which requires manual editing of the override file. It is ok otherwise, so please be patient. New packages are usually added to the override file about once a week. You may have gotten the distribution wrong. You'll get warnings above if files already exist in other distributions. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocamlbricks override disparity
There are disparities between your recently accepted upload and the override file for the following file(s): libocamlbricks-ocaml-dev_0.50.1-3_amd64.deb: package says section is libdevel, override says ocaml. Please note that a list of new sections were recently added to the archive: cli-mono, database, debug, fonts, gnu-r, gnustep, haskell, httpd, java, kernel, lisp, localization, ocaml, php, ruby, vcs, video, xfce, zope. At this time a script was used to reclassify packages into these sections. If this is the case, please only reply to this email if the new section is inappropriate, otherwise please update your package at the next upload. Either the package or the override file is incorrect. If you think the override is correct and the package wrong please fix the package so that this disparity is fixed in the next upload. If you feel the override is incorrect then please reply to this mail and explain why. Please INCLUDE the list of packages as seen above, or we won't be able to deal with your mail due to missing information. [NB: this is an automatically generated mail; if you replied to one like it before and have not received a response yet, please ignore this mail. Your reply needs to be processed by a human and will be in due course, but until then the installer will send these automated mails; sorry.] -- Debian distribution maintenance software (This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocamlbricks_0.50.1-3_amd64.changes ACCEPTED
Accepted: libocamlbricks-ocaml-dev_0.50.1-3_amd64.deb to pool/main/o/ocamlbricks/libocamlbricks-ocaml-dev_0.50.1-3_amd64.deb ocamlbricks_0.50.1-3.diff.gz to pool/main/o/ocamlbricks/ocamlbricks_0.50.1-3.diff.gz ocamlbricks_0.50.1-3.dsc to pool/main/o/ocamlbricks/ocamlbricks_0.50.1-3.dsc Override entries for your package: libocamlbricks-ocaml-dev_0.50.1-3_amd64.deb - optional ocaml ocamlbricks_0.50.1-3.dsc - source libdevel Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 519632 521428 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
jocaml_3.11.0-1_i386.changes ACCEPTED
Accepted: jocaml-base_3.11.0-1_i386.deb to pool/main/j/jocaml/jocaml-base_3.11.0-1_i386.deb jocaml_3.11.0-1.diff.gz to pool/main/j/jocaml/jocaml_3.11.0-1.diff.gz jocaml_3.11.0-1.dsc to pool/main/j/jocaml/jocaml_3.11.0-1.dsc jocaml_3.11.0-1_i386.deb to pool/main/j/jocaml/jocaml_3.11.0-1_i386.deb jocaml_3.11.0.orig.tar.gz to pool/main/j/jocaml/jocaml_3.11.0.orig.tar.gz Override entries for your package: jocaml-base_3.11.0-1_i386.deb - optional ocaml jocaml_3.11.0-1.dsc - optional ocaml jocaml_3.11.0-1_i386.deb - optional ocaml Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 451797 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ceve_1.2.1-1_amd64.changes ACCEPTED
Accepted: ceve_1.2.1-1.diff.gz to pool/main/c/ceve/ceve_1.2.1-1.diff.gz ceve_1.2.1-1.dsc to pool/main/c/ceve/ceve_1.2.1-1.dsc ceve_1.2.1-1_amd64.deb to pool/main/c/ceve/ceve_1.2.1-1_amd64.deb ceve_1.2.1.orig.tar.gz to pool/main/c/ceve/ceve_1.2.1.orig.tar.gz Override entries for your package: ceve_1.2.1-1.dsc - source devel ceve_1.2.1-1_amd64.deb - optional devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
mldonkey_2.9.5-2+lenny1_amd64.changes ACCEPTED
Accepted: mldonkey-gui_2.9.5-2+lenny1_amd64.deb to pool/main/m/mldonkey/mldonkey-gui_2.9.5-2+lenny1_amd64.deb mldonkey-server_2.9.5-2+lenny1_amd64.deb to pool/main/m/mldonkey/mldonkey-server_2.9.5-2+lenny1_amd64.deb mldonkey_2.9.5-2+lenny1.diff.gz to pool/main/m/mldonkey/mldonkey_2.9.5-2+lenny1.diff.gz mldonkey_2.9.5-2+lenny1.dsc to pool/main/m/mldonkey/mldonkey_2.9.5-2+lenny1.dsc Override entries for your package: mldonkey-gui_2.9.5-2+lenny1_amd64.deb - optional net mldonkey-server_2.9.5-2+lenny1_amd64.deb - optional net mldonkey_2.9.5-2+lenny1.dsc - optional net Announcing to debian-chan...@lists.debian.org Closing bugs: 516829 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
dose2 override disparity
There are disparities between your recently accepted upload and the override file for the following file(s): libdose2-ocaml-dev_1.4-1_amd64.deb: package says section is ocaml, override says libdevel. libdose2-ocaml_1.4-1_amd64.deb: package says section is ocaml, override says libs. Please note that a list of new sections were recently added to the archive: cli-mono, database, debug, fonts, gnu-r, gnustep, haskell, httpd, java, kernel, lisp, localization, ocaml, php, ruby, vcs, video, xfce, zope. At this time a script was used to reclassify packages into these sections. If this is the case, please only reply to this email if the new section is inappropriate, otherwise please update your package at the next upload. Either the package or the override file is incorrect. If you think the override is correct and the package wrong please fix the package so that this disparity is fixed in the next upload. If you feel the override is incorrect then please reply to this mail and explain why. Please INCLUDE the list of packages as seen above, or we won't be able to deal with your mail due to missing information. [NB: this is an automatically generated mail; if you replied to one like it before and have not received a response yet, please ignore this mail. Your reply needs to be processed by a human and will be in due course, but until then the installer will send these automated mails; sorry.] -- Debian distribution maintenance software (This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
dose2_1.4-1_amd64.changes ACCEPTED
Accepted: dose2_1.4-1.diff.gz to pool/main/d/dose2/dose2_1.4-1.diff.gz dose2_1.4-1.dsc to pool/main/d/dose2/dose2_1.4-1.dsc dose2_1.4.orig.tar.gz to pool/main/d/dose2/dose2_1.4.orig.tar.gz libdose2-ocaml-dev_1.4-1_amd64.deb to pool/main/d/dose2/libdose2-ocaml-dev_1.4-1_amd64.deb libdose2-ocaml_1.4-1_amd64.deb to pool/main/d/dose2/libdose2-ocaml_1.4-1_amd64.deb Override entries for your package: dose2_1.4-1.dsc - source devel libdose2-ocaml-dev_1.4-1_amd64.deb - optional libdevel libdose2-ocaml_1.4-1_amd64.deb - optional libs Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 493866 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
mlpost_0.6-2_amd64.changes ACCEPTED
Accepted: mlpost_0.6-2.diff.gz to pool/main/m/mlpost/mlpost_0.6-2.diff.gz mlpost_0.6-2.dsc to pool/main/m/mlpost/mlpost_0.6-2.dsc mlpost_0.6-2_amd64.deb to pool/main/m/mlpost/mlpost_0.6-2_amd64.deb Override entries for your package: mlpost_0.6-2.dsc - optional tex mlpost_0.6-2_amd64.deb - optional tex Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
why_2.18.dfsg-1_i386.changes is NEW
(new) libjessie-ocaml-dev_2.18.dfsg-1_i386.deb optional libdevel
Jessie library for code analysis
Jessie library, from Why certification tool, is useful for C code
analysis. It also generates Why code.
(new) libwhy-coq_2.18.dfsg-1_all.deb optional libdevel
Why library for Coq
This package contains Why library for Coq.
(new) why-examples_2.18.dfsg-1_all.deb optional doc
Examples of programs certified with Why
Why aims at being a verification conditions generator (VCG) back-end
for other verification tools. It provides a powerful input language
including higher-order functions, polymorphism, references, arrays and
exceptions. It generates proof obligations for many systems: the proof
assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the
decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
why_2.18.dfsg-1.diff.gz
to pool/main/w/why/why_2.18.dfsg-1.diff.gz
why_2.18.dfsg-1.dsc
to pool/main/w/why/why_2.18.dfsg-1.dsc
why_2.18.dfsg-1_i386.deb
to pool/main/w/why/why_2.18.dfsg-1_i386.deb
why_2.18.dfsg.orig.tar.gz
to pool/main/w/why/why_2.18.dfsg.orig.tar.gz
Changes: why (2.18.dfsg-1) unstable; urgency=low
.
[ Mehdi Dogguy ]
* New upstream release.
* New binary packages:
+ libjessie-ocaml-dev:
- Build and install jc.{cma,cmxa,a} using jessie_lib.dpatch
- Install jc.cmi
- Add a META file for Jessie library
+ why-examples:
- why-examples recommends why
+ libwhy-coq:
- Install .vo files in /usr/lib/coq/user-contrib, closes: #498713.
* debian/rules:
+ do not compress .v,.sx,.why files
+ Use debhelper 7
+ Move logo in /usr/share/why (using logopath.dpatch)
+ Setting up manpages for krakatoa, gwhy-bin, tool-stat and why-config
* debian/control:
+ Bump standards version to 3.8.0, no changes needed.
+ Why recommends alt-ergo and suggest libwhy-coq.
+ Add missing runtime dependency for why (on non-native-architecures).
+ Change vcs-* fields to point to Git repository
+ Depend on coq-${F:CoqABI} instead of Coq
+ Add DMUA flag with Sam's blessing
+ Remove not needed build dependency: ocamlweb
* Add patch descriptions to configure.dpatch and logopath.dpatch
.
[ Samuel Mimram ]
* Use predefined variables from ocamlvars.mk and coqvars.mk.
Override entries for your package:
why_2.18.dfsg-1.dsc - source math
why_2.18.dfsg-1_i386.deb - optional math
Announcing to debian-devel-chan...@lists.debian.org
Closing bugs: 498713
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
why_2.18.dfsg-1_i386.changes ACCEPTED
Accepted: libjessie-ocaml-dev_2.18.dfsg-1_i386.deb to pool/main/w/why/libjessie-ocaml-dev_2.18.dfsg-1_i386.deb libwhy-coq_2.18.dfsg-1_all.deb to pool/main/w/why/libwhy-coq_2.18.dfsg-1_all.deb why-examples_2.18.dfsg-1_all.deb to pool/main/w/why/why-examples_2.18.dfsg-1_all.deb why_2.18.dfsg-1.diff.gz to pool/main/w/why/why_2.18.dfsg-1.diff.gz why_2.18.dfsg-1.dsc to pool/main/w/why/why_2.18.dfsg-1.dsc why_2.18.dfsg-1_i386.deb to pool/main/w/why/why_2.18.dfsg-1_i386.deb why_2.18.dfsg.orig.tar.gz to pool/main/w/why/why_2.18.dfsg.orig.tar.gz Override entries for your package: libjessie-ocaml-dev_2.18.dfsg-1_i386.deb - optional libdevel libwhy-coq_2.18.dfsg-1_all.deb - optional libdevel why-examples_2.18.dfsg-1_all.deb - optional doc why_2.18.dfsg-1.dsc - optional math why_2.18.dfsg-1_i386.deb - optional math Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 498713 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocamlgraph_1.0-1_amd64.changes ACCEPTED
Accepted: libocamlgraph-ocaml-dev_1.0-1_amd64.deb to pool/main/o/ocamlgraph/libocamlgraph-ocaml-dev_1.0-1_amd64.deb ocamlgraph-editor_1.0-1_amd64.deb to pool/main/o/ocamlgraph/ocamlgraph-editor_1.0-1_amd64.deb ocamlgraph_1.0-1.diff.gz to pool/main/o/ocamlgraph/ocamlgraph_1.0-1.diff.gz ocamlgraph_1.0-1.dsc to pool/main/o/ocamlgraph/ocamlgraph_1.0-1.dsc ocamlgraph_1.0.orig.tar.gz to pool/main/o/ocamlgraph/ocamlgraph_1.0.orig.tar.gz Override entries for your package: libocamlgraph-ocaml-dev_1.0-1_amd64.deb - optional ocaml ocamlgraph-editor_1.0-1_amd64.deb - optional graphics ocamlgraph_1.0-1.dsc - source libdevel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocamlgraph override disparity
There are disparities between your recently accepted upload and the override file for the following file(s): libocamlgraph-ocaml-dev_1.0-1_amd64.deb: package says section is libdevel, override says ocaml. Please note that a list of new sections were recently added to the archive: cli-mono, database, debug, fonts, gnu-r, gnustep, haskell, httpd, java, kernel, lisp, localization, ocaml, php, ruby, vcs, video, xfce, zope. At this time a script was used to reclassify packages into these sections. If this is the case, please only reply to this email if the new section is inappropriate, otherwise please update your package at the next upload. Either the package or the override file is incorrect. If you think the override is correct and the package wrong please fix the package so that this disparity is fixed in the next upload. If you feel the override is incorrect then please reply to this mail and explain why. Please INCLUDE the list of packages as seen above, or we won't be able to deal with your mail due to missing information. [NB: this is an automatically generated mail; if you replied to one like it before and have not received a response yet, please ignore this mail. Your reply needs to be processed by a human and will be in due course, but until then the installer will send these automated mails; sorry.] -- Debian distribution maintenance software (This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
matita_0.5.7-2_amd64.changes ACCEPTED
Accepted: matita-doc_0.5.7-2_all.deb to pool/main/m/matita/matita-doc_0.5.7-2_all.deb matita-standard-library_0.5.7-2_all.deb to pool/main/m/matita/matita-standard-library_0.5.7-2_all.deb matita_0.5.7-2.diff.gz to pool/main/m/matita/matita_0.5.7-2.diff.gz matita_0.5.7-2.dsc to pool/main/m/matita/matita_0.5.7-2.dsc matita_0.5.7-2_amd64.deb to pool/main/m/matita/matita_0.5.7-2_amd64.deb Override entries for your package: matita-doc_0.5.7-2_all.deb - optional doc matita-standard-library_0.5.7-2_all.deb - optional math matita_0.5.7-2.dsc - source math matita_0.5.7-2_amd64.deb - optional math Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocamldap_2.1.8-6_amd64.changes ACCEPTED
Accepted: libldap-ocaml-dev_2.1.8-6_amd64.deb to pool/main/o/ocamldap/libldap-ocaml-dev_2.1.8-6_amd64.deb ocamldap_2.1.8-6.diff.gz to pool/main/o/ocamldap/ocamldap_2.1.8-6.diff.gz ocamldap_2.1.8-6.dsc to pool/main/o/ocamldap/ocamldap_2.1.8-6.dsc Override entries for your package: libldap-ocaml-dev_2.1.8-6_amd64.deb - optional ocaml ocamldap_2.1.8-6.dsc - source devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocamldap override disparity
There are disparities between your recently accepted upload and the override file for the following file(s): libldap-ocaml-dev_2.1.8-6_amd64.deb: package says section is libdevel, override says ocaml. Please note that a list of new sections were recently added to the archive: cli-mono, database, debug, fonts, gnu-r, gnustep, haskell, httpd, java, kernel, lisp, localization, ocaml, php, ruby, vcs, video, xfce, zope. At this time a script was used to reclassify packages into these sections. If this is the case, please only reply to this email if the new section is inappropriate, otherwise please update your package at the next upload. Either the package or the override file is incorrect. If you think the override is correct and the package wrong please fix the package so that this disparity is fixed in the next upload. If you feel the override is incorrect then please reply to this mail and explain why. Please INCLUDE the list of packages as seen above, or we won't be able to deal with your mail due to missing information. [NB: this is an automatically generated mail; if you replied to one like it before and have not received a response yet, please ignore this mail. Your reply needs to be processed by a human and will be in due course, but until then the installer will send these automated mails; sorry.] -- Debian distribution maintenance software (This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
unison_2.27.57-2_amd64.changes ACCEPTED
Accepted: unison-gtk_2.27.57-2_amd64.deb to pool/main/u/unison/unison-gtk_2.27.57-2_amd64.deb unison_2.27.57-2.diff.gz to pool/main/u/unison/unison_2.27.57-2.diff.gz unison_2.27.57-2.dsc to pool/main/u/unison/unison_2.27.57-2.dsc unison_2.27.57-2_amd64.deb to pool/main/u/unison/unison_2.27.57-2_amd64.deb Override entries for your package: unison-gtk_2.27.57-2_amd64.deb - optional utils unison_2.27.57-2.dsc - source utils unison_2.27.57-2_amd64.deb - optional utils Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 129478 137960 466173 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
mldonkey_3.0.0-2_i386.changes ACCEPTED
Accepted: mldonkey-gui_3.0.0-2_i386.deb to pool/main/m/mldonkey/mldonkey-gui_3.0.0-2_i386.deb mldonkey-server_3.0.0-2_i386.deb to pool/main/m/mldonkey/mldonkey-server_3.0.0-2_i386.deb mldonkey_3.0.0-2.diff.gz to pool/main/m/mldonkey/mldonkey_3.0.0-2.diff.gz mldonkey_3.0.0-2.dsc to pool/main/m/mldonkey/mldonkey_3.0.0-2.dsc Override entries for your package: mldonkey-gui_3.0.0-2_i386.deb - optional net mldonkey-server_3.0.0-2_i386.deb - optional net mldonkey_3.0.0-2.dsc - source net Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 473133 520093 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
camlimages_3.0.1-1_amd64.changes ACCEPTED
Accepted: camlimages_3.0.1-1.diff.gz to pool/main/c/camlimages/camlimages_3.0.1-1.diff.gz camlimages_3.0.1-1.dsc to pool/main/c/camlimages/camlimages_3.0.1-1.dsc camlimages_3.0.1.orig.tar.gz to pool/main/c/camlimages/camlimages_3.0.1.orig.tar.gz libcamlimages-ocaml-dev_3.0.1-1_amd64.deb to pool/main/c/camlimages/libcamlimages-ocaml-dev_3.0.1-1_amd64.deb libcamlimages-ocaml-doc_3.0.1-1_all.deb to pool/main/c/camlimages/libcamlimages-ocaml-doc_3.0.1-1_all.deb libcamlimages-ocaml_3.0.1-1_amd64.deb to pool/main/c/camlimages/libcamlimages-ocaml_3.0.1-1_amd64.deb Override entries for your package: camlimages_3.0.1-1.dsc - source devel libcamlimages-ocaml-dev_3.0.1-1_amd64.deb - optional ocaml libcamlimages-ocaml-doc_3.0.1-1_all.deb - optional doc libcamlimages-ocaml_3.0.1-1_amd64.deb - optional ocaml Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
camlimages override disparity
There are disparities between your recently accepted upload and the override file for the following file(s): libcamlimages-ocaml-dev_3.0.1-1_amd64.deb: package says section is libdevel, override says ocaml. libcamlimages-ocaml_3.0.1-1_amd64.deb: package says section is libs, override says ocaml. Please note that a list of new sections were recently added to the archive: cli-mono, database, debug, fonts, gnu-r, gnustep, haskell, httpd, java, kernel, lisp, localization, ocaml, php, ruby, vcs, video, xfce, zope. At this time a script was used to reclassify packages into these sections. If this is the case, please only reply to this email if the new section is inappropriate, otherwise please update your package at the next upload. Either the package or the override file is incorrect. If you think the override is correct and the package wrong please fix the package so that this disparity is fixed in the next upload. If you feel the override is incorrect then please reply to this mail and explain why. Please INCLUDE the list of packages as seen above, or we won't be able to deal with your mail due to missing information. [NB: this is an automatically generated mail; if you replied to one like it before and have not received a response yet, please ignore this mail. Your reply needs to be processed by a human and will be in due course, but until then the installer will send these automated mails; sorry.] -- Debian distribution maintenance software (This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-gettext override disparity
There are disparities between your recently accepted upload and the override file for the following file(s): libgettext-ocaml-dev_0.3.2-2_amd64.deb: package says section is libdevel, override says ocaml. libgettext-ocaml_0.3.2-2_amd64.deb: package says section is libdevel, override says ocaml. Please note that a list of new sections were recently added to the archive: cli-mono, database, debug, fonts, gnu-r, gnustep, haskell, httpd, java, kernel, lisp, localization, ocaml, php, ruby, vcs, video, xfce, zope. At this time a script was used to reclassify packages into these sections. If this is the case, please only reply to this email if the new section is inappropriate, otherwise please update your package at the next upload. Either the package or the override file is incorrect. If you think the override is correct and the package wrong please fix the package so that this disparity is fixed in the next upload. If you feel the override is incorrect then please reply to this mail and explain why. Please INCLUDE the list of packages as seen above, or we won't be able to deal with your mail due to missing information. [NB: this is an automatically generated mail; if you replied to one like it before and have not received a response yet, please ignore this mail. Your reply needs to be processed by a human and will be in due course, but until then the installer will send these automated mails; sorry.] -- Debian distribution maintenance software (This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-gettext_0.3.2-2_amd64.changes ACCEPTED
Accepted: libgettext-ocaml-dev_0.3.2-2_amd64.deb to pool/main/o/ocaml-gettext/libgettext-ocaml-dev_0.3.2-2_amd64.deb libgettext-ocaml_0.3.2-2_amd64.deb to pool/main/o/ocaml-gettext/libgettext-ocaml_0.3.2-2_amd64.deb ocaml-gettext_0.3.2-2.diff.gz to pool/main/o/ocaml-gettext/ocaml-gettext_0.3.2-2.diff.gz ocaml-gettext_0.3.2-2.dsc to pool/main/o/ocaml-gettext/ocaml-gettext_0.3.2-2.dsc Override entries for your package: libgettext-ocaml-dev_0.3.2-2_amd64.deb - optional ocaml libgettext-ocaml_0.3.2-2_amd64.deb - optional ocaml ocaml-gettext_0.3.2-2.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-res override disparity
There are disparities between your recently accepted upload and the override file for the following file(s): libres-ocaml-dev_3.1.1-2_amd64.deb: package says section is libdevel, override says ocaml. Please note that a list of new sections were recently added to the archive: cli-mono, database, debug, fonts, gnu-r, gnustep, haskell, httpd, java, kernel, lisp, localization, ocaml, php, ruby, vcs, video, xfce, zope. At this time a script was used to reclassify packages into these sections. If this is the case, please only reply to this email if the new section is inappropriate, otherwise please update your package at the next upload. Either the package or the override file is incorrect. If you think the override is correct and the package wrong please fix the package so that this disparity is fixed in the next upload. If you feel the override is incorrect then please reply to this mail and explain why. Please INCLUDE the list of packages as seen above, or we won't be able to deal with your mail due to missing information. [NB: this is an automatically generated mail; if you replied to one like it before and have not received a response yet, please ignore this mail. Your reply needs to be processed by a human and will be in due course, but until then the installer will send these automated mails; sorry.] -- Debian distribution maintenance software (This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-res_3.1.1-2_amd64.changes ACCEPTED
Accepted: libres-ocaml-dev_3.1.1-2_amd64.deb to pool/main/o/ocaml-res/libres-ocaml-dev_3.1.1-2_amd64.deb ocaml-res_3.1.1-2.diff.gz to pool/main/o/ocaml-res/ocaml-res_3.1.1-2.diff.gz ocaml-res_3.1.1-2.dsc to pool/main/o/ocaml-res/ocaml-res_3.1.1-2.dsc Override entries for your package: libres-ocaml-dev_3.1.1-2_amd64.deb - extra ocaml ocaml-res_3.1.1-2.dsc - source ocaml Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
why_2.18.dfsg-1_i386.changes is NEW
(new) libjessie-ocaml-dev_2.18.dfsg-1_i386.deb optional libdevel
Jessie library for code analysis
Jessie library, from Why certification tool, is useful for C code
analysis. It also generates Why code.
(new) libwhy-coq_2.18.dfsg-1_all.deb optional libdevel
Why library for Coq
This package contains Why library for Coq.
(new) why-examples_2.18.dfsg-1_all.deb optional doc
Examples of programs certified with Why
Why aims at being a verification conditions generator (VCG) back-end
for other verification tools. It provides a powerful input language
including higher-order functions, polymorphism, references, arrays and
exceptions. It generates proof obligations for many systems: the proof
assistants Coq, PVS, Isabelle/HOL, HOL 4, HOL Light, Mizar and the
decision procedures Simplify, Alt-Ergo, Yices, CVC Lite and haRVey.
why_2.18.dfsg-1.diff.gz
to pool/main/w/why/why_2.18.dfsg-1.diff.gz
why_2.18.dfsg-1.dsc
to pool/main/w/why/why_2.18.dfsg-1.dsc
why_2.18.dfsg-1_i386.deb
to pool/main/w/why/why_2.18.dfsg-1_i386.deb
why_2.18.dfsg.orig.tar.gz
to pool/main/w/why/why_2.18.dfsg.orig.tar.gz
Changes: why (2.18.dfsg-1) unstable; urgency=low
.
[ Mehdi Dogguy ]
* New upstream release.
* New binary packages:
+ libjessie-ocaml-dev:
- Build and install jc.{cma,cmxa,a} using jessie_lib.dpatch
- Install jc.cmi
- Add a META file for Jessie library
+ why-examples:
- why-examples recommends why
+ libwhy-coq:
- Install .vo files in /usr/lib/coq/user-contrib, closes: #498713.
* debian/rules:
+ do not compress .v,.sx,.why files
+ Use debhelper 7
+ Move logo in /usr/share/why (using logopath.dpatch)
+ Setting up manpages for krakatoa, gwhy-bin, tool-stat and why-config
* debian/control:
+ Bump standards version to 3.8.0, no changes needed.
+ Why recommends alt-ergo and suggest libwhy-coq.
+ Add missing runtime dependency for why (on non-native-architecures).
+ Change vcs-* fields to point to Git repository
+ Depend on coq-${F:CoqABI} instead of Coq
+ Add DMUA flag with Sam's blessing
+ Remove not needed build dependency: ocamlweb
* Add patch descriptions to configure.dpatch and logopath.dpatch
.
[ Samuel Mimram ]
* Use predefined variables from ocamlvars.mk and coqvars.mk.
Override entries for your package:
why_2.18.dfsg-1.dsc - source math
why_2.18.dfsg-1_i386.deb - optional math
Announcing to debian-devel-chan...@lists.debian.org
Closing bugs: 498713
Your package contains new components which requires manual editing of
the override file. It is ok otherwise, so please be patient. New
packages are usually added to the override file about once a week.
You may have gotten the distribution wrong. You'll get warnings above
if files already exist in other distributions.
--
To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
mldonkey_3.0.0-1_i386.changes ACCEPTED
Accepted: mldonkey-gui_3.0.0-1_i386.deb to pool/main/m/mldonkey/mldonkey-gui_3.0.0-1_i386.deb mldonkey-server_3.0.0-1_i386.deb to pool/main/m/mldonkey/mldonkey-server_3.0.0-1_i386.deb mldonkey_3.0.0-1.diff.gz to pool/main/m/mldonkey/mldonkey_3.0.0-1.diff.gz mldonkey_3.0.0-1.dsc to pool/main/m/mldonkey/mldonkey_3.0.0-1.dsc mldonkey_3.0.0.orig.tar.gz to pool/main/m/mldonkey/mldonkey_3.0.0.orig.tar.gz Override entries for your package: mldonkey-gui_3.0.0-1_i386.deb - optional net mldonkey-server_3.0.0-1_i386.deb - optional net mldonkey_3.0.0-1.dsc - source net Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 204266 332324 432205 484674 487803 508280 508436 508533 508538 509001 513369 514449 516829 517996 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
lablgtkmathview_0.7.8-4_amd64.changes REJECTED
Rejected: lablgtkmathview_0.7.8-4.dsc refers to lablgtkmathview_0.7.8.orig.tar.gz, but I can't find it in the queue or in the pool. === If you don't understand why your files were rejected, or if the override file requires editing, reply to this email. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
lablgtkmathview_0.7.8-4_amd64.changes ACCEPTED
Accepted: lablgtkmathview_0.7.8-4.diff.gz to pool/main/l/lablgtkmathview/lablgtkmathview_0.7.8-4.diff.gz lablgtkmathview_0.7.8-4.dsc to pool/main/l/lablgtkmathview/lablgtkmathview_0.7.8-4.dsc lablgtkmathview_0.7.8.orig.tar.gz to pool/main/l/lablgtkmathview/lablgtkmathview_0.7.8.orig.tar.gz liblablgtkmathview-ocaml-dev_0.7.8-4_amd64.deb to pool/main/l/lablgtkmathview/liblablgtkmathview-ocaml-dev_0.7.8-4_amd64.deb liblablgtkmathview-ocaml_0.7.8-4_amd64.deb to pool/main/l/lablgtkmathview/liblablgtkmathview-ocaml_0.7.8-4_amd64.deb Override entries for your package: lablgtkmathview_0.7.8-4.dsc - source devel liblablgtkmathview-ocaml-dev_0.7.8-4_amd64.deb - optional ocaml liblablgtkmathview-ocaml_0.7.8-4_amd64.deb - optional ocaml Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocamlwc_0.3-6_amd64.changes ACCEPTED
Accepted: ocamlwc_0.3-6.diff.gz to pool/main/o/ocamlwc/ocamlwc_0.3-6.diff.gz ocamlwc_0.3-6.dsc to pool/main/o/ocamlwc/ocamlwc_0.3-6.dsc ocamlwc_0.3-6_all.deb to pool/main/o/ocamlwc/ocamlwc_0.3-6_all.deb Override entries for your package: ocamlwc_0.3-6.dsc - source devel ocamlwc_0.3-6_all.deb - optional devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
coq-float_8.2-1.2-1_i386.changes ACCEPTED
Accepted: coq-float_8.2-1.2-1.diff.gz to pool/main/c/coq-float/coq-float_8.2-1.2-1.diff.gz coq-float_8.2-1.2-1.dsc to pool/main/c/coq-float/coq-float_8.2-1.2-1.dsc coq-float_8.2-1.2.orig.tar.gz to pool/main/c/coq-float/coq-float_8.2-1.2.orig.tar.gz libfloat-coq_8.2-1.2-1_all.deb to pool/main/c/coq-float/libfloat-coq_8.2-1.2-1_all.deb Override entries for your package: coq-float_8.2-1.2-1.dsc - source libdevel libfloat-coq_8.2-1.2-1_all.deb - optional libdevel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocsigen_1.1.0-2_amd64.changes ACCEPTED
Accepted: ocsigen-dev_1.1.0-2_amd64.deb to pool/main/o/ocsigen/ocsigen-dev_1.1.0-2_amd64.deb ocsigen-doc_1.1.0-2_all.deb to pool/main/o/ocsigen/ocsigen-doc_1.1.0-2_all.deb ocsigen_1.1.0-2.diff.gz to pool/main/o/ocsigen/ocsigen_1.1.0-2.diff.gz ocsigen_1.1.0-2.dsc to pool/main/o/ocsigen/ocsigen_1.1.0-2.dsc ocsigen_1.1.0-2_amd64.deb to pool/main/o/ocsigen/ocsigen_1.1.0-2_amd64.deb Override entries for your package: ocsigen-dev_1.1.0-2_amd64.deb - extra devel ocsigen-doc_1.1.0-2_all.deb - optional doc ocsigen_1.1.0-2.dsc - source web ocsigen_1.1.0-2_amd64.deb - optional web Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
mldonkey_2.9.5-2+lenny1_amd64.changes REJECTED
Mapping stable-security to proposed-updates. Rejected: md5sum and/or size mismatch on existing copy of mldonkey_2.9.5.orig.tar.gz. Warning: ignoring mldonkey_2.9.5.orig.tar.gz, since it's already in the archive. === If you don't understand why your files were rejected, or if the override file requires editing, reply to this email. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
mlgmp_20021123-14_amd64.changes ACCEPTED
Accepted: libgmp-ocaml-dev_20021123-14_amd64.deb to pool/main/m/mlgmp/libgmp-ocaml-dev_20021123-14_amd64.deb libgmp-ocaml_20021123-14_amd64.deb to pool/main/m/mlgmp/libgmp-ocaml_20021123-14_amd64.deb mlgmp_20021123-14.diff.gz to pool/main/m/mlgmp/mlgmp_20021123-14.diff.gz mlgmp_20021123-14.dsc to pool/main/m/mlgmp/mlgmp_20021123-14.dsc Override entries for your package: libgmp-ocaml-dev_20021123-14_amd64.deb - optional libdevel libgmp-ocaml_20021123-14_amd64.deb - optional libs mlgmp_20021123-14.dsc - source devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
cameleon_1.9.18.svn20090302+691-1_amd64.changes ACCEPTED
Accepted: cameleon-doc_1.9.18.svn20090302+691-1_all.deb to pool/main/c/cameleon/cameleon-doc_1.9.18.svn20090302+691-1_all.deb cameleon_1.9.18.svn20090302+691-1.diff.gz to pool/main/c/cameleon/cameleon_1.9.18.svn20090302+691-1.diff.gz cameleon_1.9.18.svn20090302+691-1.dsc to pool/main/c/cameleon/cameleon_1.9.18.svn20090302+691-1.dsc cameleon_1.9.18.svn20090302+691-1_amd64.deb to pool/main/c/cameleon/cameleon_1.9.18.svn20090302+691-1_amd64.deb cameleon_1.9.18.svn20090302+691.orig.tar.gz to pool/main/c/cameleon/cameleon_1.9.18.svn20090302+691.orig.tar.gz libcameleon-ocaml-dev_1.9.18.svn20090302+691-1_amd64.deb to pool/main/c/cameleon/libcameleon-ocaml-dev_1.9.18.svn20090302+691-1_amd64.deb Override entries for your package: cameleon-doc_1.9.18.svn20090302+691-1_all.deb - optional devel cameleon_1.9.18.svn20090302+691-1.dsc - source devel cameleon_1.9.18.svn20090302+691-1_amd64.deb - optional devel libcameleon-ocaml-dev_1.9.18.svn20090302+691-1_amd64.deb - optional libdevel Announcing to debian-devel-chan...@lists.debian.org Closing bugs: 462010 514111 517323 Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
cameleon override disparity
There are disparities between your recently accepted upload and the override file for the following file(s): cameleon-doc_1.9.18.svn20090302+691-1_all.deb: package says section is doc, override says devel. Either the package or the override file is incorrect. If you think the override is correct and the package wrong please fix the package so that this disparity is fixed in the next upload. If you feel the override is incorrect then please reply to this mail and explain why. Please INCLUDE the list of packages as seen above, or we won't be able to deal with your mail due to missing information. [NB: this is an automatically generated mail; if you replied to one like it before and have not received a response yet, please ignore this mail. Your reply needs to be processed by a human and will be in due course, but until then the installer will send these automated mails; sorry.] -- Debian distribution maintenance software (This message was generated automatically; if you believe that there is a problem with it please contact the archive administrators by mailing ftpmas...@debian.org) -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocamlgsl_0.6.0-5_amd64.changes ACCEPTED
Accepted: libocamlgsl-ocaml-dev_0.6.0-5_amd64.deb to pool/main/o/ocamlgsl/libocamlgsl-ocaml-dev_0.6.0-5_amd64.deb libocamlgsl-ocaml_0.6.0-5_amd64.deb to pool/main/o/ocamlgsl/libocamlgsl-ocaml_0.6.0-5_amd64.deb ocamlgsl_0.6.0-5.diff.gz to pool/main/o/ocamlgsl/ocamlgsl_0.6.0-5.diff.gz ocamlgsl_0.6.0-5.dsc to pool/main/o/ocamlgsl/ocamlgsl_0.6.0-5.dsc Override entries for your package: libocamlgsl-ocaml-dev_0.6.0-5_amd64.deb - optional libdevel libocamlgsl-ocaml_0.6.0-5_amd64.deb - optional libs ocamlgsl_0.6.0-5.dsc - source devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
json-static_0.9.6-2_amd64.changes REJECTED
Rejected: md5sum for /srv/ftp.debian.org/ftp/pool/main/j/json-static/json-static_0.9.6.orig.tar.gz doesn't match json-static_0.9.6-2.dsc. Rejected: size for /srv/ftp.debian.org/ftp/pool/main/j/json-static/json-static_0.9.6.orig.tar.gz doesn't match json-static_0.9.6-2.dsc. Rejected: 'dpkg-source -x' failed for json-static_0.9.6-2.dsc [return code: 2304]. [dpkg-source output:] dpkg-source: error: File ./json-static_0.9.6.orig.tar.gz has size 13342 instead of expected 13297 === If you don't understand why your files were rejected, or if the override file requires editing, reply to this email. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
json-static_0.9.6-2_amd64.changes ACCEPTED
Accepted: json-static_0.9.6-2.diff.gz to pool/main/j/json-static/json-static_0.9.6-2.diff.gz json-static_0.9.6-2.dsc to pool/main/j/json-static/json-static_0.9.6-2.dsc libjson-static-camlp4-dev_0.9.6-2_amd64.deb to pool/main/j/json-static/libjson-static-camlp4-dev_0.9.6-2_amd64.deb Override entries for your package: json-static_0.9.6-2.dsc - source devel libjson-static-camlp4-dev_0.9.6-2_amd64.deb - optional libdevel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
camlpdf_0.4-1_amd64.changes ACCEPTED
Accepted: camlpdf_0.4-1.diff.gz to pool/non-free/c/camlpdf/camlpdf_0.4-1.diff.gz camlpdf_0.4-1.dsc to pool/non-free/c/camlpdf/camlpdf_0.4-1.dsc camlpdf_0.4.orig.tar.gz to pool/non-free/c/camlpdf/camlpdf_0.4.orig.tar.gz libcamlpdf-ocaml-dev_0.4-1_amd64.deb to pool/non-free/c/camlpdf/libcamlpdf-ocaml-dev_0.4-1_amd64.deb Override entries for your package: camlpdf_0.4-1.dsc - source non-free/devel libcamlpdf-ocaml-dev_0.4-1_amd64.deb - optional non-free/libdevel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-lastfm_0.1.3-2_amd64.changes ACCEPTED
Accepted: liblastfm-ocaml-dev_0.1.3-2_amd64.deb to pool/main/o/ocaml-lastfm/liblastfm-ocaml-dev_0.1.3-2_amd64.deb ocaml-lastfm_0.1.3-2.diff.gz to pool/main/o/ocaml-lastfm/ocaml-lastfm_0.1.3-2.diff.gz ocaml-lastfm_0.1.3-2.dsc to pool/main/o/ocaml-lastfm/ocaml-lastfm_0.1.3-2.dsc Override entries for your package: liblastfm-ocaml-dev_0.1.3-2_amd64.deb - optional libdevel ocaml-lastfm_0.1.3-2.dsc - source devel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
ocaml-fileutils_0.3.0-14_amd64.changes ACCEPTED
Accepted: libfileutils-ocaml-dev_0.3.0-14_amd64.deb to pool/main/o/ocaml-fileutils/libfileutils-ocaml-dev_0.3.0-14_amd64.deb ocaml-fileutils_0.3.0-14.diff.gz to pool/main/o/ocaml-fileutils/ocaml-fileutils_0.3.0-14.diff.gz ocaml-fileutils_0.3.0-14.dsc to pool/main/o/ocaml-fileutils/ocaml-fileutils_0.3.0-14.dsc Override entries for your package: libfileutils-ocaml-dev_0.3.0-14_amd64.deb - optional libdevel ocaml-fileutils_0.3.0-14.dsc - source libdevel Announcing to debian-devel-chan...@lists.debian.org Thank you for your contribution to Debian. -- To UNSUBSCRIBE, email to debian-ocaml-maint-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org
