Age | Commit message (Collapse) | Author | |
---|---|---|---|
2016-07-20 | academic/coq: Updated for version 8.5pl1. | Matteo Bernardini | |
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org> | |||
2016-01-17 | academic/coq: Updated for version 8.4pl6. | David Spencer | |
Fixes build failure with make-4.1. Signed-off-by: David Spencer <baildon.research@googlemail.com> Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org> | |||
2013-11-22 | various: Update find command to match template. | dsomero | |
Signed-off-by: dsomero <xgizzmo@slackbuilds.org> | |||
2013-11-22 | various: Fix SlackBuild formatting and comment nit picks. | dsomero | |
Signed-off-by: dsomero <xgizzmo@slackbuilds.org> | |||
2011-08-05 | academic/coq: Added (The Coq Proof Assistant) | William Bowman | |
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org> |