← Back to branch summary

~ubuntu-branches/ubuntu/wily/coq-doc/wily

« back to all changes in this revision

Viewing changes to COPYRIGHT

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu, Stéphane Glondu, Samuel Mimram
  • Date: 2010-01-07 22:50:39 UTC
  • mfrom: (1.2.2 upstream)
  • Revision ID: james.westby@ubuntu.com-20100107225039-n3cq82589u0qt0s2
Tags: 8.2pl1-1
http://bugs.debian.org/563669
http://bugs.debian.org/543545
[ Stéphane Glondu ]
* New upstream release (Closes: #563669)
  - remove patches
* Packaging overhaul:
  - use git, advertise it in Vcs-* fields of debian/control
  - use debhelper 7 and dh with override
  - use source format 3.0 (quilt)
* debian/control:
  - set Maintainer to d-o-m, set Uploaders to Sam and myself
  - add Homepage field
  - bump Standards-Version to 3.8.3
* Register PDF documentation into doc-base
* Add debian/watch
* Update debian/copyright

[ Samuel Mimram ]
* Change coq-doc's description to mention that it provides documentation in
  pdf format, not postscript, closes: #543545.

Show diffs side-by-side

added added

removed removed

Lines of Context:
COPYRIGHT
 
1
The Coq proof assistant V7 and V8 includes software developed by the
 
2
Coq development team inside the TypiCal (formerly LogiCal) project, at
 
3
INRIA, CNRS and University Paris Sud.
 
4
 
 
5
Copyright 1999-2004 The Coq development team, 
 
6
INRIA-CNRS, University Paris Sud, All rights reserved.
 
7
 
 
8
This version contains modifications by Lionel Elie Mamane
 
9
<lionel@mamane.lu> done while under employment of the Radboud
 
10
University Nijmegen. However, no copyright-assignment-to-employer
 
11
agreement was signed, and copyright of articles and books written on
 
12
work time rest with the employee. By analogy, it is Lionel's opinion
 
13
that copyright on these changes rests with him.
 
14
 
 
15
This product includes also software developed by
 
16
        Yves Bertot, Lemme, INRIA Sophia-Antipolis (contrib/interface,
 
17
parsing/search.ml)
 
18
        Pierre Cr�gut, France Telecom R & D (contrib/omega and contrib/romega)
 
19
        Pierre Courtieu, Lemme (contrib/funind)
 
20
        Lo�c Pottier, Lemme, INRIA Sophia-Antipolis (contrib/fourier)
 
21
        Claudio Sacerdoti Coen, HELM, University of Bologna, (contrib/xml)
 
22
        Lionel Mamane, Radbout University, Nijmegen (additions to contrib/interface)
 
23
        Cezary Kalyczyc, Radbout University, Nijmegen (additions to contrib/xml)
 
24
 
 
25
The file CREDITS contains a list of past contributors
 
26
The credits section in Reference Manual introduction details
 
27
contributions.