Ubuntu
coq package

Change logs for coq source package in Lunar

  1. Lunar (23.04)
  2. Change log 
  • coq (8.16.1+dfsg-1build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 16 Feb 2023 10:54:39 +0100
  • coq (8.16.1+dfsg-1build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Thu, 26 Jan 2023 09:26:25 +0100
  • coq (8.16.1+dfsg-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Tue, 29 Nov 2022 09:28:08 +0100
  • coq (8.16.0+dfsg-1build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

 -- Gianfranco Costamagna <email address hidden>  Fri, 25 Nov 2022 07:41:35 +0100
  • coq (8.16.0+dfsg-1) unstable; urgency=medium

  * New upstream release.
  * Refresh patches.

 -- Julien Puydt <email address hidden>  Mon, 05 Sep 2022 17:56:26 +0200
  • coq (8.15.2+dfsg-2) unstable; urgency=medium

  * Use dh-coq.

 -- Julien Puydt <email address hidden>  Sat, 11 Jun 2022 16:16:14 +0200