Processing of coq-interval_4.11.0-1_source.changes

coq-interval_4.11.0-1_source.changes uploaded successfully to localhost along with the files: coq-interval_4.11.0-1.dsc coq-interval_4.11.0.orig.tar.bz2 coq-interval_4.11.0-1.debian.tar.xz coq-interval_4.11.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host

coq-interval_4.11.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 08 Jun 2024 10:13:48 +0200 Source: coq-interval Architecture: source Version: 4.11.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of headache_1.08-2_source.changes

headache_1.08-2_source.changes uploaded successfully to localhost along with the files: headache_1.08-2.dsc headache_1.08-2.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

headache_1.08-2_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 08 Jun 2024 07:58:47 +0200 Source: headache Architecture: source Version: 1.08-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

Processing of obus_1.2.5-1_source.changes

obus_1.2.5-1_source.changes uploaded successfully to localhost along with the files: obus_1.2.5-1.dsc obus_1.2.5.orig.tar.gz obus_1.2.5-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of ocaml-mad_0.5.3-1_source.changes

ocaml-mad_0.5.3-1_source.changes uploaded successfully to localhost along with the files: ocaml-mad_0.5.3-1.dsc ocaml-mad_0.5.3.orig.tar.gz ocaml-mad_0.5.3-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

Accepted ocaml-mad 0.5.3-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 07 Jun 2024 21:14:13 +0200 Source: ocaml-mad Architecture: source Version: 0.5.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-mad (0.5.3-1)

ocaml-mad_0.5.3-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 07 Jun 2024 21:14:13 +0200 Source: ocaml-mad Architecture: source Version: 0.5.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

obus_1.2.5-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 07 Jun 2024 21:20:52 +0200 Source: obus Architecture: source Version: 1.2.5-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

Processing of camlpdf_2.7-1_source.changes

camlpdf_2.7-1_source.changes uploaded successfully to localhost along with the files: camlpdf_2.7-1.dsc camlpdf_2.7.orig.tar.gz camlpdf_2.7-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

camlpdf_2.7-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 07 Jun 2024 18:20:47 +0200 Source: camlpdf Architecture: source Version: 2.7-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

ppx-deriving_6.0.2-2_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 07 Jun 2024 09:13:54 +0200 Source: ppx-deriving Architecture: source Version: 6.0.2-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of ppx-deriving_6.0.2-2_source.changes

ppx-deriving_6.0.2-2_source.changes uploaded successfully to localhost along with the files: ppx-deriving_6.0.2-2.dsc ppx-deriving_6.0.2-2.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of ocplib-simplex_0.5.1-2_source.changes

ocplib-simplex_0.5.1-2_source.changes uploaded successfully to localhost along with the files: ocplib-simplex_0.5.1-2.dsc ocplib-simplex_0.5.1-2.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ocplib-simplex_0.5.1-2_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 07 Jun 2024 09:06:39 +0200 Source: ocplib-simplex Architecture: source Version: 0.5.1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of elpi_1.18.2-2_source.changes

elpi_1.18.2-2_source.changes uploaded successfully to localhost along with the files: elpi_1.18.2-2.dsc elpi_1.18.2-2.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

elpi_1.18.2-2_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 07 Jun 2024 06:54:50 +0200 Source: elpi Architecture: source Version: 1.18.2-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

eliom_10.4.1-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 05 Jun 2024 07:05:05 +0200 Source: eliom Architecture: source Version: 10.4.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

Processing of eliom_10.4.1-1_source.changes

eliom_10.4.1-1_source.changes uploaded successfully to localhost along with the files: eliom_10.4.1-1.dsc eliom_10.4.1.orig.tar.gz eliom_10.4.1-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of ocaml-conduit_6.2.2-1_source.changes

ocaml-conduit_6.2.2-1_source.changes uploaded successfully to localhost along with the files: ocaml-conduit_6.2.2-1.dsc ocaml-conduit_6.2.2.orig.tar.bz2 ocaml-conduit_6.2.2-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ocaml-conduit_6.2.2-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 20:15:31 +0200 Source: ocaml-conduit Architecture: source Version: 6.2.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of utop_2.14.0-1_source.changes

