debian/copyright
author Mario de Sousa <msousa@fe.up.pt>
Mon, 30 May 2011 17:54:15 +0100
changeset 305 fe5cb87610fa
parent 214 fb571ae783bc
permissions -rwxr-xr-x
When checking semantics of expressions, skip semantic checking of data type definitions
(not yet supported). If we don't skip, all subsequent POUs would not be checked.
214
fb571ae783bc Replace \"lolitech\" contact by \"edouard\" contact
greg
parents: 106
diff changeset
     1
This package was debianized by edouard <edouard.tisserant@gmail.com>> on
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     2
Wed, 21 Nov 2007 17:01:50 +0100.
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     3
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     4
It was downloaded from <fill in http/ftp site>
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     5
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     6
Upstream Author: <put author(s) name and email here>
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     7
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     8
Copyright: <put the year(s) of the copyright, and the names of the
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
     9
            copyright holder(s) here>
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    10
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    11
License:
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    12
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    13
   This package is free software; you can redistribute it and/or modify
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    14
   it under the terms of the GNU General Public License as published by
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    15
   the Free Software Foundation; either version 2 of the License, or
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    16
   (at your option) any later version.
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    17
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    18
   This package is distributed in the hope that it will be useful,
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    19
   but WITHOUT ANY WARRANTY; without even the implied warranty of
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    20
   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    21
   GNU General Public License for more details.
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    22
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    23
   You should have received a copy of the GNU General Public License
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    24
   along with this package; if not, write to the Free Software
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    25
   Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    26
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    27
On Debian systems, the complete text of the GNU General
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    28
Public License can be found in `/usr/share/common-licenses/GPL'.
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    29
214
fb571ae783bc Replace \"lolitech\" contact by \"edouard\" contact
greg
parents: 106
diff changeset
    30
The Debian packaging is (C) 2007, edouard <edouard.tisserant@gmail.com> and
106
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    31
is licensed under the GPL, see above.
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    32
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    33
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    34
# Please also look if there are files or directories which have a
0fff950e578e add debian dir to create debian package
greg
parents:
diff changeset
    35
# different copyright/license attached and list them here.