Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 22 Dec 2023 11:31:46 +0100
Source: coq-extructures
Architecture: source
Version: 0.4.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
Closes: 1044466
Changes:
coq-extructures (0.4.0-1) unstable; urgency=medium
.
[ Debian Janitor ]
* Set upstream metadata fields: Repository-Browse
.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1044466).
* New upstream release.
Checksums-Sha1:
8f1187689e739670617de236bba9dd6558165be8 2166 coq-extructures_0.4.0-1.dsc
ba00c3e7984de42fb9c84ed206a8e25e0170e4b3 42179 coq-extructures_0.4.0.orig.tar.gz
99a38662ba2716d41a1e7759a500ca9a262e6d59 2208 coq-extructures_0.4.0-1.debian.tar.xz
f7bfb9608aa4cb4b2e0a49ed897be06da2eae663 8484 coq-extructures_0.4.0-1_source.buildinfo
Checksums-Sha256:
5e467e8061da23597e454de9f3aad7af369c28ee135265c0387cdec225e93239 2166 coq-extructures_0.4.0-1.dsc
c1896ed5bed50d3c43d4d973d819a29c579a2d8e01e1f6a84aeeb35a39577bc9 42179 coq-extructures_0.4.0.orig.tar.gz
c2cb1f5dc082e8022b0e70b0b9185a1b22354a61eaf0e1635eabee5465c69752 2208 coq-extructures_0.4.0-1.debian.tar.xz
647ed4e905c10b23b680a0b9ebf086c84648adbd4551e1c92e34bb58700fbb2f 8484 coq-extructures_0.4.0-1_source.buildinfo
Files:
427b2fb0f6f926cd75df354c95d083dc 2166 ocaml optional coq-extructures_0.4.0-1.dsc
d31c4523f3bf48ec76e65212f0888b70 42179 ocaml optional coq-extructures_0.4.0.orig.tar.gz
801e8a45eb1a1cc561e461133c567475 2208 ocaml optional coq-extructures_0.4.0-1.debian.tar.xz
576295b7d05b3c8db4561521db8a5117 8484 ocaml optional coq-extructures_0.4.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWFZa8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRT9IP/RKk5RlquT2YN9YaRqDXEvZt5BpaRT3y 4sgk/T6P95p7C97H+U9xRFh/mOPl2bvS0ejCxq8MeK4RlI9PO+TbKjTPHeXViyhn m7uVVKQSXJq7Ymh+Z9Gu83U3kNnzbrTdF+eOVIG1dZ10td+4Nx7DTKr6+t4nYsn7 qgDL5yPSmbo0XrWbTIpAwJLJliX6PrZRTs+MUbPUaQI7BxzdSBBG5Vunj3gdf+1q TL1GWXNVZMCAXVTPUF+0hZfKSMtNwqgSPlEmfinxw9FOrwgYPXSrxxqHah1zvbjV ePkIC313NTjEOx/ouLIs3P2S+8GFIoargJqsLMVF3kNC7rFUsLwKRlp7S8sAofe4 Dh1tC1/j6XUl9wJy0o62q/vwinF+qWR2NzCbW1a+QDs20iL+oVUf6aHP+Siynf63 7D2reR222k/0vbB7NuLJTjcvCwkyevp9j0xE441fBPtwuCeMWIPh1sxi73xXhvCu tQr4oC/pK68vGgPXaWI7usrlIpxbTbNz7rXJmdB15LlJjATQbTiOuOwOtIdhbW/e jVYD5mWX981YhU6AHALQfRxomuwn0jkGe+AzDTevl3IUO/2nDkStZiXhXpCi4ULO nah2R4zntu8xDJuqtzouGofUA6CRTI9IvUao89SLPQKqPVrYIh/f6RYG6CnicgCf
YasVLA5O0dYU
=J/7B
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)