diff options
| author | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2021-01-02 10:49:39 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2021-01-02 10:49:39 +0700 |
| commit | b6a0da09a046208f4ab505df01273456b56a8b55 (patch) | |
| tree | 800ceaf82954e9215c7cbfceb6eaff0d5bccdfde /development/mcrl2/mcrl2.info | |
| parent | 70cecced33af48a1846ca46754da7ebd5c7080d0 (diff) | |
| download | slackbuilds-14.2-20210102.1.tar.gz | |
Public www update: Sat Jan 2 03:49:17 UTC 2021.14.2-20210102.1
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/mcrl2/mcrl2.info')
0 files changed, 0 insertions, 0 deletions