Filewatcher File Search File Search
Catalog
Content Search
» » » » »

libcoq-ocaml

runtime libraries for Coq

Variants:
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides runtime libraries for Coq.

Homepage:
Package version:8.3.pl4+dfsg-2
Architecture:amd64
Distribution:Debian
Filename:libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb

/usr/share/doc/libcoq-ocaml/NEWS.Debian.gz

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


/usr/share/doc/libcoq-ocaml/changelog.Debian.gz

coq (8.3.pl4+dfsg-2) unstable; urgency=low

  * Recompile with camlp5 6.06 (no changes)

 -- Stéphane Glondu <glondu@debian.org>  Wed, 06 Jun 2012 07:35:26 +0200

coq (8.3.pl4+dfsg-1) unstable; urgency=low

  * New upstream release
  * Replace proofgeneral-coq by proofgeneral in dependencies
  * Switch debian/copyright to format 1.0
  * Bump Standards-Version to 3.9.3

 -- Stéphane Glondu <glond
more»

/usr/share/doc/libcoq-ocaml/changelog.gz

Changes from V8.3pl3 to V8.3pl4
===============================

Bug fixes:

- #2724 (using notations with binders in cases patterns was provoking an anomaly)
- #2723 (alpha-conversion bug #2723 introduced in r12485-12486)
- #2732 (anomaly when using the tolerance for writing "f atomic_tac"
    as a short-hand for "f ltac:(atomic_tac)")
- #2729 (vm_compute: function used to decompose constructors 
more»

/usr/share/doc/libcoq-ocaml/copyright

Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/

License: LGPL-2.1
 The Co
more»

Browse inside libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download libcoq-ocaml_8.3.pl4+dfsg-2_amd64.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com