Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-10-09 23:07:09 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions
27702 commits 311 branches 1129 tags 278 MiB
Commit graph

3 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
dsomero
687c78d560 various: Fix SlackBuild formatting and comment nit picks. 
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
 2013-11-22 02:34:22 -05:00
William Bowman
bef4f3c03f academic/coq: Added (The Coq Proof Assistant) 
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
 2011-08-05 11:11:34 -03:00