Thank you for your contribution to Debian.
Accepted:
-----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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)