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
|
coq-mtac2 (1.4+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 13:08:28 +0100
coq-mtac2 (1.4+8.16-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Mon, 29 Aug 2022 09:27:03 +0200
coq-mtac2 (1.4+8.15-3) unstable; urgency=medium
* Add missing shlib:Depends.
-- Julien Puydt <jpuydt@debian.org> Sun, 07 Aug 2022 08:38:06 +0200
coq-mtac2 (1.4+8.15-2) unstable; urgency=medium
* Complete d/copyright.
-- Julien Puydt <jpuydt@debian.org> Tue, 19 Jul 2022 09:28:23 +0200
coq-mtac2 (1.4+8.15-1) unstable; urgency=medium
* Initial release. (Closes: #1015020)
-- Julien Puydt <jpuydt@debian.org> Sat, 16 Jul 2022 14:04:53 +0200
|
