Accepted coqprime 8.18-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coqprime 8.18-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 23 Dec 2023 11:20:16 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coqprime_8.18-1_source.changes
- Debian-source: coqprime
- Debian-suite: unstable
- Debian-version: 8.18-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=4ncX+48AGiT/V+b7xw/TurZ7sRneeGNVyA6pvegDojc=; b=BHsLWSVgUxaQQtyymf3HuaWM8R qP22eII/urMdUx/VHkLN5WU6W128R56GcrSmjm+u2Nv2f3gyWJqihNNMlyua/LZ8NuV/mnLIpjm2f RXXPcV1RG9GHojlhFfBh94eO1l8zVl8jT6T9FdI47LC8oUyNLmWzahOWDb8dnbyA9e9WBB0QFIMIL yWAdX2wdLjfAyTnwWfnZXVysfKZs/ze2pvJGhR0Wd/wW+PUiRV5hMiZ7MTORd3hTvjimObnhdGxyR fe0jf2cRc/kHvGT7wx6S6o9owzpyFy4DNE868JlITGgMMVkTSK2koPG1UkBqXVGTYbav2p3NuKa5E BJQ+Fgpw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rH03E-002QGR-QG@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 17:18:09 +0100
Source: coqprime
Architecture: source
Version: 8.18-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044267
Changes:
coqprime (8.18-1) unstable; urgency=medium
.
* Fix d/rules clean target (Closes: #1044267).
* New upstream release.
Checksums-Sha1:
805ade1ef43963ed1c957c727cde90d51e74ea02 2149 coqprime_8.18-1.dsc
a6716f56c28860d075782f010d880a5ea480ef73 996567 coqprime_8.18.orig.tar.gz
c725a5d8d1d90f86c240277355590070200e39b8 3288 coqprime_8.18-1.debian.tar.xz
c70ffd3b297f1eaea5fd08140c865b83e27b122c 8011 coqprime_8.18-1_source.buildinfo
Checksums-Sha256:
0abc6238bf84fd816ca05e844d88bb1b57837bbaab060ad161218dc799a8b51c 2149 coqprime_8.18-1.dsc
dcd1fa5cecc99ae62cfa1c9c742a444c1022560b6fec6b06989b9d7f2f87c6c2 996567 coqprime_8.18.orig.tar.gz
f948409831dda1bfdd2f4062f92546ec9ed26f6b41b0e38094cf16393444525d 3288 coqprime_8.18-1.debian.tar.xz
4417c4e3463d29e5cdb273579df24227dde81fb8c25ee2061b15346f9a730396 8011 coqprime_8.18-1_source.buildinfo
Files:
c8bf27aa06d17c650bbb483d8dd7e5aa 2149 ocaml optional coqprime_8.18-1.dsc
6847c2b5c6d95cc0d4afb52db99ae794 996567 ocaml optional coqprime_8.18.orig.tar.gz
f781eb384b89d1ed9c6d0763c3dbcdcc 3288 ocaml optional coqprime_8.18-1.debian.tar.xz
c71b284753d53ce8adfabc50e2f8d10d 8011 ocaml optional coqprime_8.18-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEZXISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVROQoQAJTtP9RNr9CdgKYtkb7F8NJLBn79qdq/
0hIHD3hSfFXDl23pp67dsSKIW+OY231/QTzux4uL2drYniBhqEkstXmRLTFDCMP2
2X5vsBnFrfbug1COH3lUpRBYVcyFM5LOpgiApRVdfZeeH0J4omPCoO9CWgBjlYTX
1PmIJhZzyi0ISPXIHMzBoWyI+MDriF5kMt1i6R+Pcsld9gTYj53iboOODhINWbjO
gFkkAjA8z5hA35QD5iHzpW0jVtbcDUo4RVCxO4jWFpBDiCyhWnZYERc2S3e4KBfS
JL9rAtXqx2UKYfiVdu05khTCcS/rQRh4rvOGjyFMNC+qzA/19E2EHbcPTECU7EgI
0YYul+YdRDnnC5pJ9pGHwUPrutvgmK0tfZ8OS892Eke+uf6l4K12AhVswBz3nq2r
fuQkbm0ZJ8OBLPCFaS7VEP0DlL+R7KnBOmUmb9TdsUQwUadRZtVofBEuihGWYHiR
rYxukIls4t3HZp2Rq/FfRdsA27vOWXfzKKBqsKJTNHDUOD3+gTXS09Z6DSV4Ggr1
G87Er6wldTfpYBqL0QCCqceb6hSc4K7hkEHBGLPFF7pzAB9+HGc8f/GXJ90iF+mT
fLIdNx9owupeIiW2IITYDhBjC+TO9RKVtVi9Qd744/hXcWbQg4+g8iNpru2d6h4L
V9ZyiYB6podt
=froE
-----END PGP SIGNATURE-----