diff options
| author | Nick Smallbone <nick@smallbone.se> | 2019-04-19 22:12:38 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2019-04-19 22:12:38 +0700 |
| commit | c4942e819da128b70b59132d873de0939548c336 (patch) | |
| tree | 68a98e39a5cd3125b7ecd844a138532bb6fc321f /academic/gri | |
| parent | 5a6e6b8fef4d9e77d6548589b7bc53e7832dbc9e (diff) | |
| download | slackbuilds-c4942e819da128b70b59132d873de0939548c336.tar.gz | |
academic/cvc4: Updated for version 1.7.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/gri')
0 files changed, 0 insertions, 0 deletions