Bug#545762: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package cameleon... Operating on the unstable suite Changed section from devel to ocaml Thank you for reporting the bug, which will now be closed. If you have further comments

Bug#546582: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package omake... Operating on the unstable suite Changed section from devel to ocaml Thank you for reporting the bug, which will now be closed. If you have further comments please

Bug#551735: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package libpam-ocaml-dev... Operating on the unstable suite Changed section from admin to ocaml Thank you for reporting the bug, which will now be closed. If you have further

Bug#553282: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package camlp5... Operating on the unstable suite Changed section from devel to ocaml Thank you for reporting the bug, which will now be closed. If you have further comments please

Bug#554213: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package pycaml... Operating on the unstable suite Changed section from libdevel to ocaml Thank you for reporting the bug, which will now be closed. If you have further comments

Bug#554534: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package ocamlduce... Operating on the unstable suite Changed section from devel to ocaml Thank you for reporting the bug, which will now be closed. If you have further comments

Bug#554389: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package liblwt-ocaml... Operating on the unstable suite Changed priority from extra to optional Thank you for reporting the bug, which will now be closed. If you have further

Bug#563494: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package ocamlmakefile... Operating on the unstable suite Changed section from devel to ocaml Thank you for reporting the bug, which will now be closed. If you have further comments

Bug#572905: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package ocsigen-dev... Operating on the unstable suite Changed priority from extra to optional Changed section from devel to ocaml Thank you for reporting the bug, which will now be

Bug#575375: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package frama-c-base... Operating on the unstable suite Changed section from math to devel Thank you for reporting the bug, which will now be closed. If you have further comments

Bug#582936: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package otags... Operating on the unstable suite Changed section from devel to ocaml Thank you for reporting the bug, which will now be closed. If you have further comments please

Bug#582940: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package tuareg-mode... Operating on the unstable suite Changed section from devel to ocaml Thank you for reporting the bug, which will now be closed. If you have further comments

Bug#587990: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package libfloat-coq... Operating on the unstable suite Changed section from libdevel to math Thank you for reporting the bug, which will now be closed. If you have further

Bug#588283: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package frama-c-base... Operating on the unstable suite Changed priority from extra to optional Thank you for reporting the bug, which will now be closed. If you have further

Bug#588283: fixed

We believe that the bug you reported is now fixed; the following changes were made to the overrides... Concerning package frama-c... Operating on the unstable suite Changed priority from extra to optional Thank you for reporting the bug, which will now be closed. If you have further comments

tuareg-mode_2.0.2-1_amd64.changes ACCEPTED into experimental

Accepted: tuareg-mode_2.0.2-1.debian.tar.gz to main/t/tuareg-mode/tuareg-mode_2.0.2-1.debian.tar.gz tuareg-mode_2.0.2-1.dsc to main/t/tuareg-mode/tuareg-mode_2.0.2-1.dsc tuareg-mode_2.0.2-1_all.deb to main/t/tuareg-mode/tuareg-mode_2.0.2-1_all.deb tuareg-mode_2.0.2.orig.tar.gz to

ocaml-dtools_0.2.1-1_amd64.changes ACCEPTED into experimental

Accepted: libdtools-ocaml-dev_0.2.1-1_amd64.deb to main/o/ocaml-dtools/libdtools-ocaml-dev_0.2.1-1_amd64.deb ocaml-dtools_0.2.1-1.diff.gz to main/o/ocaml-dtools/ocaml-dtools_0.2.1-1.diff.gz ocaml-dtools_0.2.1-1.dsc to main/o/ocaml-dtools/ocaml-dtools_0.2.1-1.dsc

liquidsoap_0.9.3-1_amd64.changes ACCEPTED into experimental

Accepted: liguidsoap_0.9.3-1_all.deb to main/l/liquidsoap/liguidsoap_0.9.3-1_all.deb liquidsoap_0.9.3-1.debian.tar.gz to main/l/liquidsoap/liquidsoap_0.9.3-1.debian.tar.gz liquidsoap_0.9.3-1.dsc to main/l/liquidsoap/liquidsoap_0.9.3-1.dsc liquidsoap_0.9.3-1_amd64.deb to

liquidsoap_0.9.3-2_amd64.changes ACCEPTED into experimental

Accepted: liguidsoap_0.9.3-2_all.deb to main/l/liquidsoap/liguidsoap_0.9.3-2_all.deb liquidsoap_0.9.3-2.debian.tar.gz to main/l/liquidsoap/liquidsoap_0.9.3-2.debian.tar.gz liquidsoap_0.9.3-2.dsc to main/l/liquidsoap/liquidsoap_0.9.3-2.dsc liquidsoap_0.9.3-2_amd64.deb to

bibtex2html_1.96-1_amd64.changes ACCEPTED into experimental

Accepted: bibtex2html_1.96-1.debian.tar.gz to main/b/bibtex2html/bibtex2html_1.96-1.debian.tar.gz bibtex2html_1.96-1.dsc to main/b/bibtex2html/bibtex2html_1.96-1.dsc bibtex2html_1.96-1_all.deb to main/b/bibtex2html/bibtex2html_1.96-1_all.deb bibtex2html_1.96.orig.tar.gz to

