File: copyright

package info (click to toggle)
asis-doc 2005-3
  • links: PTS
  • area: non-free
  • in suites: etch, etch-m68k, lenny
  • size: 216 kB
  • ctags: 8
  • sloc: makefile: 35; sh: 18
file content (13 lines) | stat: -rw-r--r-- 499 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
ASIS User's Guide
ASIS Reference Manual

Copyright (c) (C) 2000-2004 Ada Core Technologies, Inc.

Permission is granted to make and distribute verbatim copies of these
manuals provided the copyright notice and this permission notice are
preserved on all copies.

The Debian package was done by Ludovic Brenta
<ludovic@ludovic-brenta.org>.  The packaging scripts are licensed
under the terms of the GNU General Public License, which is, on Debian
systems, in the file /usr/share/common-licenses/GPL.