debian/copyright
author Mario de Sousa <msousa@fe.up.pt>
Wed, 26 Dec 2018 11:12:27 +0000
changeset 1078 81e2a100db14
parent 214 fb571ae783bc
permissions -rwxr-xr-x
Test for overflow when translating task periods/intervals to integer variable.
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.