File: NEWS

package info (click to toggle)
coq 8.9.0-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, buster, sid
  • size: 30,604 kB
  • sloc: ml: 192,230; sh: 2,585; python: 2,206; ansic: 1,878; makefile: 818; lisp: 202; xml: 24; sed: 2
file content (8 lines) | stat: -rw-r--r-- 335 bytes parent folder | download | duplicates (5)
1
2
3
4
5
6
7
8
coq (8.2~rc2+dfsg-1) experimental; urgency=low

    The Coq library for programming in OCaml is now in its own binary
    package, libcoq-ocaml-dev, along with coqmktop. The theories have been
    moved from coq-libs to the more expressive name coq-theories.

 -- St├ęphane Glondu <glondu@debian.org>  Mon, 02 Feb 2009 09:48:03 +0100