Miroirs/slackbuilds_ponce
1
0
Fork 0
mirror of https://github.com/Ponce/slackbuilds synced 2024-11-18 22:06:04 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
16571 commits 322 branches 1143 tags 288 MiB
Commit graph

4 commits

Author SHA1 Message Date
Robby Workman
738fcf4d62 academic/coq: Fixed dep information 
Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
 2012-08-22 16:07:13 -05:00
Erik Hanson
4248415dde Add REQUIRED field to .info files. 
Signed-off-by: Erik Hanson <erik@slackbuilds.org>
 2012-08-19 21:57:51 -05:00
Robby Workman
143991a46e Entire Repo: Remove APPROVED field from .info files 
This field used to make sense in our pre-git days, but
the Signed-Off-By: line serves the same purpose (and
even more) now, so APPROVED has been rejected.  ;-)

Signed-off-by: Robby Workman <rworkman@slackbuilds.org>
 2012-08-14 23:22:50 -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