File: changelog

package info (click to toggle)
coq-corn 8.16.0-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 7,228 kB
  • sloc: python: 112; haskell: 69; makefile: 44; sh: 11
file content (17 lines) | stat: -rw-r--r-- 484 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
coq-corn (8.16.0-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 13:31:05 +0100

coq-corn (8.16.0-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <jpuydt@debian.org>  Mon, 05 Sep 2022 22:54:01 +0200

coq-corn (8.13.0-1) unstable; urgency=medium

  * Initial release. (Closes: #1014955)

 -- Julien Puydt <jpuydt@debian.org>  Fri, 15 Jul 2022 12:04:14 +0200