From 678446f1d677f1f83aed993bd061657591d1fdc9 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 2 Jan 2018 20:34:38 +0100 Subject: [PATCH] bump copyright year * bin/common_setup.cc, debian/copyright: Here. --- bin/common_setup.cc | 6 +++--- debian/copyright | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/bin/common_setup.cc b/bin/common_setup.cc index 15e181983..f82c3e357 100644 --- a/bin/common_setup.cc +++ b/bin/common_setup.cc @@ -1,6 +1,6 @@ // -*- coding: utf-8 -*- -// Copyright (C) 2012, 2013, 2014, 2015, 2016, 2017 Laboratoire de -// Recherche et Développement de l'Epita (LRDE). +// Copyright (C) 2012-2018 Laboratoire de Recherche et Développement +// de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // @@ -34,7 +34,7 @@ display_version(FILE *stream, struct argp_state*) fputs(program_name, stream); fputs(" (" PACKAGE_STRING ")\n\ \n\ -Copyright (C) 2017 Laboratoire de Recherche et Développement de l'Epita.\n\ +Copyright (C) 2018 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 ee92f3601..7520e4836 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-2015 Laboratoire de Recherche et Développement de l'Epita (LRDE) + 2007-2018 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 @@ -145,7 +145,7 @@ License: GPL-3+ Public License version 3 can be found in "/usr/share/common-licenses/GPL-3". Files: debian/* -Copyright: 2015 Laboratoire de Recherche et Développement de l'Epita (LRDE) +Copyright: 2015-2018 Laboratoire de Recherche et Développement de l'Epita (LRDE) License: GPL-3+ This package is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by