1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
|
coq-unimath (20220816-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 12:46:00 +0100
coq-unimath (20220816-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Mon, 22 Aug 2022 09:29:37 +0200
coq-unimath (20220204-1) unstable; urgency=medium
* Initial release. (Closes: #1014997)
-- Julien Puydt <jpuydt@debian.org> Sat, 16 Jul 2022 08:03:44 +0200
|