mldonkey_3.0.3-2_amd64.changes ACCEPTED into unstable

Accepted: mldonkey-gui_3.0.3-2_amd64.deb to main/m/mldonkey/mldonkey-gui_3.0.3-2_amd64.deb mldonkey-server_3.0.3-2_amd64.deb to main/m/mldonkey/mldonkey-server_3.0.3-2_amd64.deb mldonkey_3.0.3-2.debian.tar.gz to main/m/mldonkey/mldonkey_3.0.3-2.debian.tar.gz mldonkey_3.0.3-2.dsc to

ocaml_3.11.2-2_amd64.changes ACCEPTED into unstable

Accepted: camlp4-extra_3.11.2-2_amd64.deb to main/o/ocaml/camlp4-extra_3.11.2-2_amd64.deb camlp4_3.11.2-2_amd64.deb to main/o/ocaml/camlp4_3.11.2-2_amd64.deb ocaml-base-nox_3.11.2-2_amd64.deb to main/o/ocaml/ocaml-base-nox_3.11.2-2_amd64.deb ocaml-base_3.11.2-2_amd64.deb to

frama-c_20100401+boron+dfsg-5_amd64.changes ACCEPTED into unstable

Accepted: frama-c-base_20100401+boron+dfsg-5_amd64.deb to main/f/frama-c/frama-c-base_20100401+boron+dfsg-5_amd64.deb frama-c_20100401+boron+dfsg-5.debian.tar.gz to main/f/frama-c/frama-c_20100401+boron+dfsg-5.debian.tar.gz frama-c_20100401+boron+dfsg-5.dsc to

ocaml-bitstring_2.0.2-2_amd64.changes ACCEPTED into unstable

Accepted: libbitstring-ocaml-dev_2.0.2-2_amd64.deb to main/o/ocaml-bitstring/libbitstring-ocaml-dev_2.0.2-2_amd64.deb libbitstring-ocaml_2.0.2-2_amd64.deb to main/o/ocaml-bitstring/libbitstring-ocaml_2.0.2-2_amd64.deb ocaml-bitstring_2.0.2-2.diff.gz to

Processing of coq_8.3+dfsg-1_amd64.changes

coq_8.3+dfsg-1_amd64.changes uploaded successfully to localhost along with the files: coq_8.3+dfsg-1.dsc coq_8.3+dfsg.orig.tar.gz coq_8.3+dfsg-1.debian.tar.gz coq_8.3+dfsg-1_amd64.deb coqide_8.3+dfsg-1_amd64.deb coq-theories_8.3+dfsg-1_all.deb libcoq-ocaml_8.3+dfsg-1_amd64.deb

coq_8.3+dfsg-1_amd64.changes ACCEPTED into experimental

Accepted: coq-theories_8.3+dfsg-1_all.deb to main/c/coq/coq-theories_8.3+dfsg-1_all.deb coq_8.3+dfsg-1.debian.tar.gz to main/c/coq/coq_8.3+dfsg-1.debian.tar.gz coq_8.3+dfsg-1.dsc to main/c/coq/coq_8.3+dfsg-1.dsc coq_8.3+dfsg-1_amd64.deb to main/c/coq/coq_8.3+dfsg-1_amd64.deb

Processing of mldonkey_3.0.3-3_amd64.changes

mldonkey_3.0.3-3_amd64.changes uploaded successfully to localhost along with the files: mldonkey_3.0.3-3.dsc mldonkey_3.0.3-3.debian.tar.gz mldonkey-server_3.0.3-3_amd64.deb mldonkey-gui_3.0.3-3_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org)

mldonkey_3.0.3-3_amd64.changes ACCEPTED into unstable

Accepted: mldonkey-gui_3.0.3-3_amd64.deb to main/m/mldonkey/mldonkey-gui_3.0.3-3_amd64.deb mldonkey-server_3.0.3-3_amd64.deb to main/m/mldonkey/mldonkey-server_3.0.3-3_amd64.deb mldonkey_3.0.3-3.debian.tar.gz to main/m/mldonkey/mldonkey_3.0.3-3.debian.tar.gz mldonkey_3.0.3-3.dsc to

Processing of mldonkey_3.0.3-4_amd64.changes

mldonkey_3.0.3-4_amd64.changes uploaded successfully to localhost along with the files: mldonkey_3.0.3-4.dsc mldonkey_3.0.3-4.debian.tar.gz mldonkey-server_3.0.3-4_amd64.deb mldonkey-gui_3.0.3-4_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org)

mldonkey_3.0.3-4_amd64.changes ACCEPTED into unstable

Accepted: mldonkey-gui_3.0.3-4_amd64.deb to main/m/mldonkey/mldonkey-gui_3.0.3-4_amd64.deb mldonkey-server_3.0.3-4_amd64.deb to main/m/mldonkey/mldonkey-server_3.0.3-4_amd64.deb mldonkey_3.0.3-4.debian.tar.gz to main/m/mldonkey/mldonkey_3.0.3-4.debian.tar.gz mldonkey_3.0.3-4.dsc to

