-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 21 Dec 2023 17:09:52 +0100 Source: coq-math-classes Architecture: source Version: 8.18.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1044914 Changes: coq-math-classes (8.18.0-1) unstable; urgency=medium . [ Debian Janitor ] * debian/copyright: use spaces rather than tabs to start continuation lines. * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse. * Set upstream metadata fields: Repository. . [ Julien Puydt ] * Fix d/rules clean target (Closes: #1044914). * New upstream release. Checksums-Sha1: 1a7086dfea45a90f1fa8b244d34dae49c32ad828 2164 coq-math-classes_8.18.0-1.dsc 13491b81242653877f105363119c77fbc737676f 169010 coq-math-classes_8.18.0.orig.tar.gz 08e352a3a13b0e88ab90c71c2dd084753b36df0e 2916 coq-math-classes_8.18.0-1.debian.tar.xz b85a7658ea767ca8bfc3ec1ec473e5a6db86915e 7901 coq-math-classes_8.18.0-1_source.buildinfo Checksums-Sha256: 896427d4f238189b760048fe38a577d575514ba64f72f2dd3ab70d6e5adee9c5 2164 coq-math-classes_8.18.0-1.dsc e8572538c7fdbcdf48ffff008230e4577134314118de317db3d2328a52374700 169010 coq-math-classes_8.18.0.orig.tar.gz c794302f26c42d3fdda4a113fa170e9afb0af98dcd78668a5c732e7e787d2a5c 2916 coq-math-classes_8.18.0-1.debian.tar.xz ce20571fa71086f874b8c10da54910ebf45c8c6aa5a3ca1288233561f0c223b0 7901 coq-math-classes_8.18.0-1_source.buildinfo Files: afaac9b61192c95b6b8cf82e6bbb8fe1 2164 ocaml optional coq-math-classes_8.18.0-1.dsc 1261b1747d528eab8341c6bbf84a84d7 169010 ocaml optional coq-math-classes_8.18.0.orig.tar.gz 3dcc06e5ebe940c6437d3234b35d4ef3 2916 ocaml optional coq-math-classes_8.18.0-1.debian.tar.xz 28793174f23c5350a1d3ec982e0aaf69 7901 ocaml optional coq-math-classes_8.18.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEY2QSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRRXIP/jDGpRDwTq1j64ZJaPbL8NO0B7kYMjyK 1FaXgRsIzfkxGv0diJ37w7rY5nq3/1YONTehj9CxuoJteOiiAmAnhpV6MLTq27cf 2Ft1//h9cdshPL2fK3Hgvg61d9E6zH63wKsadYpofVL1QzKSR95Xkd7grKrvrngr Nj0RFw9R+qVGhO1Aft5pZFCerf5K9iUI2RLRxnWQKRI0njh1smNWsvzl8GVj/y1D VLPDjCLmuUKVkCLiuoauvp1ubJ/98Oilar7MF4R4CCWNwmL6QefkPhcmoph/MN0o 4Nb7sH3wNW7cEKhhaZNxwQCfDA4dftou0DP+k6cmFqsRW1jVo0fQiP2RW7ud9x5P mrcbUZXdiwlAM+hLEoLrcES5t8envuwC1u0654IO17wk0dAIYlCs12jd06EXtPma StC0lrPuIhEibfo4mHInLL17klQwKGxuv9Ccb3ZQLcDCxcYwdNeMIApGTyWEAdhA +xunvmlEInrY+RCvvFv6bZYVbmCPGin59I36n/N7uhKAL/LQZ1+5jaxnoe95bL9k QR2V4efFa3Z0wINqTtehhWD1JWEAVhFu9ej+8cRBSekHNiigshQqtilkMHVjYN0R R17y10cb7sL4LXDNPL6gay0iQ5UW2yJr+EUPI6myuWJUJAmRDd7EmvdzcYlOHwaR BIcPlJ3WwnCy =ggE3 -----END PGP SIGNATURE-----
