Commit graph

1 commit

Author SHA1 Message Date
Juan M. Lasca
17ef36e40e academic/aris: Added (sequential proof program)
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
2013-03-22 07:16:40 -04:00