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

ssreflect_1.2+dfsg-6.debian.tar.gz

Homepage:-
Package version:-
Architecture:-
Distribution:Debian
Filename:ssreflect_1.2+dfsg-6.debian.tar.gz

/debian/README.source

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

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

 * Upstream tarball ships PDF files without sources. When packaging a
   new upstream release, they must be removed!

 * 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 d
more»

/debian/changelog

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»

/debian/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 ssreflect_1.2+dfsg-6.debian.tar.gz

         [DIR]debian/ (18)  30131+ mirrors

Download ssreflect_1.2+dfsg-6.debian.tar.gz

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