diff options
author | Jefferson Rocha <root@slackjeff.com.br> | 2019-08-10 01:23:33 +0700 |
---|---|---|
committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2019-08-10 01:23:33 +0700 |
commit | 5c892d971b7ddf69670fc13660611448edc44430 (patch) | |
tree | 0db299961bb46c802b223f5d8eff45ea013c368b /games/eduke32/eduke32.6 | |
parent | 36687d4fe696ab12b6c1c509cbb46bb94dd12dcd (diff) | |
download | slackbuilds-5c892d971b7ddf69670fc13660611448edc44430.tar.gz |
academic/abella: Added (interactive theorem prover).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'games/eduke32/eduke32.6')
0 files changed, 0 insertions, 0 deletions