Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-10-01 06:32:51 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
29508 commits 308 branches 1127 tags 276 MiB
Commit graph

4 commits

Author SHA1 Message Date
dsomero
d0c108251a various: Update find command to match template. 
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
 2013-11-22 02:37:19 -05:00
Willy Sudiarto Raharjo
9d6abe0415 academic/aris: Updated for version 2.1.1. 
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackware-id.org>
Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
 2013-11-04 22:15:17 -06:00
Juan M. Lasca
c9b87b9659 academic/aris: Fix html docs. 
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
 2013-04-28 12:27:40 -03:00
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