Accepted coq-hierarchy-builder 1.2.0-1 (source amd64) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 03 Dec 2021 08:57:26 +0100
Source: coq-hierarchy-builder
Binary: coq-hierarchy-builder libhierarchy-builder-coq
Architecture: source amd64
Version: 1.2.0-1
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)
libhierarchy-builder-coq - build hierarchies of algebraic structures in Coq (runtime files)
Closes: 1001038
Changes:
coq-hierarchy-builder (1.2.0-1) unstable; urgency=medium
.
* Initial release. (Closes: #1001038)
Checksums-Sha1:
ea41060debf1c20cf221cc4063bdbedad1030c41 2196 coq-hierarchy-builder_1.2.0-1.dsc
e84604616162b8b9172dbfc48dfec8efbf031241 183352 coq-hierarchy-builder_1.2.0.orig.tar.gz
64945f0c1e2fe36e02611036462c0d233f9cabc1 3452 coq-hierarchy-builder_1.2.0-1.debian.tar.xz
0724878c42cd9aae8c401c291b63747b11a02323 7928 coq-hierarchy-builder_1.2.0-1_amd64.buildinfo
763a0928deee8987b4390d30f6c46c3b6450991e 601564 coq-hierarchy-builder_1.2.0-1_amd64.deb
bd2cf94ba9ac444f78e5e0f165e2392af07b6607 214240 libhierarchy-builder-coq_1.2.0-1_amd64.deb
Checksums-Sha256:
df887d6a4b8ef3dfb0f78c3cf90f4770a6c9ca7f20916a42a70d7973828a6905 2196 coq-hierarchy-builder_1.2.0-1.dsc
ff0f1b432aa7b6643b61c6f7c70bd32c2afc703bc44b5580e6229f9749ef9fff 183352 coq-hierarchy-builder_1.2.0.orig.tar.gz
8bb9fd836170f7da04fff21269005d30e1c3216236f46c502096055a58c8ce6d 3452 coq-hierarchy-builder_1.2.0-1.debian.tar.xz
889ec18bc27e30a5cefa41973633b3527b4672a0b735a27f7364563437ea6b2f 7928 coq-hierarchy-builder_1.2.0-1_amd64.buildinfo
4fa97c81e95d5eb2c7076b3b32e97fd4c101b3938f5e2a75b6fa917f6a0e5554 601564 coq-hierarchy-builder_1.2.0-1_amd64.deb
04bcae4e04477a2f8467a60a7355f80ac48b163cf0a9db50a69e49ee26353ed6 214240 libhierarchy-builder-coq_1.2.0-1_amd64.deb
Files:
1309490467836f8e4b0d2ef535cd5b72 2196 ocaml optional coq-hierarchy-builder_1.2.0-1.dsc
4e3278f44232d92b1b26b261f314ead0 183352 ocaml optional coq-hierarchy-builder_1.2.0.orig.tar.gz
8028e4b5fd6985a3fa16b6ade89a792d 3452 ocaml optional coq-hierarchy-builder_1.2.0-1.debian.tar.xz
4bd14db93d3e0a4873934a3430c10086 7928 ocaml optional coq-hierarchy-builder_1.2.0-1_amd64.buildinfo
6295bce34ca29466dd7bd2e77cef1c0d 601564 ocaml optional coq-hierarchy-builder_1.2.0-1_amd64.deb
e9563ba14daabb9f94c1d6b933269e8f 214240 ocaml optional libhierarchy-builder-coq_1.2.0-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGp0M0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRIVEQAISMIWM2JE+VEcXtIhyPMsvFLQmv/82k
mJrN/+9QJLxfESqBuijeAftZPpPZTJ038YdR0a4rzBy+7rABcDLD/SvB6DgkENXF
F03xrqB4BLCLJG8WIcjSi2pplsjJsOwvCaBewj8ueBnzphAIYNrqNkuaFz2KG0gJ
bZTDhDnE3M1JSWJ+AnpZiLu4oFVeuaPeew9xPxCIxZ9ERGms3NNUr+P5IVPpR9vJ
xJeeF4UG3Z5TFnnRxmoLDLsl6VCHr4Zzz0DLimMvZhiUvSG2Ap6DAoaRMorxA2TE
SXEwRBX6LCZXiVFf6NDHQIxEzP9+FPSbSGa3BhPH+TcQtny0GmsSwN5yOqxR+HHQ
ZFbdJyZVUDJj6BoQYxTmX30H25e3dpnk5Zrk9bQ2LfNw7Mk7OXzIvsXkzURb0jqk
Vpft3L/1Y/WbLWFuup/B5fB29Ir7je2GNScucoXUfQxBQukgn90RB2tD0DTQicvs
5KsUscHDsOrPdJsBmqUPou04jqS5pejOhOiPsjXI382+XFfTeunRD3vjfb3+skep
Lm0hx+BMeU4c4rgmrqkH13kpzF/lRWuTJkLnzhoRlRhiNINpqEzO1ydlPn/w4JQf
Q9ekPbcnJgw1j4/SxhdrMxRPvaSyS2YcifevQNoV7iexgy7OBXHzfOgAVQD9KgJ9
JWxclyI49nuw
=7wuq
-----END PGP SIGNATURE-----