blob: 87e9946809aacf62b9908ba87186b625d22b5c03 (
plain)
1
2
3
4
5
6
7
|
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.
-- Stephane Glondu <steph@glondu.net> Mon, 02 Feb 2009 09:48:03 +0100
|
