diff options
author | Juan M. Lasca <juanmlasca@gmail.com> | 2013-03-11 21:13:19 -0400 |
---|---|---|
committer | dsomero <xgizzmo@slackbuilds.org> | 2013-03-22 07:16:40 -0400 |
commit | 17ef36e40eb0d9183fcd7a29e9ddda3d1a96950a (patch) | |
tree | 2298a88258830f60812a9814568c8563e4bea06d /development/jasspa | |
parent | d30c249588095443f15225c70d35f8099efff699 (diff) | |
download | slackbuilds-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