diff options
| author | Markus Reichelt <slackbuilds@mareichelt.de> | 2014-10-03 08:58:07 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2014-10-03 10:17:07 +0700 |
| commit | c5bac354e87126a481cd71b89f7c88aaffbb4958 (patch) | |
| tree | c2b66fd88dc42c8036a48106c2499fab07d780bf /development/mcrl2 | |
| parent | a3efbdb2df160a06bf6d31f1108c3b3893f64836 (diff) | |
libraries/Botan: Updated for version 1.10.8.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/mcrl2')
0 files changed, 0 insertions, 0 deletions