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