summaryrefslogtreecommitdiff
path: root/development/jasspa
diff options
context:
space:
mode:
authorJuan M. Lasca <juanmlasca@gmail.com>2013-03-11 21:13:19 -0400
committerdsomero <xgizzmo@slackbuilds.org>2013-03-22 07:16:40 -0400
commit17ef36e40eb0d9183fcd7a29e9ddda3d1a96950a (patch)
tree2298a88258830f60812a9814568c8563e4bea06d /development/jasspa
parentd30c249588095443f15225c70d35f8099efff699 (diff)
downloadslackbuilds-17ef36e40eb0d9183fcd7a29e9ddda3d1a96950a.tar.gz
academic/aris: Added (sequential proof program)
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
Diffstat (limited to 'development/jasspa')
0 files changed, 0 insertions, 0 deletions