diff options
| author | Matteo Bernardini <ponce@slackbuilds.org> | 2012-09-14 18:06:45 +0200 |
|---|---|---|
| committer | Matteo Bernardini <ponce@slackbuilds.org> | 2012-09-14 18:07:02 +0200 |
| commit | 64e7b54475161089cda80622239b597cece4bd0e (patch) | |
| tree | 8311394880f089b52a7a607a7eb697a7562b5b5a /development/mcrl2 | |
| parent | 88e005204ea3b8424d1d8446efaff1b1e7788e35 (diff) | |
| download | slackbuilds-64e7b54475161089cda80622239b597cece4bd0e.tar.gz | |
development/mlton: Fixed download location.
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
Diffstat (limited to 'development/mcrl2')
0 files changed, 0 insertions, 0 deletions