utop_2.14.0-1_source.changes uploaded successfully to localhost along with the files: utop_2.14.0-1.dsc utop_2.14.0.orig.tar.bz2 utop_2.14.0-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

utop_2.14.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 13:30:22 +0200 Source: utop Architecture: source Version: 2.14.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

Processing of ocaml-mirage-crypto_0.11.3-1_source.changes

ocaml-mirage-crypto_0.11.3-1_source.changes uploaded successfully to localhost along with the files: ocaml-mirage-crypto_0.11.3-1.dsc ocaml-mirage-crypto_0.11.3.orig.tar.bz2 ocaml-mirage-crypto_0.11.3-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host

ocaml-mirage-crypto_0.11.3-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 13:19:38 +0200 Source: ocaml-mirage-crypto Architecture: source Version: 0.11.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

ocaml-visitors_20210608-6_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 09:32:32 +0200 Source: ocaml-visitors Architecture: source Version: 20210608-6 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of ocaml-visitors_20210608-6_source.changes

ocaml-visitors_20210608-6_source.changes uploaded successfully to localhost along with the files: ocaml-visitors_20210608-6.dsc ocaml-visitors_20210608-6.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of js-of-ocaml_5.8.2-1_source.changes

js-of-ocaml_5.8.2-1_source.changes uploaded successfully to localhost along with the files: js-of-ocaml_5.8.2-1.dsc js-of-ocaml_5.8.2.orig.tar.bz2 js-of-ocaml_5.8.2-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of ocaml-randomconv_0.2.0-1_source.changes

ocaml-randomconv_0.2.0-1_source.changes uploaded successfully to localhost along with the files: ocaml-randomconv_0.2.0-1.dsc ocaml-randomconv_0.2.0.orig.tar.bz2 ocaml-randomconv_0.2.0-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ocaml-randomconv_0.2.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 06:43:51 +0200 Source: ocaml-randomconv Architecture: source Version: 0.2.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of ocaml-ipaddr_5.6.0-1_source.changes

ocaml-ipaddr_5.6.0-1_source.changes uploaded successfully to localhost along with the files: ocaml-ipaddr_5.6.0-1.dsc ocaml-ipaddr_5.6.0.orig.tar.gz ocaml-ipaddr_5.6.0-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

js-of-ocaml_5.8.2-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 06:50:53 +0200 Source: js-of-ocaml Architecture: source Version: 5.8.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of headache_1.08-1_source.changes

headache_1.08-1_source.changes uploaded successfully to localhost along with the files: headache_1.08-1.dsc headache_1.08.orig.tar.gz headache_1.08-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of ppx-deriving-yojson_3.8.0-1_source.changes

ppx-deriving-yojson_3.8.0-1_source.changes uploaded successfully to localhost along with the files: ppx-deriving-yojson_3.8.0-1.dsc ppx-deriving-yojson_3.8.0.orig.tar.gz ppx-deriving-yojson_3.8.0-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of ocplib-simplex_0.5.1-1_source.changes

ocplib-simplex_0.5.1-1_source.changes uploaded successfully to localhost along with the files: ocplib-simplex_0.5.1-1.dsc ocplib-simplex_0.5.1.orig.tar.gz ocplib-simplex_0.5.1-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ocplib-simplex_0.5.1-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 06:26:17 +0200 Source: ocplib-simplex Architecture: source Version: 0.5.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

ppx-deriving-yojson_3.8.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 06:25:11 +0200 Source: ppx-deriving-yojson Architecture: source Version: 3.8.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

ocaml-ipaddr_5.6.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 06:38:43 +0200 Source: ocaml-ipaddr Architecture: source Version: 5.6.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

headache_1.08-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 06:32:51 +0200 Source: headache Architecture: source Version: 1.08-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

Processing of ocaml-batteries_3.8.0-1_source.changes

ocaml-batteries_3.8.0-1_source.changes uploaded successfully to localhost along with the files: ocaml-batteries_3.8.0-1.dsc ocaml-batteries_3.8.0.orig.tar.gz ocaml-batteries_3.8.0-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of ocaml-ctypes_0.22.0-1_source.changes

