diff options
| author | Kyle Guinn <elyk03@gmail.com> | 2015-02-12 00:57:59 -0600 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2015-02-15 07:56:32 +0700 |
| commit | 8b610bdb197e750d90521a617d514b5c0ba62db7 (patch) | |
| tree | a250892e3d052e3059ea94a9ed1f375c77624c0d /development/mcrl2 | |
| parent | 444e1342b0a218a8170e420f79f2ce6e49dc5e70 (diff) | |
| download | slackbuilds-8b610bdb197e750d90521a617d514b5c0ba62db7.tar.gz | |
development/eagle: Updated for version 7.2.0 + new maintainer.
Signed-off-by: Kyle Guinn <elyk03@gmail.com>
Diffstat (limited to 'development/mcrl2')
0 files changed, 0 insertions, 0 deletions