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

ssreflect_1.3pl4-1.debian.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:ssreflect_1.3pl4-1.debian.tar.gz

/debian/README.source

Ssreflect Debian source package
===============================

Packaging a new upstream
------------------------

 * Ssreflect uses internal structures of Coq and is quite easily
   broken by new versions of Coq. However, some Coq developers
   maintain a working version as Coq development goes at the
   coq-contrib project on INRIA's GForge [1] (in Saclay directory).

   [1] http://gforge.inria
more»

/debian/changelog

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»

/debian/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 ssreflect_1.3pl4-1.debian.tar.gz

         [DIR]debian/ (18)  30131+ mirrors

Download ssreflect_1.3pl4-1.debian.tar.gz

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