ocaml-ctypes_0.22.0-1_source.changes uploaded successfully to localhost along with the files: ocaml-ctypes_0.22.0-1.dsc ocaml-ctypes_0.22.0.orig.tar.gz ocaml-ctypes_0.22.0-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ocaml-ctypes_0.22.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 06:13:51 +0200 Source: ocaml-ctypes Architecture: source Version: 0.22.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

ocaml-batteries_3.8.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 06:12:23 +0200 Source: ocaml-batteries Architecture: source Version: 3.8.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of ocaml-odoc_2.4.2-1_source.changes

ocaml-odoc_2.4.2-1_source.changes uploaded successfully to localhost along with the files: ocaml-odoc_2.4.2-1.dsc ocaml-odoc_2.4.2.orig.tar.bz2 ocaml-odoc_2.4.2-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of tyxml_4.6.0-1_source.changes

tyxml_4.6.0-1_source.changes uploaded successfully to localhost along with the files: tyxml_4.6.0-1.dsc tyxml_4.6.0.orig.tar.gz tyxml_4.6.0-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

tyxml_4.6.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 05:57:45 +0200 Source: tyxml Architecture: source Version: 4.6.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

ocaml-odoc_2.4.2-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 06:03:24 +0200 Source: ocaml-odoc Architecture: source Version: 2.4.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of ppx-import_1.11.0-1_source.changes

ppx-import_1.11.0-1_source.changes uploaded successfully to localhost along with the files: ppx-import_1.11.0-1.dsc ppx-import_1.11.0.orig.tar.gz ppx-import_1.11.0-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ppx-import_1.11.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 04 Jun 2024 05:45:11 +0200 Source: ppx-import Architecture: source Version: 1.11.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of not-ocamlfind_0.13-1_source.changes

not-ocamlfind_0.13-1_source.changes uploaded successfully to localhost along with the files: not-ocamlfind_0.13-1.dsc not-ocamlfind_0.13.orig.tar.gz not-ocamlfind_0.13-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of ppx-deriving_6.0.2-1_source.changes

ppx-deriving_6.0.2-1_source.changes uploaded successfully to localhost along with the files: ppx-deriving_6.0.2-1.dsc ppx-deriving_6.0.2.orig.tar.gz ppx-deriving_6.0.2-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ppx-deriving_6.0.2-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 03 Jun 2024 14:45:24 +0200 Source: ppx-deriving Architecture: source Version: 6.0.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

not-ocamlfind_0.13-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 03 Jun 2024 14:52:19 +0200 Source: not-ocamlfind Architecture: source Version: 0.13-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of ppxlib_0.32.1-1_source.changes

ppxlib_0.32.1-1_source.changes uploaded successfully to localhost along with the files: ppxlib_0.32.1-1.dsc ppxlib_0.32.1.orig.tar.bz2 ppxlib_0.32.1-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ppxlib_0.32.1-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 03 Jun 2024 13:35:53 +0200 Source: ppxlib Architecture: source Version: 0.32.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

Processing of cmdliner_1.3.0-1_source.changes

cmdliner_1.3.0-1_source.changes uploaded successfully to localhost along with the files: cmdliner_1.3.0-1.dsc cmdliner_1.3.0.orig.tar.bz2 cmdliner_1.3.0-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

cmdliner_1.3.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 03 Jun 2024 10:27:11 +0200 Source: cmdliner Architecture: source Version: 1.3.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of ocaml-dune_3.15.3-1_source.changes

ocaml-dune_3.15.3-1_source.changes uploaded successfully to localhost along with the files: ocaml-dune_3.15.3-1.dsc ocaml-dune_3.15.3.orig.tar.bz2 ocaml-dune_3.15.3-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ocaml-dune_3.15.3-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 03 Jun 2024 09:10:27 +0200 Source: ocaml-dune Architecture: source Version: 3.15.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of opam_2.1.6-1_source.changes

opam_2.1.6-1_source.changes uploaded successfully to localhost along with the files: opam_2.1.6-1.dsc opam_2.1.6.orig.tar.gz opam_2.1.6-1.debian.tar.xz opam_2.1.6-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

