diff options
| author |   David Spencer | 2018-05-02 23:56:15 +0200 |
|---|---|---|
| committer | David Spencer | 2018-05-02 23:56:15 +0200 |
| commit | 68165dba1040e7c283e5fdfd436da56672a0042a (patch) | |
| tree | 4a15eb2492af548bb0e1b449093689fa6f6ecf32 /academic | |
| parent | d66ede22edaeb26f30f0f28e884ef2dbdd7d1f95 (diff) | |
| download | slackbuilds-68165dba1040e7c283e5fdfd436da56672a0042a.tar.gz | |
development/mcrl2: Updated homepage and download.
Signed-off-by: David Spencer <idlemoor@slackbuilds.org>
Diffstat (limited to 'academic')
0 files changed, 0 insertions, 0 deletions