Accepted coq-extructures 0.5.0-6 (source) into unstable
Debian FTP Masters <[email protected]>
| Newsgroups | gmane.linux.debian.devel.changes.unstable |
|---|---|
| Message-ID | <[email protected]> |
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 12 Aug 2026 14:50:03 +0200 Source: coq-extructures Architecture: source Version: 0.5.0-6 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Changes: coq-extructures (0.5.0-6) unstable; urgency=medium . * Source-only upload. Checksums-Sha1: 897385bbe3608561a16c879f9ad782249f04d6e0 2185 coq-extructures_0.5.0-6.dsc 3efc8f835c242c79c98d5eb979313d8a633c3060 42630 coq-extructures_0.5.0.orig.tar.gz 17fcc6febe1359acad6b1ffb42d95778481b6ebf 3028 coq-extructures_0.5.0-6.debian.tar.xz 9eb0147621f0102f6193f84dabce728fe20f51ec 7557 coq-extructures_0.5.0-6_amd64.buildinfo Checksums-Sha256: f7e74eed4ae51994c01095352b8a7a91794f3057197c34f52c27ea5b7b53dc38 2185 coq-extructures_0.5.0-6.dsc 1b264746c0ca6292ec77486829243c0c107a571063c38cf446fb6520824264bf 42630 coq-extructures_0.5.0.orig.tar.gz 6c5d8c27460cd27364d50585da8fedbd95dc4fae2c559db9dba4370858fbe1e8 3028 coq-extructures_0.5.0-6.debian.tar.xz 854d12c28d4fdf327f7871e56dae71be512057ae35a8f071caee2bb96a6118d7 7557 coq-extructures_0.5.0-6_amd64.buildinfo Files: dd7f35d380f0e5e550b2abcf238f658f 2185 ocaml optional coq-extructures_0.5.0-6.dsc 02535e6858b35f4cbc9a79168fa69bdc 42630 ocaml optional coq-extructures_0.5.0.orig.tar.gz ed87a53e54aab4127c7e4ce29452dbe4 3028 ocaml optional coq-extructures_0.5.0-6.debian.tar.xz 67923e02a4baf485beefdf93ffa7a012 7557 ocaml optional coq-extructures_0.5.0-6_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmp8bMUZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUdNhD/4xfJlYedmj4S0QVKP5V42d +vPSQq+1YEU5PXKLTdySVi06cRNNj3VQW73Lq8CmNvrKyLi5Iy0St+GCDGap+xXc jCtfurhHp8XBbVPDzkx6rrvM+6P2wbXFIoc494PtTQgOiA6YZGiz2H9OE26qvQ6i hsOc3RMbR8q+AqRLNbQtzc7eH77fyCwJI/p/ItLIJMcgrpaEaZ/MU/4TDOPnjYIa YvoIA6ZO3PBq3pxyeMtVWjga18vngrILmqw0h5gCiaOmM3sbAIwoA+E6jTnXKT4Z bUnU5l1JjF4JbZGAj09w6CBg4J8/djoWn27jO9W0D1lpziu4NBR9MPbQTazETrHz QA7OIstV/3ejXE3ZSLBXeaeWhHgXpWmoo/+E44BBr0YVhxlw+4b01n2l+Mskxi3H rIRpJrRft9x9B5uguDtXC9aQPOnjTzwofaYlbj4r6fmULbW6gV8421vLK9pW4Emk eTMLeRFik0pZVqZx7LM1N7XLBn2QMvYBNnqZPjopQtg7Wy0aiok40i1NcdVwr6qG qgu5HZGpFQq0h6p3LUefExxwiVDohCx5Xn1KXefwBOm9wvjrsjqBfH50M+vUQYG3 0A16146KGQNSy9MCn44baiPtEqxuAqN9iqDpqGRksnJEryD0W6dyOFJLWQNsXsRD WGC/9vbuvLPSMAUe5kJmcw== =J65N -----END PGP SIGNATURE-----
signature.asc
(application/pgp-signature, 228 B)
-----BEGIN PGP SIGNATURE----- iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCanxvdQAKCRCb9qggYcy5 IZT3AP9/ButFGSQbFKghuYleFmYvJXdOBU3LFLZ7euJmGjMbhAD/QIAEkphvEOzH dA7Mv433dOitN8JJvN3lDKEMIKUHNwQ= =p+0k -----END PGP SIGNATURE-----