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

coq-reglang_1.2.1-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:56:43 +0200 Source: coq-reglang Architecture: source Version: 1.2.1-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-deriving_0.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, 24 Feb 2024 12:10:06 +0100 Source: coq-deriving Architecture: source Version: 0.2.0-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

ssreflect_2.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: Thu, 25 Jan 2024 06:34:31 +0100 Source: ssreflect Architecture: source Version: 2.2.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-corn_8.19.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: Fri, 26 Apr 2024 14:52:01 +0200 Source: coq-corn Architecture: source Version: 8.19.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

Accepted approx 5.12-2.1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 22 Apr 2024 01:33:25 +0200 Source: approx Architecture: source Version: 5.12-2.1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Chris Hofstaedtler Closes: 1059178 Changes: approx

approx_5.12-2.1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 22 Apr 2024 01:33:25 +0200 Source: approx Architecture: source Version: 5.12-2.1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

ocaml-linenoise_1.5.1-1_amd64.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Wed, 24 Apr 2024 15:44:15 +0200 Source: ocaml-linenoise Binary: liblinenoise-ocaml liblinenoise-ocaml-dbgsym liblinenoise-ocaml-dev Architecture: source amd64 Version:

coqprime_8.19-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 09:59:45 +0100 Source: coqprime Architecture: source Version: 8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

coq-simple-io_1.9.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: Wed, 10 Apr 2024 09:25:19 +0200 Source: coq-simple-io Architecture: source Version: 1.9.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-mtac2_1.4+8.19-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, 26 Apr 2024 15:03:48 +0200 Source: coq-mtac2 Architecture: source Version: 1.4+8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-math-classes_8.19.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: Fri, 26 Apr 2024 14:47:46 +0200 Source: coq-math-classes Architecture: source Version: 8.19.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-iris_4.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: Fri, 12 Apr 2024 15:58:55 +0200 Source: coq-iris Architecture: source Version: 4.2.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-hierarchy-builder_1.7.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:33:39 +0100 Source: coq-hierarchy-builder Architecture: source Version: 1.7.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml

coq-gappa_1.5.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, 26 Apr 2024 15:53:48 +0200 Source: coq-gappa Architecture: source Version: 1.5.5-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-equations_1.3-8.19-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, 24 Feb 2024 09:58:15 +0100 Source: coq-equations Architecture: source Version: 1.3-8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

paramcoq_1.1.3+coq8.19-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, 24 Feb 2024 09:57:47 +0100 Source: paramcoq Architecture: source Version: 1.1.3+coq8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

ott_0.33+ds-3_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 22 Apr 2024 18:06:42 +0200 Source: ott Architecture: source Version: 0.33+ds-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

flocq_4.1.4-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, 24 Feb 2024 09:57:16 +0100 Source: flocq Architecture: source Version: 4.1.4-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

coq-unimath_20240331-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, 10 Apr 2024 09:29:16 +0200 Source: coq-unimath Architecture: source Version: 20240331-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-menhirlib_20231231+ds-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:42:54 +0200 Source: coq-menhirlib Architecture: source Version: 20231231+ds-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-libhyps_2.0.8-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:41:03 +0200 Source: coq-libhyps Architecture: source Version: 2.0.8-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-hott_8.19-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 09:44:04 +0100 Source: coq-hott Architecture: source Version: 8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

coq-hammer_1.3.2+8.19-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, 10 Apr 2024 08:56:56 +0200 Source: coq-hammer Architecture: source Version: 1.3.2+8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-bignums_9.0.0+coq8.19-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, 24 Feb 2024 09:51:53 +0100 Source: coq-bignums Architecture: source Version: 9.0.0+coq8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-ext-lib_0.12.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: Sat, 24 Feb 2024 09:56:43 +0100 Source: coq-ext-lib Architecture: source Version: 0.12.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

aac-tactics_8.19.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, 24 Feb 2024 09:51:21 +0100 Source: aac-tactics Architecture: source Version: 8.19.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-elpi_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: Sat, 30 Mar 2024 09:35:03 +0100 Source: coq-elpi Architecture: source Version: 2.1.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-dpdgraph_1.0+8.19-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 09:33:52 +0100 Source: coq-dpdgraph Architecture: source Version: 1.0+8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-unicoq_1.6-8.19-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, 26 Apr 2024 15:27:08 +0200 Source: coq-unicoq Architecture: source Version: 1.6-8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-stdpp_1.10.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: Fri, 12 Apr 2024 15:56:06 +0200 Source: coq-stdpp Architecture: source Version: 1.10.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-reduction-effects_0.1.5-4_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:50:51 +0200 Source: coq-reduction-effects Architecture: source Version: 0.1.5-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml

coq-interval_4.10.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, 30 Mar 2024 11:44:41 +0100 Source: coq-interval Architecture: source Version: 4.10.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

coq-record-update_0.3.4-2_source.changes REJECTED

coq-record-update_0.3.4-2.dsc: Refers to non-existing file 'coq-record-update_0.3.4.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

coq-extructures_0.4.0-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:02:24 +0200 Source: coq-extructures Architecture: source Version: 0.4.0-3 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-2.debian.tar.xz mathcomp-analysis_1.1.0-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of mathcomp-multinomials_2.2.0-2_source.changes

