1.1 --- a/distributions/debian/build.sh	Tue Apr 30 20:04:06 2019 +0200
     1.2 +++ b/distributions/debian/build.sh	Thu Oct 24 21:43:08 2019 +0200
     1.3 @@ -5,8 +5,7 @@
     1.4  # 
     1.5  # This program is free software: you can redistribute it and/or modify
     1.6  # it under the terms of the GNU General Public License as published by
     1.7 -# the Free Software Foundation, either version 3 of the License, or
     1.8 -# (at your option) any later version.
     1.9 +# the Free Software Foundation, version 3 of the License.
    1.10  # 
    1.11  # This program is distributed in the hope that it will be useful,
    1.12  # but WITHOUT ANY WARRANTY; without even the implied warranty of
    1.13 @@ -71,8 +70,7 @@
    1.14  License: GPL-3+
    1.15   This program is free software: you can redistribute it and/or modify
    1.16   it under the terms of the GNU General Public License as published by
    1.17 - the Free Software Foundation, either version 3 of the License, or
    1.18 - (at your option) any later version.
    1.19 + the Free Software Foundation, version 3 of the License.
    1.20   .
    1.21   This program is distributed in the hope that it will be useful,
    1.22   but WITHOUT ANY WARRANTY; without even the implied warranty of