index
:
slackcoder/slackbuilds.org/slackbuilds
master
Slackbuild scripts
Mirror
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
academic
/
z3
Mode
Name
Size
-rw-r--r--
README
561
log
plain
-rw-r--r--
slack-desc
1009
log
plain
-rw-r--r--
z3.SlackBuild
3859
log
plain
-rw-r--r--
z3.info
297
log
plain