-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> 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-----
