-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 09 Feb 2022 09:38:46 +0100 Source: coq-hierarchy-builder Binary: coq-hierarchy-builder libcoq-hierarchy-builder Architecture: source amd64 Version: 1.2.1-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Julien Puydt <jpu...@debian.org> Description: coq-hierarchy-builder - build hierarchies of algebraic structures in Coq (tool) libcoq-hierarchy-builder - build hierarchies of algebraic structures in Coq (runtime files) Changes: coq-hierarchy-builder (1.2.1-2) unstable; urgency=medium . * Rename the lib* package to follow more closely other packages' (and upstream's) naming scheme. * Adapt to the new coq library location. * Update dates in d/copyright. Checksums-Sha1: 6a4edbe04ce4ca5ed08e0af55a60e49b091593b3 2227 coq-hierarchy-builder_1.2.1-2.dsc eead9832f4d5b4dbde7f4f535cccbe2e48495b19 2732 coq-hierarchy-builder_1.2.1-2.debian.tar.xz c3c858dc981699d849c92e92ab93e6e4e893e576 8511 coq-hierarchy-builder_1.2.1-2_amd64.buildinfo 1dbf104d360714354adc7090da2f21b45ffd9b8e 618276 coq-hierarchy-builder_1.2.1-2_amd64.deb ca789edfc1344549e1813755fbd393a8597de425 221352 libcoq-hierarchy-builder_1.2.1-2_amd64.deb Checksums-Sha256: 03dc5550c52b8f1fe95f8928e374feec2ef8543d8ff15d6c5188fffbaab98745 2227 coq-hierarchy-builder_1.2.1-2.dsc aea8d0d0fa32023602b7115687f49a55139885e4c01b1ab0823f7025ab924345 2732 coq-hierarchy-builder_1.2.1-2.debian.tar.xz 2ef6199e7f66efc3f6d423eb6de54dc3477f572f019b32c96f42e257a23390a6 8511 coq-hierarchy-builder_1.2.1-2_amd64.buildinfo e50ff70f2f05854794297528267ff7d061db3b321927fc9c70537427b6eb6cbc 618276 coq-hierarchy-builder_1.2.1-2_amd64.deb 806d0702b1109d126834db1c9698cba371c71f497bd8a1ac84ae2257497dda71 221352 libcoq-hierarchy-builder_1.2.1-2_amd64.deb Files: ce954dc649c96f276ac80fe99b39f64b 2227 ocaml optional coq-hierarchy-builder_1.2.1-2.dsc 3b685c40c4d03a95c924c4bab30105e4 2732 ocaml optional coq-hierarchy-builder_1.2.1-2.debian.tar.xz 61a98973c14ff59813cc268607617a67 8511 ocaml optional coq-hierarchy-builder_1.2.1-2_amd64.buildinfo dfe6c12d96a73f2a5ca5b39a5f8b1b1d 618276 ocaml optional coq-hierarchy-builder_1.2.1-2_amd64.deb 7af1c9ff29383ca5c529ae526ff0f261 221352 ocaml optional libcoq-hierarchy-builder_1.2.1-2_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmIJAS4ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWrrD/9Xjmp5C8X6jLHGPKjqKTYB 9+t7zlifaz3TgXbtqsME5nIWcNf4OxIWpTVqXF9rrenCZfIIPNX5wJyBbv+9tC3o hTDPGx7jtI/mxHM6ulYffBbEgVBInSXeonDOzh1aZUwhRFNMBa/R/6S34y4Hibbl wa60CUgwn3MRJIiOLJwW5IDSOoqSs/eH6uUAwLMJBoaDLpWCbHtTCK8YYP3dZKJu xJpRs0zOS+/Az1+kNuGVF9rFSkymmpmPhmrNPnGgFVJoYWc7k04QsmtID1OELLck OwfvUDlR5EO78WtSfJkn5sA2rtcOcVtYmQ6gI4qKnzWJlr+wUYXUciJct8LMtrHR UZ3u3xIQ8prPcP52JBPVm1Ssst4Tx6QdnpwlpeBpUUudCu4/pxIbPuRDLYEq9UBf G2eQ8qYKNr8CqvTIRbqgUOO1Smgxhb/Vn46i05LszEh0MlBxDJRuGCvELAx5GH6C G6BkTEb5HZhENqWoKg0RDyIxv2k+CJ8dgX7xGatxH85MyGm/x7bMeE6THAMwKaNS eb5R+qbzUZz8hAgXGDAGY8J7H345HNQZkt0xQ9jNoBnfVB/rypGDN7cdRotP48Op 7apjarfCK0CVnwL8P1w3HmanUHj3qheXtGjY9Nib2QZwuS7Qjk936hcM4putGkZA 3FLFWKgMF43IlIOp4BoCpQ== =qtbN -----END PGP SIGNATURE-----