Package: dose2 / 1.4.2-1

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
This package was debianized by Stefano Zacchiroli <zack@debian.org> on
Fri, 16 May 2008 00:00:49 +0200.

It was downloaded from <http://gforge.inria.fr/projects/sodiac/>

Files: *
Copyright: © 2004-2008 Berke Durak
           © 2004-2008 Jaap Boender
           © 2004-2008 Inria Rocquencourt
License: LGPL-3+

File: satsolver/*
Copyright: © 2005 Jerome Vouillon
           © 2005-2008 Jaap Boender
License: LGPL-3+

Dose2 program is free software: you can redistribute it and/or modify it under
the terms of the GNU Lesser General Public License as published by the Free
Software Foundation, either version 3 of the License, or (at your option) any
later version.

On Debian systems, the complete text of the latest GNU Lesser General Public
License can be found in `/usr/share/common-licenses/LGPL'.

Files: debian/*
Copyright: © 2008 Stefano Zacchiroli <zack@debian.org>
License: GPL-3+

The Debian packaging is copyright Stefano Zacchiroli, and licensed under the
GNU General Public License, see `/usr/share/common-licenses/GPL' for the full
text.