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
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
|
Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
Upstream-Name: FaCT++
Upstream-Contact: https://bitbucket.org/dtsarkov/factplusplus/issues
Dmitry Tsarkov <tsarkov@cs.man.ac.uk>
Source: https://bitbucket.org/dtsarkov/factplusplus
git clone https://bitbucket.org/dtsarkov/factplusplus.git
.
Repackaged, excluding source-less and possibly non-DFSG binary code
Files-Excluded:
*.dll
*.jar
*.jnilib
Files: *
Copyright: 2003-2015, The University of Manchester
2003-2016, Dmitry Tsarkov <tsarkov@cs.man.ac.uk>
2011-2013, Ignazio Palmisano
License-Grant:
This 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 2.1 of the License, or (at your option) any later version.
License: LGPL-2.1+
Files: */uk/ac/manchester/cs/factplusplus/*
Copyright: 2006-2007,2009-2010, University of Manchester
License: LGPL-2.1+
Files:
FaCT++/AD.cpp
FaCT++/FaCT.cpp
FaCT++/comparser.h
FaCT++/comscanner.h
FaCT++/parser.cpp
FaCT++/parser.h
FaCT++/scanner.cpp
FaCT++/scanner.h
Kernel/ReasonerNom.cpp
Kernel/ReasonerNom.h
Copyright: 2003-2014, Dmitry Tsarkov <tsarkov@cs.man.ac.uk>
2011-2013, Stanislav Kikot
License-Grant:
This program is free software;
you can redistribute it and/or modify it
under the terms of the GNU General Public License
as published by the Free Software Foundation;
either version 2 of the License, or (at your option) any later version.
License: GPL-2+
Files:
FaCT++.OWLAPIv3/src/uk/ac/manchester/cs/factplusplus/owlapiv3/ModuleMethod.java
mavenreleaseowlapi4/src/main/java/uk/ac/manchester/cs/factplusplus/owlapiv3/ModuleMethod.java
Copyright: 2014, The University of Manchester
License-Grant:
This program is free software:
you can redistribute it and/or modify it
under the terms of the GNU General Public License
as published by the Free Software Foundation,
either version 3 of the License, or (at your option) any later version.
.
Alternatively, the contents of this file may be used
under the terms of the Apache License, Version 2.0
in which case, the provisions of the Apache License Version 2.0
are applicable instead of those above.
Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License
at <http://www.apache.org/licenses/LICENSE-2.0>
License: GPL-3+ or Apache-2.0
Files: debian/*
Copyright: 2012-2020, Jonas Smedegaard <dr@jones.dk>
License-Grant:
This program is free software;
you can redistribute it and/or modify it
under the terms of the GNU General Public License
as published by the Free Software Foundation;
either version 3, or (at your option) any later version.
License: GPL-3+
License: LGPL-2.1+
License-Reference: /usr/share/common-licenses/LGPL-2.1
License: GPL-2+
License-Reference: /usr/share/common-licenses/GPL-2
License: GPL-3+
License-Reference: /usr/share/common-licenses/GPL-3
License: Apache-2.0
License-Reference: /usr/share/common-licenses/Apache-2.0
|
