/usr/share/doc/libaac-tactics-coq/copyright is in libaac-tactics-coq 0.4-2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
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 | Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Packaged-By: Stéphane Glondu <glondu@debian.org>
Packaged-Date: Mon, 29 Nov 2010 23:40:57 +0100
Source: http://sardes.inrialpes.fr/~braibant/aac_tactics/
Upstream-Contact: Thomas Braibant, Damien Pous
Files: *
Copyright: 2009-2010, Thomas Braibant and Damien Pous
License: LGPL-3+
Files: debian/*
Copyright: 2010, Stéphane Glondu <steph@glondu.net>
License: LGPL-3+
License: LGPL-3+
The aac_tactics plugin library 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.
.
This library is distributed in the hope that it will be useful, but
WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
.
On Debian systems, the complete text of the GNU Lesser General
Public License can be found in `/usr/share/common-licenses/LGPL-3'.
|