diff options
| author | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2017-06-10 10:48:58 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2017-06-10 10:48:58 +0700 |
| commit | 2a42fd0085794da7552d19048e188054472953d8 (patch) | |
| tree | d1821c82adb0a2d24ccb6080d2b6bc51690287bd /development/mcrl2/mcrl2.info | |
| parent | 7b40b9f58d5acf7fc3c91f5bca717aff56fca456 (diff) | |
| download | slackbuilds-14.2-20170610.1.tar.gz | |
Public www update: Sat Jun 10 03:48:34 UTC 2017.14.2-20170610.1
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/mcrl2/mcrl2.info')
0 files changed, 0 insertions, 0 deletions