diff options
author | Nick Smallbone <nick@smallbone.se> | 2020-09-04 03:58:10 +0100 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2020-09-05 08:26:44 +0700 |
commit | 3d9cd787ede47bea334c6133d786e7245f0086af (patch) | |
tree | b533b4b388ae14092ea897665ca1ee0315d08842 /games/fs-uae-arcade/fs-uae-arcade.info | |
parent | fed4d5c0254a4c51051696a840893cdb1df7f552 (diff) |
academic/cvc4: Updated for version 1.8.
Signed-off-by: Dave Woodfall <dave@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'games/fs-uae-arcade/fs-uae-arcade.info')
0 files changed, 0 insertions, 0 deletions