blob: d2b94a2ba5254a4abe9c999a4ef7c414de7b0980 (
plain)
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
|
Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Source: https://github.com/coq-community/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>
2018, Google LLC
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'.
|