Accepted coq-hierarchy-builder 1.2.1-2 (source amd64) into unstable, unstable
-----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-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@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-----