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
Architecture:
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.build
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 acti
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 fil
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
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: J
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 daemo
/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)
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
Ch
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 daemo
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
Ch
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
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 Maintainers
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 you
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 Maintain
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 h
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,
You
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 Maintainers
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
Chang
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 don't
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 Maintainer
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
Chan
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.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 emai
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
Changed-B
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
Changed-
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
Changed
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
Changed-By
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
Changed-By
-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 (5.1
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:
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: 1.5.1-1
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:
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
Change
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
Changed
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
Ch
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
Changed-By:
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 Maintainers
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
Changed-By
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
Cha
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
Cha
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: Ju
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: Ju
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
Chang
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
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
Changed-
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:
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
Chan
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
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
Changed
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
Changed
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
Changed-By:
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
Chan
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
Change
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
Changed-B
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 Maintainers
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
Change
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 you
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
Chan
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)
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 usp
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 usper.d
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)
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 (running
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 (runnin
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)
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 host
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
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)
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 usper.debia
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)
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)
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)
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)
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)
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 usper.
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 usp
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 u
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)
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)
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 daemo
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 (ru
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)
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 h
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 (ru
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,
You
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)
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)
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 usp
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 usper.debian.org
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 u
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)
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)
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 usper.debia
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)
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)
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)
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 usper.
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 (running
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 q
701 - 800 of 8210 matches
Mail list logo