File: changelog

package info (click to toggle)
coqprime 8.15-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 5,444 kB
  • sloc: ansic: 12,892; ml: 1,656; makefile: 88
file content (11 lines) | stat: -rw-r--r-- 336 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
 
coqprime (8.15-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:16:25 +0100

coqprime (8.15-1) unstable; urgency=medium

  * Initial release. (Closes: #1014940)

 -- Julien Puydt <jpuydt@debian.org>  Fri, 15 Jul 2022 10:22:26 +0200