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.3pl4-1
Architecture:i386
Distribution:Debian
Filename:libssreflect-ocaml-dev_1.3pl4-1_i386.deb

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

ssreflect (1.3pl4-1) unstable; urgency=low

  * New upstream release
  * Put debian/copyright in format 1.0
  * Bump Standards-Version to 3.9.3

 -- Stéphane Glondu <glondu@debian.org>  Sat, 09 Jun 2012 09:35:40 +0200

ssreflect (1.3pl2-4) unstable; urgency=medium

  * Fix compilation with camlp5 6.05 and coq 8.3pl4

 -- Stéphane Glondu <glondu@debian.org>  Sun, 01 Apr 2012 16:43:46 +0200

ssref
more»

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

Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
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:
  Andrea Asperti,
  Jeremy Avigad
  Yves Bertot,
  Cyril Cohen,
  François Garillot,
  Georges Gonthier,
  Stéphane Le Roux,
  As
more»

Browse inside libssreflect-ocaml-dev_1.3pl4-1_i386.deb

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

Download libssreflect-ocaml-dev_1.3pl4-1_i386.deb

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