diff options
Diffstat (limited to 'development/mcrl2')
| -rw-r--r-- | development/mcrl2/mcrl2.SlackBuild | 2 | ||||
| -rw-r--r-- | development/mcrl2/mcrl2.info | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/development/mcrl2/mcrl2.SlackBuild b/development/mcrl2/mcrl2.SlackBuild index 23e159e20d..356009b070 100644 --- a/development/mcrl2/mcrl2.SlackBuild +++ b/development/mcrl2/mcrl2.SlackBuild @@ -4,7 +4,7 @@ # Originally by Jockey S. Kyd (jockey dot kyd at gmail dot com) -# Ryan P.C. McQuen | Everett, WA | ryan.q@linux.com +# Ryan P.C. McQuen | Everett, WA | ryanpcmcquen@member.fsf.org # This program is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by diff --git a/development/mcrl2/mcrl2.info b/development/mcrl2/mcrl2.info index 23a7341d71..baebabddab 100644 --- a/development/mcrl2/mcrl2.info +++ b/development/mcrl2/mcrl2.info @@ -7,4 +7,4 @@ DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="" MAINTAINER="Ryan P.C. McQuen" -EMAIL="ryan.q@linux.com" +EMAIL="ryanpcmcquen@member.fsf.org" |