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

libssreflect-ocaml-dev

small scale reflection extension for Coq (devt files)

Variants:
This package is part of Ssreflect, the small scale reflection extension for Coq. It provides the static native-code library, needed to build custom toplevels, and the compiled interface.
Homepage:
Package version:1.2+dfsg-6
Architecture:i386
Distribution:Debian
Filename:libssreflect-ocaml-dev_1.2+dfsg-6_i386.deb

/usr/share/doc/libssreflect-ocaml-dev/changelog.Debian.gz

ssreflect (1.2+dfsg-6) unstable; urgency=low

  * Rebuild against OCaml 3.11.2

 -- Stéphane Glondu <glondu@debian.org>  Thu, 15 Jul 2010 13:41:07 +0200

ssreflect (1.2+dfsg-5) unstable; urgency=low

  * Rebuild with Coq 8.2pl2
  * debian/control:
    - replace Conflicts by Breaks
    - bump Standards-Version to 3.9.0

 -- Stéphane Glondu <glondu@debian.org>  Wed, 14 Jul 2010 15:19:10 +0200

ssr
more»

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

Packaged-By: Stéphane Glondu <glondu@debian.org>
Packaged-Date: Wed, 26 Aug 2009 13:17:54 +0200
Original-Source-Location: http://www.msr-inria.inria.fr/Projects/math-components
Upstream-Author:
  Yves Bertot,
  François Garillot,
  Georges Gonthier,
  Stéphane Le Roux,
  Assia Mahboubi,
  Sidi Ould Biha,
  Ioana Pasca,
  Laurence Rideau,
  Enrico Tassi,
  Laurent Théry

Files: *
Copyright: © 
more»

Browse inside libssreflect-ocaml-dev_1.2+dfsg-6_i386.deb

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

Download libssreflect-ocaml-dev_1.2+dfsg-6_i386.deb

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