coq-hott (8.19-2) unstable; urgency=medium * Team upload * Do not hardcode /usr/lib/ocaml -- Stéphane Glondu Sat, 03 Aug 2024 17:32:06 +0200 coq-hott (8.19-1) unstable; urgency=medium * New upstream release. -- Julien Puydt Sat, 30 Mar 2024 09:44:04 +0100 coq-hott (8.18-3) unstable; urgency=medium * Bump for manual transition. -- Julien Puydt Thu, 21 Dec 2023 15:30:17 +0100 coq-hott (8.18-2) unstable; urgency=medium * Bump for manual transition. -- Julien Puydt Fri, 03 Nov 2023 22:33:27 +0100 coq-hott (8.18-1) unstable; urgency=medium [ Debian Janitor ] * debian/copyright: use spaces rather than tabs to start continuation lines. * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse. [ Julien Puydt ] * Fix d/rules clean target (Closes: #1045075) * New upstream release. -- Julien Puydt Fri, 01 Sep 2023 14:05:19 +0200 coq-hott (8.17-1) unstable; urgency=medium * New upstream release. * Bump standards-version to 4.6.2. -- Julien Puydt Mon, 12 Jun 2023 19:30:39 +0200 coq-hott (8.16-2) unstable; urgency=medium * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. -- Julien Puydt Wed, 25 Jan 2023 07:59:34 +0100 coq-hott (8.16-1) unstable; urgency=medium * New upstream release. -- Julien Puydt Mon, 22 Aug 2022 14:13:15 +0200 coq-hott (8.15-4) unstable; urgency=medium * Add patch for Coq 8.16. -- Julien Puydt Mon, 22 Aug 2022 10:27:23 +0200 coq-hott (8.15-3) unstable; urgency=medium * Simplify autopkgtest. -- Julien Puydt Sat, 16 Jul 2022 12:31:37 +0200 coq-hott (8.15-2) unstable; urgency=medium * Drop an erroneous b-dep on ocamlgraph. * Complete d/copyright. -- Julien Puydt Fri, 08 Jul 2022 00:13:17 +0200 coq-hott (8.15-1) unstable; urgency=medium * Initial release. (Closes: #1013949) -- Julien Puydt Mon, 27 Jun 2022 22:51:30 +0200