upload to unstable
Ralf Treinen
3 years ago
|
0 |
coq (8.12.0-3) unstable; urgency=medium
|
|
1 |
|
|
2 |
* Upload to unstable
|
|
3 |
|
|
4 |
-- Ralf Treinen <treinen@debian.org> Wed, 09 Sep 2020 21:16:07 +0200
|
|
5 |
|
0 | 6 |
coq (8.12.0-2) experimental; urgency=medium
|
1 | 7 |
|
2 | 8 |
* Patch remove-heavy-tests: also remove test bugs/closed/bug_4544.v
|