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

libcoq-ocaml-dev

development libraries and tools 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 coqmktop, and libraries needed to develop OCaml-side extensions to Coq.

Homepage:
Package version:8.3.pl4+dfsg-2
Architecture:sparc
Distribution:Debian
Filename:libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb

/usr/share/doc/libcoq-ocaml-dev/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/man/man1/coqmktop.1.gz

COQ(1)                                                        COQ(1)



NAME
       coqmktop - The Coq Proof Assistant user-tactics linker



SYNOPSIS
       coqmktop [ options ] files



DESCRIPTION
       coqmktop  builds  a  new Coq toplevel extended with user-tac‐
       tics.  files are the Objective Caml object or  library  files
       (i.e. with suffix .cmo, .cmx, .cma or .cmxa) to link 
more»

/usr/share/doc/libcoq-ocaml-dev/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-dev/changelog.gz

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

Bug fixes:

- #2724 (using notation
more»

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

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

License: LGPL-2.1
 The Co
more»

Browse inside libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (3)  65535+ mirrors
         [DIR]var/ (1)  56408+ mirrors

Download libcoq-ocaml-dev_8.3.pl4+dfsg-2_sparc.deb

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