1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
dh-coq (0.5) unstable; urgency=medium
* Add dep on python3 for the d-debian-coq-tools.
-- Julien Puydt <jpuydt@debian.org> Tue, 18 Oct 2022 06:52:11 +0200
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.
-- Julien Puydt <jpuydt@debian.org> Tue, 04 Oct 2022 09:34:07 +0200
dh-coq (0.3) unstable; urgency=medium
* Mark the package as Multi-Arch: foreign following hinter.
* More robust parsing of the b-deps.
-- Julien Puydt <jpuydt@debian.org> Wed, 15 Jun 2022 10:16:08 +0200
dh-coq (0.2) unstable; urgency=medium
* Fix various typos in the debian/ directory (Closes: #1012667).
-- Julien Puydt <jpuydt@debian.org> Sat, 11 Jun 2022 16:14:04 +0200
dh-coq (0.1) unstable; urgency=medium
* Initial release.
-- Julien Puydt <jpuydt@debian.org> Fri, 03 Jun 2022 20:38:06 +0200
|
