Codebase list coq / 00038dd
Prepare for upload Julien Puydt 1 year, 10 months ago
1 changed file(s) with 2 addition(s) and 2 deletion(s). Raw diff Collapse all Expand all
+2
-2
debian/changelog less more
0 coq (8.15.2+dfsg-2) UNRELEASED; urgency=medium
0 coq (8.15.2+dfsg-2) unstable; urgency=medium
11
22 * Use dh-coq.
33
4 -- Julien Puydt <jpuydt@debian.org> Fri, 03 Jun 2022 17:38:34 +0200
4 -- Julien Puydt <jpuydt@debian.org> Sat, 11 Jun 2022 16:16:14 +0200
55
66 coq (8.15.2+dfsg-1) unstable; urgency=medium
77