← Back to branch summary

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

« back to all changes in this revision

Viewing changes to contrib/micromega/LICENSE.sos

  • 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:
contrib/micromega/LICENSE.sos
 
1
            HOL Light copyright notice, licence and disclaimer
 
2
 
 
3
                     (c) University of Cambridge 1998
 
4
                  (c) Copyright, John Harrison 1998-2006
 
5
 
 
6
HOL Light version 2.20, hereinafter referred to as "the software", is a
 
7
computer theorem proving system written by John Harrison. Much of the
 
8
software was developed at the University of Cambridge Computer Laboratory,
 
9
New Museums Site, Pembroke Street, Cambridge, CB2 3QG, England. The
 
10
software is copyright, University of Cambridge 1998 and John Harrison
 
11
1998-2006.
 
12
 
 
13
Permission to use, copy, modify, and distribute the software and its
 
14
documentation for any purpose and without fee is hereby granted. In the
 
15
case of further distribution of the software the present text, including
 
16
copyright notice, licence and disclaimer of warranty, must be included in
 
17
full and unmodified form in any release. Distribution of derivative
 
18
software obtained by modifying the software, or incorporating it into
 
19
other software, is permitted, provided the inclusion of the software is
 
20
acknowledged and that any changes made to the software are clearly
 
21
documented.
 
22
 
 
23
John Harrison and the University of Cambridge disclaim all warranties
 
24
with regard to the software, including all implied warranties of
 
25
merchantability and fitness. In no event shall John Harrison or the
 
26
University of Cambridge be liable for any special, indirect,
 
27
incidental or consequential damages or any damages whatsoever,
 
28
including, but not limited to, those arising from computer failure or
 
29
malfunction, work stoppage, loss of profit or loss of contracts.