summaryrefslogtreecommitdiff
path: root/libraries/daq
diff options
context:
space:
mode:
authorJefferson Rocha <root@slackjeff.com.br>2019-08-10 01:23:33 +0700
committerWilly Sudiarto Raharjo <willysr@slackbuilds.org>2019-08-10 01:23:33 +0700
commit5c892d971b7ddf69670fc13660611448edc44430 (patch)
tree0db299961bb46c802b223f5d8eff45ea013c368b /libraries/daq
parent36687d4fe696ab12b6c1c509cbb46bb94dd12dcd (diff)
downloadslackbuilds-5c892d971b7ddf69670fc13660611448edc44430.tar.gz
academic/abella: Added (interactive theorem prover).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'libraries/daq')
0 files changed, 0 insertions, 0 deletions