-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 04 Oct 2022 09:34:07 +0200 Source: dh-coq Binary: debian-coq-tools dh-coq Architecture: source all Version: 0.4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: debian-coq-tools - various tools to manage Coq-related Debian packages dh-coq - debhelper tool for Coq-related Debian packages Changes: dh-coq (0.4) unstable; urgency=medium . * Better documentation. * Add coq-planif-transition and coq-wanna-build tools as new package debian-coq-tools. * Try to sort the list of vo files -- makes the builds more reproducible. Checksums-Sha1: a3a5691542d8332818be4d2372b0c828d5bec614 1651 dh-coq_0.4.dsc 7d0b7f024368c4ac9358678a28553a0c5555f7ae 7512 dh-coq_0.4.tar.xz 97d54bd4a41290d3001aa6a63f0cfe4583ac1a5c 6240 debian-coq-tools_0.4_all.deb 49b70f197243a4aec493169d6087d7d4e8ff5a73 7420 dh-coq_0.4_all.deb e68cf0a1e4370cec8cff7bb14b87d88bef6969b7 6339 dh-coq_0.4_amd64.buildinfo Checksums-Sha256: 536ed570b25241d2be2a5246bcaef5323231153bc186af60e1a892e99c165d9b 1651 dh-coq_0.4.dsc 70d79222333954c101625c98f552b201d526750b3fed4534a6fe1930779cae58 7512 dh-coq_0.4.tar.xz 29f91c25f1080fca7a3cc5f58126f04fcc6dfc5a51543649b32ad38bcd7eb851 6240 debian-coq-tools_0.4_all.deb 7476cc64c46d2b5eee531b8eed75324382289e92c405be2a523e6d5f17ff827e 7420 dh-coq_0.4_all.deb 2bc17de0c1cbf1e21426590b7ea783ab83571343f9eedb48484918adaf668b24 6339 dh-coq_0.4_amd64.buildinfo Files: 9f6a1cb8dcca77b761562fa4ccb644b5 1651 ocaml optional dh-coq_0.4.dsc 5eae2bf87023ac6fe5f70bf8eecb9d90 7512 ocaml optional dh-coq_0.4.tar.xz 2ed8b2dd6b2d9a58efc7e45d6074c4a5 6240 ocaml optional debian-coq-tools_0.4_all.deb 7a387f94bb19851f054c5b3514fa5d44 7420 ocaml optional dh-coq_0.4_all.deb a0945773d211a65647873fb10c930859 6339 ocaml optional dh-coq_0.4_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmM79GgSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRgIwP/3HebfZ2iFjONjxra0y2tlG5DQjwd7V5 7LNsC/JgqQPo3n/2oeYGDvkDjV6cCkpWu3xbvy5bsBOR+4O8DxnwHwlq2QgBQtXy RgF4cJGiMFOY7LWGHg/3tkNB7+gAzMuxTZq6MJuU0mdSa6D99NHPHeNE9njOJ5SB t8GJ5VaxQTHyXMVj32C0aTF4RZcPN6zcAPMcyWF0HR/O+xWGA6C3qrpBJYrTlPwm 8ib9QgWyuOHPF3WeWrNZ+lmOmnslZQd0DgT4bQYZCcjvqLXM8kVpi+h/hlVQcAIk lwF/PHIZGGvzoHzezxxL38cRfE4LV9HN+OKapw9wC8IXeSblkZ4Qywy6558XaLJR xVWgSMgVTUOcvrDKEb8gi75hpwMVGqDTcgYxiMI6RjcaKqbo6/3X03tEQnFSl06s 3mcDFg/3whQdkNKq+RtDvBv4nY6PELrmxfJo+klLG/hjkZCQjD9gutycsm1iE7Bm DyQj2mdRYOZk9zXRNIBZcuCkwkJso01UuUElCJ/cH67ZllXjsawPL0M3G33ylFuf DB3+efiqXAnNEf/nyL3TOLT/ME5GIUkGxySfgTOG907tA0Xd39ZO16n+ZiVIybxt 1K2IJCAjLr1WCMjucPF4yt/XxHqvZH0zEivTWD/x6T+f5nSj0VNOT16na+g6RhaY 5Zbe7j46V4Yb =SpZr -----END PGP SIGNATURE-----
