-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Thu, 21 Dec 2023 16:37:29 +0100 Source: coq-unimath Architecture: source Version: 20231010-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1044146 Changes: coq-unimath (20231010-1) unstable; urgency=medium . * Fix d/rules clean target (Closes: #1044146) * New upstream release. Checksums-Sha1: 155be0835f7772fd92014ebf4e583a51e5052673 2109 coq-unimath_20231010-1.dsc cabad4e0221f097ebc3f667017bd7fa7242c4d81 2893033 coq-unimath_20231010.orig.tar.gz 93bd9c269cbea0bb5dd8398145a42dae09e4539b 2088 coq-unimath_20231010-1.debian.tar.xz 7da30af6ede87e97e687fe48d5b3079b2247a056 7852 coq-unimath_20231010-1_source.buildinfo Checksums-Sha256: 3c87083284e448de7723bbc20fa28387b6a2d4b4de6a24092558ee8c7547ccde 2109 coq-unimath_20231010-1.dsc c722471ead589f971a561cfc2f836d8e7139710797b15350edc867f9c037853b 2893033 coq-unimath_20231010.orig.tar.gz dd3a0d8e22a121761e8967c2bdaa92553bc2fda8ee8d6d54f1a2f7d0d147bc9f 2088 coq-unimath_20231010-1.debian.tar.xz a6bdeac383d830c8ed026945e37503873b45533ac5fe62ddadda18650a63647b 7852 coq-unimath_20231010-1_source.buildinfo Files: 5cbc38eac51bc1089875ec1076b64952 2109 ocaml optional coq-unimath_20231010-1.dsc fa01c7733174c7ac4c161b610dd7f858 2893033 ocaml optional coq-unimath_20231010.orig.tar.gz 64e61e068b79c4004760ab27931969ab 2088 ocaml optional coq-unimath_20231010-1.debian.tar.xz aef20b9a4ae0b342e9043e6dd2d4fc74 7852 ocaml optional coq-unimath_20231010-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEW/sSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR32kP/0DhZTwyt4adxfELWaNXFPpbtZO3Ai4O HAFghRQs1erUmITmhb2SGPC9W5eQpCRKvLR/MZKd1aNJxT/uDjBba/hQW79NXK2a wwT1BlXKobzvJ481dInKAg9PynT9+AGDqTsPatoBDqssSzgz044BrKTBAE0Y5MFW u16AFdGLcJ8TF1AC5UsjqwirTBsdMQeXR7kqRSecEormRastf7FxsWMJ6zriqZbu PHR8NOKCElfftWsQ+GnIQv7cUGJE7DnDVNZx4DOwDj5Npw9yWHFceklF08P7A6z/ 7ECvxZrhXsQYWEEknJN2JJ1IoGN6/kcGnaxD8fKC++EmMzc43efDXeRDVPVZLpzK CHNOjWYulV5n62GLM7kmcshAZzSHTT+VFLNJiQACHsKWR1r5b8sp2gXG1O3ejJZP Lq274+dleo9q+81GF8XKfTOQJEr/l/aryHk6ANgaK2E4z75gXF0NgHgQAbiG+Uvp s3Eo3Gx45fwik87IznUtFuMzfl1hOSRldVnyytGp3MCEo/ZOe/vso+X/vGWW3VKR aFaS2s8N6v1tEOKX05cIIBs9RCSeczClpd5+fkKyaDL66RkWmGnTROiygvPlkjd1 wLIt+uFC7stlcJ/Q5ajM4mGmj/D58PSHhIOCYhF7aAsRTSdydCH6xSZzVw+zUZ2r QjeXt+M4s8BS =V2+Q -----END PGP SIGNATURE-----
