diff options
| author | Robby Workman <rworkman@slackbuilds.org> | 2014-04-30 06:53:44 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2014-04-30 06:53:44 +0700 |
| commit | f464f8ab605e2adf0a854f94e901909c412065d6 (patch) | |
| tree | 6f6de77e48ee106336c7683e4311008c83461508 /development/mcrl2/mcrl2.info | |
| parent | 9b523d2a2fecab482b467fbc97e247d3b0a6dedd (diff) | |
libraries/libvirt: Updated for version 1.2.3.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/mcrl2/mcrl2.info')
0 files changed, 0 insertions, 0 deletions