-----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-ma...@lists.debian.org> Changed-By: Julien Puydt <jpu...@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-----