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

libwhy-coq

Why library for Coq

This package contains all useful logical definitions, lemmas with their proofs and axioms used by Why. Users may need this package when proving some proof obligations in Coq.
Homepage:
Package version:2.23+dfsg-2
Architecture:all
Distribution:Ubuntu
Filename:libwhy-coq_2.23+dfsg-2_all.deb

/usr/share/doc/libwhy-coq/changelog.Debian.gz

why (2.23+dfsg-2) unstable; urgency=low

  * Rebuild with OCaml 3.11.2
  * Correctly detect Coq-float wrt. its new path
    - Add 0006-Coq-float-can-be-in-coqlib-user-contrib-Float.patch

 -- Mehdi Dogguy <mehdi@debian.org>  Sun, 24 Jan 2010 23:56:15 +0100

why (2.23+dfsg-1) unstable; urgency=low

  [ Mehdi Dogguy ]
  * New upstream release
    + Remove makefile.in.dpatch (fixed upstream)
    + Re
more»

/usr/share/doc/libwhy-coq/changelog.gz

version 2.23, December 4, 2009
===============================

  o [Why] fixed bug with let construct in logic
  o [Simplify output] fixed bug with function definitions
  o [GWhy] VC explanation when using --fast-wp option

version 2.22, November 30, 2009
===============================

  o [Jessie] fixed bug when return type is a logic type 
  o [Krakatoa] fixed bug with final fields 
  o [Fra
more»

/usr/share/doc/libwhy-coq/copyright

Packaged-By: Samuel Mimram <smimram@debian.org>
Packaged-Date: Thu, 22 Mar 2007 21:02:49 +0100
Upstream-Source: http://why.lri.fr/
Upstream Author: Jean-Christophe Filliâtre <Jean-Christophe.Filliatre@lri.fr>

Files: atp/*
Copyright: © 2003 John Harrison
           © 2002-2009 Romain BARDOU
           © 2002-2009 Jean-François COUCHOT
           © 2002-2009 Mehdi DOGGUY
           © 2002-2
more»

Browse inside libwhy-coq_2.23+dfsg-2_all.deb

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

Download libwhy-coq_2.23+dfsg-2_all.deb

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