Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Spot
Spot
Commits
cfb782ce
Commit
cfb782ce
authored
Jan 06, 2022
by
Alexandre Duret-Lutz
Browse files
bump copyright year
* bin/common_setup.cc, debian/copyright: Here.
parent
22987434
Changes
2
Hide whitespace changes
Inline
Side-by-side
bin/common_setup.cc
View file @
cfb782ce
// -*- coding: utf-8 -*-
// Copyright (C) 2012-202
1
Laboratoire de Recherche et Développement
// Copyright (C) 2012-202
2
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) 202
1
Laboratoire de Recherche et Développement de l'Epita.
\n
\
Copyright (C) 202
2
Laboratoire de Recherche et Développement de l'Epita.
\n
\
License GPLv3+: \
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
\
...
...
debian/copyright
View file @
cfb782ce
...
...
@@ -4,7 +4,7 @@ Source: http://spot.lrde.epita.fr/dload/spot/
Files: *
Copyright: 2003-2007 Laboratoire d'Informatique de Paris 6 (LIP6)
2007-202
1
Laboratoire de Recherche et Développement de l'Epita (LRDE)
2007-202
2
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
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment