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.30+dfsg-3
Architecture:all
Distribution:Ubuntu
Filename:libwhy-coq_2.30+dfsg-3_all.deb

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

why (2.30+dfsg-3) unstable; urgency=high

  * Fix 0002-Mark-alt-ergo-0.93-as-compatible.patch
    - Adapt version_regexp because "alt-ergo -version" changed.
  * Fix 0004-Default-to-why2-for-jessie-atp.patch
    - default to "gui" instead of "why2".
  * Add 0007-Replace-caduceus-invocation-by-Frama-C.patch
    - Caduceus is gone. We use Frama-C instead.
    - Adding Frama-C to Why's dependencies.

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-2010 Romain BARDOU
           © 2002-2010 Jean-François COUCHOT
           © 2002-2010 Mehdi DOGGUY
           © 2002-2
more»

Browse inside libwhy-coq_2.30+dfsg-3_all.deb

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

Download libwhy-coq_2.30+dfsg-3_all.deb

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