dh-coq_0.4_amd64.changes ACCEPTED into unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: