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