Nick Smallbone
25d036b157
academic/coq: Updated for version 8.9.0.
...
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
2020-01-18 07:49:05 +07:00
Matteo Bernardini
783ba9e72b
academic/coq: Updated for version 8.5pl1.
...
Signed-off-by: Matteo Bernardini <ponce@slackbuilds.org>
2016-07-20 14:20:08 -05:00
David Spencer
a723699906
academic/coq: Updated for version 8.4pl6.
...
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>
2016-01-17 09:40:16 +07:00
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
dsomero
610e8461bb
various: Fix slack-desc formatting and comment nit picks.
...
Signed-off-by: dsomero <xgizzmo@slackbuilds.org>
2013-11-22 02:29:22 -05:00
Niels Horn
b280c97d09
*: newest dep-fixes
...
Signed-off-by: Niels Horn <niels.horn@slackbuilds.org>
2012-09-01 18:38:43 +02:00
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