mathcomp-multinomials_2.2.0-2_source.changes uploaded successfully to localhost along with the files: mathcomp-multinomials_2.2.0-2.dsc mathcomp-multinomials_2.2.0-2.debian.tar.xz mathcomp-multinomials_2.2.0-2_source.buildinfo Greetings, Your Debian queue daemon (running on host

Processing of mathcomp-real-closed_2.0.0-2_source.changes

mathcomp-real-closed_2.0.0-2_source.changes uploaded successfully to localhost along with the files: mathcomp-real-closed_2.0.0-2.dsc mathcomp-real-closed_2.0.0-2.debian.tar.xz mathcomp-real-closed_2.0.0-2_source.buildinfo Greetings, Your Debian queue daemon (running on host

Processing of coqeal_2.0.2-1_source.changes

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

Processing of mathcomp-finmap_2.1.0-1_source.changes

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

Processing of mathcomp-algebra-tactics_1.2.3-3_source.changes

mathcomp-algebra-tactics_1.2.3-3_source.changes uploaded successfully to localhost along with the files: mathcomp-algebra-tactics_1.2.3-3.dsc mathcomp-algebra-tactics_1.2.3-3.debian.tar.xz mathcomp-algebra-tactics_1.2.3-3_source.buildinfo Greetings, Your Debian queue daemon

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-2.debian.tar.xz coq-quickchick_2.0.3-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of mathcomp-zify_1.5.0+2.0+8.16-2_source.changes

mathcomp-zify_1.5.0+2.0+8.16-2_source.changes uploaded successfully to localhost along with the files: mathcomp-zify_1.5.0+2.0+8.16-2.dsc mathcomp-zify_1.5.0+2.0+8.16-2.debian.tar.xz mathcomp-zify_1.5.0+2.0+8.16-2_source.buildinfo Greetings, Your Debian queue daemon (running on

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

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

Processing of coq-extructures_0.4.0-3_source.changes

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

Processing of mathcomp-bigenough_1.0.1-13_source.changes

mathcomp-bigenough_1.0.1-13_source.changes uploaded successfully to localhost along with the files: mathcomp-bigenough_1.0.1-13.dsc mathcomp-bigenough_1.0.1-13.debian.tar.xz mathcomp-bigenough_1.0.1-13_source.buildinfo Greetings, Your Debian queue daemon (running on host

Processing of coquelicot_3.4.1-2_source.changes

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

Processing of ssreflect_2.2.0-1_source.changes

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

Processing of coq-deriving_0.2.0-2_source.changes

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

Processing of coq-iris_4.2.0-1_source.changes

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

Processing of coqprime_8.19-1_source.changes

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

Processing of coq-mtac2_1.4+8.19-1_source.changes

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

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-3.debian.tar.xz coq-relation-algebra_1.7.10-3_source.buildinfo Greetings, Your Debian queue daemon (running on host

Processing of coq-simple-io_1.9.0-1_source.changes

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

Processing of coq-reglang_1.2.1-3_source.changes

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

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

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

Processing of coq-math-classes_8.19.0-1_source.changes

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

Processing of coq-equations_1.3-8.19-1_source.changes

coq-equations_1.3-8.19-1_source.changes uploaded successfully to localhost along with the files: coq-equations_1.3-8.19-1.dsc coq-equations_1.3-8.19.orig.tar.gz coq-equations_1.3-8.19-1.debian.tar.xz coq-equations_1.3-8.19-1_source.buildinfo Greetings, Your Debian queue daemon

Processing of ott_0.33+ds-3_source.changes

ott_0.33+ds-3_source.changes uploaded successfully to localhost along with the files: ott_0.33+ds-3.dsc ott_0.33+ds-3.debian.tar.xz ott_0.33+ds-3_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of coq-unimath_20240331-1_source.changes

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

Processing of paramcoq_1.1.3+coq8.19-1_source.changes

paramcoq_1.1.3+coq8.19-1_source.changes uploaded successfully to localhost along with the files: paramcoq_1.1.3+coq8.19-1.dsc paramcoq_1.1.3+coq8.19.orig.tar.gz paramcoq_1.1.3+coq8.19-1.debian.tar.xz paramcoq_1.1.3+coq8.19-1_source.buildinfo Greetings, Your Debian queue daemon

Processing of coq-hierarchy-builder_1.7.0-1_source.changes

coq-hierarchy-builder_1.7.0-1_source.changes uploaded successfully to localhost along with the files: coq-hierarchy-builder_1.7.0-1.dsc coq-hierarchy-builder_1.7.0.orig.tar.gz coq-hierarchy-builder_1.7.0-1.debian.tar.xz coq-hierarchy-builder_1.7.0-1_source.buildinfo Greetings,

Processing of coq-gappa_1.5.5-1_source.changes

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

Processing of flocq_4.1.4-1_source.changes

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

Processing of coq-reduction-effects_0.1.5-4_source.changes

coq-reduction-effects_0.1.5-4_source.changes uploaded successfully to localhost along with the files: coq-reduction-effects_0.1.5-4.dsc coq-reduction-effects_0.1.5-4.debian.tar.xz coq-reduction-effects_0.1.5-4_source.buildinfo Greetings, Your Debian queue daemon (running on host

Processing of coq-stdpp_1.10.0-1_source.changes

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

Processing of coq-unicoq_1.6-8.19-1_source.changes

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

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-2.debian.tar.xz coq-record-update_0.3.4-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)

Processing of coq-libhyps_2.0.8-3_source.changes

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

Processing of coq-menhirlib_20231231+ds-3_source.changes

coq-menhirlib_20231231+ds-3_source.changes uploaded successfully to localhost along with the files: coq-menhirlib_20231231+ds-3.dsc coq-menhirlib_20231231+ds-3.debian.tar.xz coq-menhirlib_20231231+ds-3_source.buildinfo Greetings, Your Debian queue daemon (running on host

Processing of coq-hott_8.19-1_source.changes

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

Processing of coq-elpi_2.1.0-1_source.changes

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

  1   2   3   4   5   6   7   8   9   10   >