mirror of
https://github.com/Ponce/slackbuilds
synced 2024-11-18 22:06:04 +01:00
a723699906
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>
10 lines
286 B
Text
10 lines
286 B
Text
PRGNAM="coq"
|
|
VERSION="8.4pl6"
|
|
HOMEPAGE="http://coq.inria.fr/"
|
|
DOWNLOAD="http://coq.inria.fr/distrib/V8.4pl6/files/coq-8.4pl6.tar.gz"
|
|
MD5SUM="2334a98b64578cb81d2b4127e327b368"
|
|
DOWNLOAD_x86_64=""
|
|
MD5SUM_x86_64=""
|
|
REQUIRES="camlp5"
|
|
MAINTAINER="William Bowman"
|
|
EMAIL="wilbowma@indiana.edu"
|