Processing of ocamlify_0.0.1-1_amd64.changes

ocamlify_0.0.1-1_amd64.changes uploaded successfully to localhost along with the files: ocamlify_0.0.1-1.dsc ocamlify_0.0.1.orig.tar.gz ocamlify_0.0.1-1.debian.tar.gz ocamlify_0.0.1-1_all.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To

ocamlify_0.0.1-1_amd64.changes is NEW

(new) ocamlify_0.0.1-1.debian.tar.gz optional ocaml (new) ocamlify_0.0.1-1.dsc optional ocaml (new) ocamlify_0.0.1-1_all.deb optional ocaml include files in OCaml code This program allows to copy files inside OCaml code. It uses a first file that describes the other files that must be included

Processing of tuareg-mode_2.0.4-1_amd64.changes

tuareg-mode_2.0.4-1_amd64.changes uploaded successfully to ftp-master.debian.org along with the files: tuareg-mode_2.0.4-1.dsc tuareg-mode_2.0.4.orig.tar.gz tuareg-mode_2.0.4-1.debian.tar.gz tuareg-mode_2.0.4-1_all.deb Greetings, Your Debian queue daemon (running on host

Processing of tuareg-mode_2.0.4-1_amd64.changes

tuareg-mode_2.0.4-1_amd64.changes uploaded successfully to localhost along with the files: tuareg-mode_2.0.4-1.dsc tuareg-mode_2.0.4.orig.tar.gz tuareg-mode_2.0.4-1.debian.tar.gz tuareg-mode_2.0.4-1_all.deb Greetings, Your Debian queue daemon (running on host franck.debian.org)

tuareg-mode_2.0.4-1_amd64.changes ACCEPTED into experimental

Accepted: tuareg-mode_2.0.4-1.debian.tar.gz to main/t/tuareg-mode/tuareg-mode_2.0.4-1.debian.tar.gz tuareg-mode_2.0.4-1.dsc to main/t/tuareg-mode/tuareg-mode_2.0.4-1.dsc tuareg-mode_2.0.4-1_all.deb to main/t/tuareg-mode/tuareg-mode_2.0.4-1_all.deb tuareg-mode_2.0.4.orig.tar.gz to

Processing of camlbz2_0.6.0-6_amd64.changes

camlbz2_0.6.0-6_amd64.changes uploaded successfully to localhost along with the files: camlbz2_0.6.0-6.dsc camlbz2_0.6.0-6.diff.gz libbz2-ocaml-dev_0.6.0-6_amd64.deb libbz2-ocaml_0.6.0-6_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To

camlbz2_0.6.0-6_amd64.changes ACCEPTED into unstable

Accepted: camlbz2_0.6.0-6.diff.gz to main/c/camlbz2/camlbz2_0.6.0-6.diff.gz camlbz2_0.6.0-6.dsc to main/c/camlbz2/camlbz2_0.6.0-6.dsc libbz2-ocaml-dev_0.6.0-6_amd64.deb to main/c/camlbz2/libbz2-ocaml-dev_0.6.0-6_amd64.deb libbz2-ocaml_0.6.0-6_amd64.deb to

Processing of ocaml-data-notation_0.0.2-1_amd64.changes

ocaml-data-notation_0.0.2-1_amd64.changes uploaded successfully to localhost along with the files: ocaml-data-notation_0.0.2-1.dsc ocaml-data-notation_0.0.2.orig.tar.gz ocaml-data-notation_0.0.2-1.debian.tar.gz libodn-ocaml-dev_0.0.2-1_amd64.deb libodn-ocaml_0.0.2-1_amd64.deb Greetings,

Processing of ocaml-data-notation_0.0.2-2_amd64.changes

ocaml-data-notation_0.0.2-2_amd64.changes uploaded successfully to localhost along with the files: ocaml-data-notation_0.0.2-2.dsc ocaml-data-notation_0.0.2-2.debian.tar.gz libodn-ocaml-dev_0.0.2-2_amd64.deb libodn-ocaml_0.0.2-2_amd64.deb Greetings, Your Debian queue daemon

ocaml-data-notation_0.0.2-2_amd64.changes is NEW

(new) libodn-ocaml-dev_0.0.2-2_amd64.deb optional ocaml Store data using OCaml notation This library uses type-conv to dump OCaml data structure using OCaml data notation. This kind of data dumping helps to write OCaml code generator, like OASIS. (new) libodn-ocaml_0.0.2-2_amd64.deb optional

Processing of ocaml-expect_0.0.2-1_amd64.changes

ocaml-expect_0.0.2-1_amd64.changes uploaded successfully to localhost along with the files: ocaml-expect_0.0.2-1.dsc ocaml-expect_0.0.2.orig.tar.gz ocaml-expect_0.0.2-1.debian.tar.gz libexpect-ocaml-dev_0.0.2-1_amd64.deb libexpect-ocaml_0.0.2-1_amd64.deb Greetings, Your Debian

ocaml-expect_0.0.2-1_amd64.changes is NEW

(new) libexpect-ocaml-dev_0.0.2-1_amd64.deb optional ocaml Expect-like framework This is a simple implementation of `expect` to help building unitary testing of interactive program. . It helps to receive question and send answers from an interactive process. You can match the question using a

Processing of ocaml-extunix_0.0.1-1_amd64.changes

ocaml-extunix_0.0.1-1_amd64.changes uploaded successfully to localhost along with the files: ocaml-extunix_0.0.1-1.dsc ocaml-extunix_0.0.1.orig.tar.gz ocaml-extunix_0.0.1-1.debian.tar.gz libextunix-ocaml-dev_0.0.1-1_amd64.deb libextunix-ocaml_0.0.1-1_amd64.deb Greetings, Your

ocaml-extunix_0.0.1-1_amd64.changes is NEW

(new) libextunix-ocaml-dev_0.0.1-1_amd64.deb optional ocaml Extended functions for OCaml Unix module Thin bindings to various low-level system APIs (often non-portable) which are not covered by Unix module. . Example functions: * uname * statvfs * fsync * fadvise * fallocate *

Processing of coccinelle_0.2.4.deb-1_amd64.changes

coccinelle_0.2.4.deb-1_amd64.changes uploaded successfully to localhost along with the files: coccinelle_0.2.4.deb-1.dsc coccinelle_0.2.4.deb.orig.tar.gz coccinelle_0.2.4.deb-1.debian.tar.gz coccinelle_0.2.4.deb-1_amd64.deb Greetings, Your Debian queue daemon (running on host

coccinelle_0.2.4.deb-1_amd64.changes ACCEPTED into experimental

Accepted: coccinelle_0.2.4.deb-1.debian.tar.gz to main/c/coccinelle/coccinelle_0.2.4.deb-1.debian.tar.gz coccinelle_0.2.4.deb-1.dsc to main/c/coccinelle/coccinelle_0.2.4.deb-1.dsc coccinelle_0.2.4.deb-1_amd64.deb to main/c/coccinelle/coccinelle_0.2.4.deb-1_amd64.deb

Processing of coccinelle_0.2.4.deb-2_amd64.changes

coccinelle_0.2.4.deb-2_amd64.changes uploaded successfully to localhost along with the files: coccinelle_0.2.4.deb-2.dsc coccinelle_0.2.4.deb-2.debian.tar.gz coccinelle_0.2.4.deb-2_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To

coccinelle_0.2.4.deb-2_amd64.changes ACCEPTED into experimental

Accepted: coccinelle_0.2.4.deb-2.debian.tar.gz to main/c/coccinelle/coccinelle_0.2.4.deb-2.debian.tar.gz coccinelle_0.2.4.deb-2.dsc to main/c/coccinelle/coccinelle_0.2.4.deb-2.dsc coccinelle_0.2.4.deb-2_amd64.deb to main/c/coccinelle/coccinelle_0.2.4.deb-2_amd64.deb Override entries for

Processing of aac-tactics_0.1-r13244-1_amd64.changes

aac-tactics_0.1-r13244-1_amd64.changes uploaded successfully to localhost along with the files: aac-tactics_0.1-r13244-1.dsc aac-tactics_0.1-r13244.orig.tar.gz aac-tactics_0.1-r13244-1.debian.tar.gz libaac-tactics-ocaml_0.1-r13244-1_amd64.deb

aac-tactics_0.1-r13244-1_amd64.changes is NEW

(new) aac-tactics_0.1-r13244-1.debian.tar.gz optional math (new) aac-tactics_0.1-r13244-1.dsc optional math (new) aac-tactics_0.1-r13244.orig.tar.gz optional math (new) libaac-tactics-coq_0.1-r13244-1_all.deb optional math Coq tactics for reasoning modulo AC (theories) This Coq plugin provides

Processing of xstrp4_1.8-1_amd64.changes

xstrp4_1.8-1_amd64.changes uploaded successfully to localhost along with the files: xstrp4_1.8-1.dsc xstrp4_1.8.orig.tar.gz xstrp4_1.8-1.debian.tar.gz libxstrp4-camlp4-dev_1.8-1_all.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To UNSUBSCRIBE,

Processing of ocaml-inifiles_1.2-1_amd64.changes

ocaml-inifiles_1.2-1_amd64.changes uploaded successfully to localhost along with the files: ocaml-inifiles_1.2-1.dsc ocaml-inifiles_1.2.orig.tar.gz ocaml-inifiles_1.2-1.debian.tar.gz libinifiles-ocaml-dev_1.2-1_amd64.deb libinifiles-ocaml_1.2-1_amd64.deb Greetings, Your Debian

tophide_1.0.0-1_amd64.changes is NEW

(new) libtophide-ocaml-dev_1.0.0-1_all.deb optional ocaml hide values that start with '_' in OCaml toplevel This library hides toplevel values whose name starts with an underscore. This is useful for some Camlp4 syntax extensions that produce lots of global identifiers that should remain

Processing of camlmix_1.3.0-1_amd64.changes

camlmix_1.3.0-1_amd64.changes uploaded successfully to localhost along with the files: camlmix_1.3.0-1.dsc camlmix_1.3.0.orig.tar.gz camlmix_1.3.0-1.debian.tar.gz camlmix_1.3.0-1_all.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To UNSUBSCRIBE,

camlmix_1.3.0-1_amd64.changes is NEW

(new) camlmix_1.3.0-1.debian.tar.gz optional ocaml (new) camlmix_1.3.0-1.dsc optional ocaml (new) camlmix_1.3.0-1_all.deb optional ocaml preprocessor which converts text with embedded OCaml Camlmix is a generic preprocessor which converts text with embedded OCaml into an OCaml program with

Processing of mikmatch_1.0.2-1_amd64.changes

mikmatch_1.0.2-1_amd64.changes uploaded successfully to localhost along with the files: mikmatch_1.0.2-1.dsc mikmatch_1.0.2.orig.tar.gz mikmatch_1.0.2-1.debian.tar.gz libmikmatch-ocaml-dev_1.0.2-1_amd64.deb libmikmatch-ocaml_1.0.2-1_amd64.deb Greetings, Your Debian queue daemon

mikmatch_1.0.2-1_amd64.changes is NEW

(new) libmikmatch-ocaml-dev_1.0.2-1_amd64.deb optional ocaml camlp4 extension for pattern matching with regexps Mikmatch provides enhanced pattern matching with regexps for OCaml. . The goal of Mikmatch is to make text-oriented programs even easier to write, read and run without losing the

Processing of caml2html_1.4.1-1_amd64.changes

caml2html_1.4.1-1_amd64.changes uploaded successfully to localhost along with the files: caml2html_1.4.1-1.dsc caml2html_1.4.1.orig.tar.gz caml2html_1.4.1-1.debian.tar.gz caml2html_1.4.1-1_all.deb libcaml2html-ocaml-dev_1.4.1-1_amd64.deb libcaml2html-ocaml_1.4.1-1_amd64.deb Greetings,

caml2html_1.4.1-1_amd64.changes is NEW

(new) caml2html_1.4.1-1.debian.tar.gz optional ocaml (new) caml2html_1.4.1-1.dsc optional ocaml (new) caml2html_1.4.1-1_all.deb optional ocaml HTML and LaTeX colored syntax from OCaml source files Caml2html provides a command-line executable which converts a set of OCaml source files into a HTML

Processing of easy-format_1.0.0-1_amd64.changes

easy-format_1.0.0-1_amd64.changes uploaded successfully to localhost along with the files: easy-format_1.0.0-1.dsc easy-format_1.0.0.orig.tar.gz easy-format_1.0.0-1.debian.tar.gz libeasy-format-ocaml-dev_1.0.0-1_amd64.deb libeasy-format-ocaml_1.0.0-1_amd64.deb Greetings, Your

easy-format_1.0.0-1_amd64.changes is NEW

(new) easy-format_1.0.0-1.debian.tar.gz optional ocaml (new) easy-format_1.0.0-1.dsc optional ocaml (new) easy-format_1.0.0.orig.tar.gz optional ocaml (new) libeasy-format-ocaml-dev_1.0.0-1_amd64.deb optional ocaml text generation with indentation made easy(ier) for OCaml This module offers a

Processing of ocaml-atd_0.9.2-1_amd64.changes

ocaml-atd_0.9.2-1_amd64.changes uploaded successfully to localhost along with the files: ocaml-atd_0.9.2-1.dsc ocaml-atd_0.9.2.orig.tar.gz ocaml-atd_0.9.2-1.debian.tar.gz libatd-ocaml-dev_0.9.2-1_amd64.deb libatd-ocaml_0.9.2-1_amd64.deb Greetings, Your Debian queue daemon

ocaml-atd_0.9.2-1_amd64.changes is NEW

(new) libatd-ocaml-dev_0.9.2-1_amd64.deb optional ocaml syntax for cross-language data types in OCaml ATD stands for Adjustable Type Definitions. It is a type definition language designed to accommodate a variety of programming languages and data formats by the means of target-specific

Processing of ocaml-melt_1.3.0-1_amd64.changes

ocaml-melt_1.3.0-1_amd64.changes uploaded successfully to localhost along with the files: ocaml-melt_1.3.0-1.dsc ocaml-melt_1.3.0.orig.tar.gz ocaml-melt_1.3.0-1.debian.tar.gz ocaml-melt_1.3.0-1_amd64.deb libmelt-ocaml-dev_1.3.0-1_amd64.deb Greetings, Your Debian queue daemon

ocaml-melt_1.3.0-1_amd64.changes is NEW

(new) libmelt-ocaml-dev_1.3.0-1_amd64.deb optional ocaml LaTeX with OCaml (libraries) Melt is a set of libraries and tools which allows you to program LaTeX documents using OCaml. This combines the typesetting power of LaTeX with the programming power of OCaml. It can be combined with Mlpost

Processing of dose3_2.9.0-1_amd64.changes

dose3_2.9.0-1_amd64.changes uploaded successfully to ftp-master.debian.org along with the files: dose3_2.9.0-1.dsc dose3_2.9.0.orig.tar.gz dose3_2.9.0-1.debian.tar.gz libdose3-ocaml-dev_2.9.0-1_amd64.deb dose3-distcheck_2.9.0-1_amd64.deb dose3-builddebcheck_2.9.0-1_amd64.deb

Processing of dose3_2.9.0-1_amd64.changes

dose3_2.9.0-1_amd64.changes uploaded successfully to localhost along with the files: dose3_2.9.0-1.dsc dose3_2.9.0.orig.tar.gz dose3_2.9.0-1.debian.tar.gz libdose3-ocaml-dev_2.9.0-1_amd64.deb dose3-distcheck_2.9.0-1_amd64.deb dose3-builddebcheck_2.9.0-1_amd64.deb

dose3_2.9.0-1_amd64.changes is NEW

ceve_2.9.0-1_amd64.deb to main/d/dose3/ceve_2.9.0-1_amd64.deb (new) dose3-builddebcheck_2.9.0-1_amd64.deb optional devel Checks whether build-dependencies can be satisfied This software checks, given a collection of source package stanzas and a collection of binary package stanzas of debian

Processing of cppo_0.9.0-1_amd64.changes

cppo_0.9.0-1_amd64.changes uploaded successfully to localhost along with the files: cppo_0.9.0-1.dsc cppo_0.9.0.orig.tar.gz cppo_0.9.0-1.debian.tar.gz cppo_0.9.0-1_all.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To UNSUBSCRIBE, email to

cppo_0.9.0-1_amd64.changes is NEW

(new) cppo_0.9.0-1.debian.tar.gz optional ocaml (new) cppo_0.9.0-1.dsc optional ocaml (new) cppo_0.9.0-1_all.deb optional ocaml cpp for OCaml Cppo is an OCaml-friendly implementation of cpp, the C preprocessor. It can replace camlp4 for preprocessing OCaml files, using cpp style and syntax. It

Processing of ocaml-atd_0.9.2-2_amd64.changes

ocaml-atd_0.9.2-2_amd64.changes uploaded successfully to localhost along with the files: ocaml-atd_0.9.2-2.dsc ocaml-atd_0.9.2-2.debian.tar.gz libatd-ocaml-dev_0.9.2-2_amd64.deb libatd-ocaml_0.9.2-2_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org)

ocaml-atd_0.9.2-2_amd64.changes is NEW

(new) libatd-ocaml-dev_0.9.2-2_amd64.deb optional ocaml syntax for cross-language data types in OCaml ATD stands for Adjustable Type Definitions. It is a type definition language designed to accommodate a variety of programming languages and data formats by the means of target-specific

Processing of biniou_0.9.1-1_amd64.changes

biniou_0.9.1-1_amd64.changes uploaded successfully to localhost along with the files: biniou_0.9.1-1.dsc biniou_0.9.1.orig.tar.gz biniou_0.9.1-1.debian.tar.gz libbiniou-ocaml-dev_0.9.1-1_amd64.deb libbiniou-ocaml_0.9.1-1_amd64.deb Greetings, Your Debian queue daemon (running on

Processing of yojson_0.8.1-1_amd64.changes

yojson_0.8.1-1_amd64.changes uploaded successfully to localhost along with the files: yojson_0.8.1-1.dsc yojson_0.8.1.orig.tar.gz yojson_0.8.1-1.debian.tar.gz libyojson-ocaml-dev_0.8.1-1_amd64.deb libyojson-ocaml_0.8.1-1_amd64.deb Greetings, Your Debian queue daemon (running on

biniou_0.9.1-1_amd64.changes is NEW

(new) biniou_0.9.1-1.debian.tar.gz optional ocaml (new) biniou_0.9.1-1.dsc optional ocaml (new) biniou_0.9.1.orig.tar.gz optional ocaml (new) libbiniou-ocaml-dev_0.9.1-1_amd64.deb optional ocaml flexible binary data format in OCaml Biniou is a binary data format designed for speed, safety, ease

yojson_0.8.1-1_amd64.changes is NEW

(new) libyojson-ocaml-dev_0.8.1-1_amd64.deb optional ocaml JSON library for OCaml Yojson is an optimized parsing and printing library for the JSON format. It addresses a few shortcomings of json-wheel including 3x speed improvement, polymorphic variants and optional syntax for tuples and

atdgen_1.0.1-1_amd64.changes is NEW

(new) atdgen_1.0.1-1.debian.tar.gz optional ocaml (new) atdgen_1.0.1-1.dsc optional ocaml (new) atdgen_1.0.1.orig.tar.gz optional ocaml (new) libatdgen-ocaml-dev_1.0.1-1_amd64.deb optional ocaml code generator for biniou and JSON serialization in OCaml Atdgen is a command-line program that takes

Processing of camltemplate_1.0.2-1_amd64.changes

camltemplate_1.0.2-1_amd64.changes uploaded successfully to localhost along with the files: camltemplate_1.0.2-1.dsc camltemplate_1.0.2.orig.tar.gz camltemplate_1.0.2-1.debian.tar.gz libcamltemplate-ocaml-dev_1.0.2-1_amd64.deb libcamltemplate-ocaml_1.0.2-1_amd64.deb Greetings,

camltemplate_1.0.2-1_amd64.changes is NEW

(new) camltemplate_1.0.2-1.debian.tar.gz optional ocaml (new) camltemplate_1.0.2-1.dsc optional ocaml (new) camltemplate_1.0.2.orig.tar.gz optional ocaml (new) libcamltemplate-ocaml-dev_1.0.2-1_amd64.deb optional ocaml configurable library for generating text from templates in OCaml CamlTemplate

Processing of ocaml-deriving_0.1.1a-1_amd64.changes

ocaml-deriving_0.1.1a-1_amd64.changes uploaded successfully to localhost along with the files: ocaml-deriving_0.1.1a-1.dsc ocaml-deriving_0.1.1a.orig.tar.gz ocaml-deriving_0.1.1a-1.debian.tar.gz libderiving-ocaml-dev_0.1.1a-1_amd64.deb libderiving-ocaml_0.1.1a-1_amd64.deb Greetings,

Processing of ocaml-sqlexpr_0.2.3-1_amd64.changes

ocaml-sqlexpr_0.2.3-1_amd64.changes uploaded successfully to localhost along with the files: ocaml-sqlexpr_0.2.3-1.dsc ocaml-sqlexpr_0.2.3.orig.tar.gz ocaml-sqlexpr_0.2.3-1.debian.tar.gz libsqlexpr-ocaml-dev_0.2.3-1_amd64.deb libsqlexpr-ocaml_0.2.3-1_amd64.deb Greetings, Your

ocaml-sqlexpr_0.2.3-1_amd64.changes is NEW

(new) libsqlexpr-ocaml-dev_0.2.3-1_amd64.deb optional ocaml Type-safe, convenient SQLite database access. Minimalistic library and syntax extension for type-safe, convenient execution of SQL statements. Currently compatible with Sqlite3. . Sqlexpr features: * automated prepared statement

Processing of coq_8.3.pl1+dfsg-1_amd64.changes

coq_8.3.pl1+dfsg-1_amd64.changes uploaded successfully to localhost along with the files: coq_8.3.pl1+dfsg-1.dsc coq_8.3.pl1+dfsg.orig.tar.gz coq_8.3.pl1+dfsg-1.debian.tar.gz coq_8.3.pl1+dfsg-1_amd64.deb coqide_8.3.pl1+dfsg-1_amd64.deb coq-theories_8.3.pl1+dfsg-1_all.deb

coq_8.3.pl1+dfsg-1_amd64.changes ACCEPTED into experimental

Accepted: coq-theories_8.3.pl1+dfsg-1_all.deb to main/c/coq/coq-theories_8.3.pl1+dfsg-1_all.deb coq_8.3.pl1+dfsg-1.debian.tar.gz to main/c/coq/coq_8.3.pl1+dfsg-1.debian.tar.gz coq_8.3.pl1+dfsg-1.dsc to main/c/coq/coq_8.3.pl1+dfsg-1.dsc coq_8.3.pl1+dfsg-1_amd64.deb to

Processing of ocaml-text_0.4-1_amd64.changes

ocaml-text_0.4-1_amd64.changes uploaded successfully to localhost along with the files: ocaml-text_0.4-1.dsc ocaml-text_0.4.orig.tar.gz ocaml-text_0.4-1.debian.tar.gz libtext-ocaml-dev_0.4-1_amd64.deb libtext-ocaml_0.4-1_amd64.deb Greetings, Your Debian queue daemon (running on

ocaml-text_0.4-1_amd64.changes ACCEPTED into experimental

Accepted: libtext-ocaml-dev_0.4-1_amd64.deb to main/o/ocaml-text/libtext-ocaml-dev_0.4-1_amd64.deb libtext-ocaml_0.4-1_amd64.deb to main/o/ocaml-text/libtext-ocaml_0.4-1_amd64.deb ocaml-text_0.4-1.debian.tar.gz to main/o/ocaml-text/ocaml-text_0.4-1.debian.tar.gz ocaml-text_0.4-1.dsc to

Processing of bibtex2html_1.96-2_amd64.changes

bibtex2html_1.96-2_amd64.changes uploaded successfully to ftp-master.debian.org along with the files: bibtex2html_1.96-2.dsc bibtex2html_1.96-2.debian.tar.gz bibtex2html_1.96-2_all.deb Greetings, Your Debian queue daemon (running on host kassia.debian.org) -- To UNSUBSCRIBE,

Processing of bibtex2html_1.96-2_amd64.changes

bibtex2html_1.96-2_amd64.changes uploaded successfully to localhost along with the files: bibtex2html_1.96-2.dsc bibtex2html_1.96-2.debian.tar.gz bibtex2html_1.96-2_all.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To UNSUBSCRIBE, email to

bibtex2html_1.96-2_amd64.changes ACCEPTED into experimental

Accepted: bibtex2html_1.96-2.debian.tar.gz to main/b/bibtex2html/bibtex2html_1.96-2.debian.tar.gz bibtex2html_1.96-2.dsc to main/b/bibtex2html/bibtex2html_1.96-2.dsc bibtex2html_1.96-2_all.deb to main/b/bibtex2html/bibtex2html_1.96-2_all.deb Override entries for your package:

ocamlify_0.0.1-1_amd64.changes ACCEPTED into unstable

Accepted: ocamlify_0.0.1-1.debian.tar.gz to main/o/ocamlify/ocamlify_0.0.1-1.debian.tar.gz ocamlify_0.0.1-1.dsc to main/o/ocamlify/ocamlify_0.0.1-1.dsc ocamlify_0.0.1-1_all.deb to main/o/ocamlify/ocamlify_0.0.1-1_all.deb ocamlify_0.0.1.orig.tar.gz to

Processing of ounit_1.1.0-1_amd64.changes

ounit_1.1.0-1_amd64.changes uploaded successfully to localhost along with the files: ounit_1.1.0-1.dsc ounit_1.1.0.orig.tar.gz ounit_1.1.0-1.debian.tar.gz libounit-ocaml-dev_1.1.0-1_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To

ounit_1.1.0-1_amd64.changes ACCEPTED into experimental

Accepted: libounit-ocaml-dev_1.1.0-1_amd64.deb to main/o/ounit/libounit-ocaml-dev_1.1.0-1_amd64.deb ounit_1.1.0-1.debian.tar.gz to main/o/ounit/ounit_1.1.0-1.debian.tar.gz ounit_1.1.0-1.dsc to main/o/ounit/ounit_1.1.0-1.dsc ounit_1.1.0.orig.tar.gz to main/o/ounit/ounit_1.1.0.orig.tar.gz

Processing of ounit_1.1.0-2_amd64.changes

ounit_1.1.0-2_amd64.changes uploaded successfully to localhost along with the files: ounit_1.1.0-2.dsc ounit_1.1.0-2.debian.tar.gz libounit-ocaml-dev_1.1.0-2_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org) -- To UNSUBSCRIBE, email to

ounit_1.1.0-2_amd64.changes ACCEPTED into experimental

Accepted: libounit-ocaml-dev_1.1.0-2_amd64.deb to main/o/ounit/libounit-ocaml-dev_1.1.0-2_amd64.deb ounit_1.1.0-2.debian.tar.gz to main/o/ounit/ounit_1.1.0-2.debian.tar.gz ounit_1.1.0-2.dsc to main/o/ounit/ounit_1.1.0-2.dsc Override entries for your package:

Processing of why_2.26+dfsg-3_amd64.changes

why_2.26+dfsg-3_amd64.changes uploaded successfully to localhost along with the files: why_2.26+dfsg-3.dsc why_2.26+dfsg-3.debian.tar.gz why_2.26+dfsg-3_amd64.deb why-examples_2.26+dfsg-3_all.deb libwhy-coq_2.26+dfsg-3_all.deb Greetings, Your Debian queue daemon (running on

why_2.26+dfsg-3_amd64.changes ACCEPTED into unstable

Accepted: libwhy-coq_2.26+dfsg-3_all.deb to main/w/why/libwhy-coq_2.26+dfsg-3_all.deb why-examples_2.26+dfsg-3_all.deb to main/w/why/why-examples_2.26+dfsg-3_all.deb why_2.26+dfsg-3.debian.tar.gz to main/w/why/why_2.26+dfsg-3.debian.tar.gz why_2.26+dfsg-3.dsc to

Processing of js-of-ocaml_1.0-1_amd64.changes

js-of-ocaml_1.0-1_amd64.changes uploaded successfully to localhost along with the files: js-of-ocaml_1.0-1.dsc js-of-ocaml_1.0.orig.tar.gz js-of-ocaml_1.0-1.debian.tar.gz libjs-of-ocaml-dev_1.0-1_amd64.deb libjs-of-ocaml-doc_1.0-1_all.deb Greetings, Your Debian queue daemon

js-of-ocaml_1.0-1_amd64.changes is NEW

(new) js-of-ocaml_1.0-1.debian.tar.gz optional ocaml (new) js-of-ocaml_1.0-1.dsc optional ocaml (new) js-of-ocaml_1.0.orig.tar.gz optional ocaml (new) libjs-of-ocaml-dev_1.0-1_amd64.deb optional ocaml OCaml bytecode to JavaScript compiler Js_of_ocaml is a compiler of OCaml bytecode to JavaScript.

ocaml-data-notation_0.0.2-1_amd64.changes ACCEPTED into unstable

Accepted: libodn-ocaml-dev_0.0.2-1_amd64.deb to main/o/ocaml-data-notation/libodn-ocaml-dev_0.0.2-1_amd64.deb libodn-ocaml_0.0.2-1_amd64.deb to main/o/ocaml-data-notation/libodn-ocaml_0.0.2-1_amd64.deb ocaml-data-notation_0.0.2-1.debian.tar.gz to

ocaml-data-notation_0.0.2-2_amd64.changes ACCEPTED into unstable

Accepted: libodn-ocaml-dev_0.0.2-2_amd64.deb to main/o/ocaml-data-notation/libodn-ocaml-dev_0.0.2-2_amd64.deb libodn-ocaml_0.0.2-2_amd64.deb to main/o/ocaml-data-notation/libodn-ocaml_0.0.2-2_amd64.deb ocaml-data-notation_0.0.2-2.debian.tar.gz to

  1   2   3   4   5   6   7   8   9   10   >