Processing of coq-hammer_1.3.2+8.19-1_source.changes

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

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)

Processing of coq-ext-lib_0.12.1-1_source.changes

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

Processing of elpi_1.18.2-1_source.changes

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

Processing of coq-bignums_9.0.0+coq8.19-1_source.changes

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

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-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 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 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-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 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-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-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-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 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 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-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

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-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-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

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)

Accepted coq 8.19.1+dfsg-1 (source) into unstable

-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 11 Mar 2024 15:46:22 +0100 Source: coq Architecture: source Version: 8.19.1+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Julien Puydt Changes: coq (8.19.1+dfsg-1) unstable;

coq_8.19.1+dfsg-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, 11 Mar 2024 15:46:22 +0100 Source: coq Architecture: source Version: 8.19.1+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

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 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 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)

elpi_1.18.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, 24 Feb 2024 09:49:22 +0100 Source: elpi Architecture: source Version: 1.18.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By:

coq-doc_8.19.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, 15 Apr 2024 09:08:18 +0200 Source: coq-doc Architecture: source Version: 8.19.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers

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 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-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 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-doc_8.19.1-1_source.changes

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

Processing of aac-tactics_8.19.0-1_source.changes

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

Processing of coq_8.19.1+dfsg-1_source.changes

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

Processing of coq-dpdgraph_1.0+8.19-1_source.changes

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

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-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-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-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-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-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 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 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 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)

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