diff options
| author | Ryan P.C. McQuen <ryanpcmcquen@gmail.com> | 2014-05-06 17:49:11 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2014-05-12 07:35:46 +0700 |
| commit | d356f9aef7a029c8497fea94af8b8d2c73471e5f (patch) | |
| tree | b83de08a6b60f55e711eaca1b44cf29d46a40b29 /games | |
| parent | 88255a2a6560cd296e81d200c8cd5ed08e101f31 (diff) | |
development/mcrl2: Updated for version 201310.0. + new maintainer.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'games')
0 files changed, 0 insertions, 0 deletions