coq-corn (8.19.0+ds1-1) unstable; urgency=medium * Use coq-corn's upstream sources instead of coq-math-classes' (Closes: #1070787). * Make d/watch mangle +ds* prefixes. -- Julien Puydt Sat, 11 May 2024 17:45:21 +0200 coq-corn (8.19.0-1) unstable; urgency=medium * New upstream release. * Bump standards-version to 4.7.0. -- Julien Puydt Fri, 26 Apr 2024 14:52:01 +0200 coq-corn (8.18.0-1) unstable; urgency=medium [ Debian Janitor ] * debian/copyright: use spaces rather than tabs to start continuation lines. * Set upstream metadata fields: Repository-Browse. [ Julien Puydt ] * Fix d/rules clean target (Closes: #1044867). * New upstream release. -- Julien Puydt Thu, 21 Dec 2023 17:26:24 +0100 coq-corn (8.16.0-3) unstable; urgency=medium * Bump standards-version to 4.6.2. -- Julien Puydt Tue, 13 Jun 2023 22:14:32 +0200 coq-corn (8.16.0-2) unstable; urgency=medium * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. -- Julien Puydt Wed, 25 Jan 2023 13:31:05 +0100 coq-corn (8.16.0-1) unstable; urgency=medium * New upstream release. -- Julien Puydt Mon, 05 Sep 2022 22:54:01 +0200 coq-corn (8.13.0-1) unstable; urgency=medium * Initial release. (Closes: #1014955) -- Julien Puydt Fri, 15 Jul 2022 12:04:14 +0200