alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

bump copyright year

Browse source 
* bin/common_setup.cc, debian/copyright: Here.
This commit is contained in:
Alexandre Duret-Lutz 2018-01-02 20:34:38 +01:00
parent 0aca26e3f9
commit 678446f1d6
2 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

6
bin/common_setup.cc
View file

@ -1,6 +1,6 @@
// -*- coding: utf-8 -*- // -*- coding: utf-8 -*-
// Copyright (C) 2012, 2013, 2014, 2015, 2016, 2017 Laboratoire de // Copyright (C) 2012-2018 Laboratoire de Recherche et Développement
// Recherche et Développement de l'Epita (LRDE). // de l'Epita (LRDE).
// //
// This file is part of Spot, a model checking library. // 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(program_name, stream);
fputs(" (" PACKAGE_STRING ")\n\ fputs(" (" PACKAGE_STRING ")\n\
\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+: \ License GPLv3+: \
GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.\n\ GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>.\n\
This is free software: you are free to change and redistribute it.\n\ This is free software: you are free to change and redistribute it.\n\

4
debian/copyright vendored
View file

@ -4,7 +4,7 @@ Source: http://spot.lrde.epita.fr/dload/spot/
Files: * Files: *
Copyright: 2003-2007 Laboratoire d'Informatique de Paris 6 (LIP6) 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+ License: GPL-3+
Spot is free software; you can redistribute it and/or modify it Spot is free software; you can redistribute it and/or modify it
under the terms of the GNU General Public License as published by 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". Public License version 3 can be found in "/usr/share/common-licenses/GPL-3".
Files: debian/* 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+ License: GPL-3+
This package is free software; you can redistribute it and/or modify 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 it under the terms of the GNU General Public License as published by