diff --git a/bin/common_setup.cc b/bin/common_setup.cc index b075bf48b..88bfac872 100644 --- a/bin/common_setup.cc +++ b/bin/common_setup.cc @@ -1,5 +1,5 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2012-2020 Laboratoire de Recherche et Développement +// Copyright (C) 2012-2021 Laboratoire de Recherche et Développement // de l'Epita (LRDE). // // This file is part of Spot, a model checking library. @@ -35,7 +35,7 @@ display_version(FILE *stream, struct argp_state*) fputs(program_name, stream); fputs(" (" PACKAGE_NAME ") " PACKAGE_VERSION "\n\ \n\ -Copyright (C) 2020 Laboratoire de Recherche et Développement de l'Epita.\n\ +Copyright (C) 2021 Laboratoire de Recherche et Développement de l'Epita.\n\ License GPLv3+: \ GNU GPL version 3 or later .\n\ This is free software: you are free to change and redistribute it.\n\ diff --git a/debian/copyright b/debian/copyright index ae2340f5f..9a33f2a46 100644 --- a/debian/copyright +++ b/debian/copyright @@ -4,7 +4,7 @@ Source: http://spot.lrde.epita.fr/dload/spot/ Files: * Copyright: 2003-2007 Laboratoire d'Informatique de Paris 6 (LIP6) - 2007-2020 Laboratoire de Recherche et Développement de l'Epita (LRDE) + 2007-2021 Laboratoire de Recherche et Développement de l'Epita (LRDE) License: GPL-3+ Spot is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by