1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
coq-hammer (1.3.2+8.16-2) unstable; urgency=medium
* Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
-- Julien Puydt <jpuydt@debian.org> Wed, 25 Jan 2023 07:50:31 +0100
coq-hammer (1.3.2+8.16-1) unstable; urgency=medium
* Adapt d/watch to new upstream scheme.
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Mon, 05 Sep 2022 16:17:43 +0200
coq-hammer (1.3.2+8.15-1) unstable; urgency=medium
* Initial release. (Closes: #1014973)
-- Julien Puydt <jpuydt@debian.org> Fri, 15 Jul 2022 16:31:51 +0200
|
