Files: debian/*
Copyright: © 2006, Robert S. Edmonds <edmonds@debian.org>.
- © 2009-2019, Rogério Brito <rbrito@ime.usp.br>.
+ © 2009-2019, Rogério Brito <rbrito@ime.usp.br>.
License: GPL-2+
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