opam_2.1.6-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sat, 01 Jun 2024 15:32:52 +0800 Source: opam Built-For-Profiles: noudeb Architecture: source Version: 2.1.6-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml

Processing of dh-coq_0.9_source.changes

dh-coq_0.9_source.changes uploaded successfully to localhost along with the files: dh-coq_0.9.dsc dh-coq_0.9.tar.xz dh-coq_0.9_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

dh-coq_0.9_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 01 Jun 2024 07:57:01 +0200 Source: dh-coq Architecture: source Version: 0.9 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

omd_1.3.2-1_amd64.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 28 May 2024 12:57:35 +0200 Source: omd Binary: libomd-ocaml libomd-ocaml-dbgsym libomd-ocaml-dev omd omd-dbgsym Architecture: source amd64 Version: 1.3.2-1 Distribution:

Processing of omd_1.3.2-1_amd64.changes

omd_1.3.2-1_amd64.changes uploaded successfully to localhost along with the files: omd_1.3.2-1.dsc omd_1.3.2.orig.tar.gz omd_1.3.2-1.debian.tar.xz libomd-ocaml-dbgsym_1.3.2-1_amd64.deb libomd-ocaml-dev_1.3.2-1_amd64.deb libomd-ocaml_1.3.2-1_amd64.deb omd-dbgsym_1.3.2-1_amd64.deb

omd_1.3.2-1_amd64.changes is NEW

binary:libomd-ocaml is NEW. binary:libomd-ocaml-dev is NEW. binary:omd is NEW. binary:libomd-ocaml-dev is NEW. binary:libomd-ocaml is NEW. binary:omd is NEW. source:omd is NEW. Your package has been put into the NEW queue, which requires manual action from the ftpteam to process. The upload was

Processing of omd_1.3.2-1_amd64.changes

omd_1.3.2-1_amd64.changes uploaded successfully to localhost along with the files: omd_1.3.2-1.dsc omd_1.3.2.orig.tar.gz omd_1.3.2-1.debian.tar.xz libomd-ocaml-dbgsym_1.3.2-1_amd64.deb libomd-ocaml-dev_1.3.2-1_amd64.deb libomd-ocaml_1.3.2-1_amd64.deb omd-dbgsym_1.3.2-1_amd64.deb

omd_1.3.2-1_amd64.changes is NEW

binary:libomd-ocaml is NEW. binary:libomd-ocaml-dev is NEW. binary:omd is NEW. binary:libomd-ocaml-dev is NEW. binary:libomd-ocaml is NEW. binary:omd is NEW. source:omd is NEW. Your package has been put into the NEW queue, which requires manual action from the ftpteam to process. The upload was

Processing of ocaml-linenoise_1.5.1-2_source.changes

ocaml-linenoise_1.5.1-2_source.changes uploaded successfully to localhost along with the files: ocaml-linenoise_1.5.1-2.dsc ocaml-linenoise_1.5.1-2.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)

ocaml-linenoise_1.5.1-2_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 28 May 2024 11:11:51 +0200 Source: ocaml-linenoise Architecture: source Version: 1.5.1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-serapi_8.19.0+0.19.3-2_amd64.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 16 May 2024 14:54:04 +0200 Source: coq-serapi Binary: coq-serapi coq-serapi-dbgsym libcoq-serapi-ocaml libcoq-serapi-ocaml-dbgsym libcoq-serapi-ocaml-dev Architecture:

coq-serapi_8.19.0+0.19.3-2_amd64.changes is NEW

binary:coq-serapi is NEW. binary:libcoq-serapi-ocaml is NEW. binary:libcoq-serapi-ocaml-dev is NEW. binary:coq-serapi is NEW. binary:libcoq-serapi-ocaml-dev is NEW. binary:libcoq-serapi-ocaml is NEW. source:coq-serapi is NEW. Your package has been put into the NEW queue, which requires manual

Processing of coq-serapi_8.19.0+0.19.3-2_amd64.changes

coq-serapi_8.19.0+0.19.3-2_amd64.changes uploaded successfully to localhost along with the files: coq-serapi_8.19.0+0.19.3-2.dsc coq-serapi_8.19.0+0.19.3.orig.tar.gz coq-serapi_8.19.0+0.19.3-2.debian.tar.xz coq-serapi-dbgsym_8.19.0+0.19.3-2_amd64.deb

Processing of coq-corn_8.19.0+ds1-1_source.changes

coq-corn_8.19.0+ds1-1_source.changes uploaded successfully to localhost along with the files: coq-corn_8.19.0+ds1-1.dsc coq-corn_8.19.0+ds1.orig.tar.gz coq-corn_8.19.0+ds1-1.debian.tar.xz coq-corn_8.19.0+ds1-1_source.buildinfo Greetings, Your Debian queue daemon (running on host

coq-corn_8.19.0+ds1-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 11 May 2024 17:45:21 +0200 Source: coq-corn Architecture: source Version: 8.19.0+ds1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

bisect-ppx_2.8.3+dfsg-1_amd64.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 12 Apr 2024 22:31:06 +0800 Source: bisect-ppx Binary: libbisect-ppx-ocaml libbisect-ppx-ocaml-dbgsym libbisect-ppx-ocaml-dev libbisect-ppx-ocaml-dev-dbgsym

Processing of coq-serapi_8.19.0+0.19.3-1_amd64.changes

coq-serapi_8.19.0+0.19.3-1_amd64.changes uploaded successfully to localhost along with the files: coq-serapi_8.19.0+0.19.3-1.dsc coq-serapi_8.19.0+0.19.3.orig.tar.gz coq-serapi_8.19.0+0.19.3-1.debian.tar.xz coq-serapi-dbgsym_8.19.0+0.19.3-1_amd64.deb

coq-serapi_8.19.0+0.19.3-1_amd64.changes is NEW

binary:coq-serapi is NEW. binary:libcoq-serapi-ocaml is NEW. binary:libcoq-serapi-ocaml-dev is NEW. binary:coq-serapi is NEW. binary:libcoq-serapi-ocaml-dev is NEW. binary:libcoq-serapi-ocaml is NEW. source:coq-serapi is NEW. Your package has been put into the NEW queue, which requires manual

coq-serapi_8.19.0+0.19.3-1_source.changes REJECTED

Source-only uploads to NEW are not allowed. binary:coq-serapi is NEW. binary:libcoq-serapi-ocaml is NEW. binary:libcoq-serapi-ocaml-dev is NEW. source:coq-serapi is NEW. === Please feel free to respond to this email if you don't understand why your files were rejected, or if you upload new

Processing of coq-serapi_8.19.0+0.19.3-1_source.changes

coq-serapi_8.19.0+0.19.3-1_source.changes uploaded successfully to localhost along with the files: coq-serapi_8.19.0+0.19.3-1.dsc coq-serapi_8.19.0+0.19.3.orig.tar.gz coq-serapi_8.19.0+0.19.3-1.debian.tar.xz coq-serapi_8.19.0+0.19.3-1_source.buildinfo Greetings, Your Debian queue

coqeal_2.0.2-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 30 Mar 2024 11:56:17 +0100 Source: coqeal Architecture: source Version: 2.0.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

Processing of coq-record-update_0.3.4-2_source.changes

coq-record-update_0.3.4-2_source.changes uploaded successfully to localhost along with the files: coq-record-update_0.3.4-2.dsc coq-record-update_0.3.4.orig.tar.gz coq-record-update_0.3.4-2.debian.tar.xz coq-record-update_0.3.4-2_source.buildinfo Greetings, Your Debian queue

Processing of coqeal_2.0.2-1_source.changes

/coqeal_2.0.2-1_source.changes is already present on target host: 1-day/coqeal_2.0.2-1_source.buildinfo Either you already uploaded it, or someone else came first. Job coqeal_2.0.2-1_source.changes removed. Greetings, Your Debian queue daemon (running on host usper.debian.org)

coq-record-update_0.3.4-2_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Apr 2024 15:46:08 +0200 Source: coq-record-update Architecture: source Version: 0.3.4-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Processing of mathcomp-analysis_1.1.0-2_source.changes

mathcomp-analysis_1.1.0-2_source.changes uploaded successfully to localhost along with the files: mathcomp-analysis_1.1.0-2.dsc mathcomp-analysis_1.1.0.orig.tar.gz mathcomp-analysis_1.1.0-2.debian.tar.xz mathcomp-analysis_1.1.0-2_source.buildinfo Greetings, Your Debian queue

mathcomp-analysis_1.1.0-2_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Apr 2024 16:05:03 +0200 Source: mathcomp-analysis Architecture: source Version: 1.1.0-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

mathcomp-real-closed_2.0.0-2_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 30 Mar 2024 11:54:28 +0100 Source: mathcomp-real-closed Architecture: source Version: 2.0.0-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

mathcomp-multinomials_2.2.0-2_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 30 Mar 2024 11:51:17 +0100 Source: mathcomp-multinomials Architecture: source Version: 2.2.0-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml

mathcomp-analysis_1.1.0-2_source.changes REJECTED

mathcomp-analysis_1.1.0-2.dsc: Refers to non-existing file 'mathcomp-analysis_1.1.0.orig.tar.gz' Perhaps you need to include the file in your upload? If the orig tarball is missing, the -sa flag for dpkg-buildpackage will be your friend. === Please feel free to respond to this email if

mathcomp-algebra-tactics_1.2.3-3_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Apr 2024 16:03:37 +0200 Source: mathcomp-algebra-tactics Architecture: source Version: 1.2.3-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml

Processing of coq-quickchick_2.0.3-2_source.changes

coq-quickchick_2.0.3-2_source.changes uploaded successfully to localhost along with the files: coq-quickchick_2.0.3-2.dsc coq-quickchick_2.0.3.orig.tar.gz coq-quickchick_2.0.3-2.debian.tar.xz coq-quickchick_2.0.3-2_source.buildinfo Greetings, Your Debian queue daemon (running on

Processing of coq-relation-algebra_1.7.10-3_source.changes

coq-relation-algebra_1.7.10-3_source.changes uploaded successfully to localhost along with the files: coq-relation-algebra_1.7.10-3.dsc coq-relation-algebra_1.7.10.orig.tar.gz coq-relation-algebra_1.7.10-3.debian.tar.xz coq-relation-algebra_1.7.10-3_source.buildinfo Greetings,

coq-relation-algebra_1.7.10-3_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Apr 2024 15:58:24 +0200 Source: coq-relation-algebra Architecture: source Version: 1.7.10-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml

coq-quickchick_2.0.3-2_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Apr 2024 16:00:35 +0200 Source: coq-quickchick Architecture: source Version: 2.0.3-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-quickchick_2.0.3-2_source.changes REJECTED

coq-quickchick_2.0.3-2.dsc: Refers to non-existing file 'coq-quickchick_2.0.3.orig.tar.gz' Perhaps you need to include the file in your upload? If the orig tarball is missing, the -sa flag for dpkg-buildpackage will be your friend. === Please feel free to respond to this email if you

mathcomp-zify_1.5.0+2.0+8.16-2_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 24 Feb 2024 12:16:34 +0100 Source: mathcomp-zify Architecture: source Version: 1.5.0+2.0+8.16-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml

mathcomp-finmap_2.1.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 25 Jan 2024 06:36:41 +0100 Source: mathcomp-finmap Architecture: source Version: 2.1.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

mathcomp-bigenough_1.0.1-13_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 24 Feb 2024 12:25:48 +0100 Source: mathcomp-bigenough Architecture: source Version: 1.0.1-13 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-relation-algebra_1.7.10-3_source.changes REJECTED

coq-relation-algebra_1.7.10-3.dsc: Refers to non-existing file 'coq-relation-algebra_1.7.10.orig.tar.gz' Perhaps you need to include the file in your upload? If the orig tarball is missing, the -sa flag for dpkg-buildpackage will be your friend. === Please feel free to respond to this

coquelicot_3.4.1-2_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 24 Feb 2024 12:22:54 +0100 Source: coquelicot Architecture: source Version: 3.4.1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

  1   2   3   4   5   6   7   8   9   10   >