Date: Sun, 25 Mar 2012 09:21:05 +0000 (UTC) From: Johan van Selst <johans@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/math/coq Makefile distinfo pkg-plist ports/math/coq/files ide-coqide.diff patch-coq-camlp5-605 Message-ID: <201203250921.q2P9L54J097587@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
johans 2012-03-25 09:21:05 UTC
FreeBSD ports repository
Modified files:
math/coq Makefile distinfo pkg-plist
Added files:
math/coq/files patch-coq-camlp5-605
Removed files:
math/coq/files ide-coqide.diff
Log:
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag
Feature safe: yes
Revision Changes Path
1.33 +1 -5 ports/math/coq/Makefile
1.14 +2 -2 ports/math/coq/distinfo
1.2 +0 -47 ports/math/coq/files/ide-coqide.diff (dead)
1.1 +357 -0 ports/math/coq/files/patch-coq-camlp5-605 (new)
1.12 +1 -0 ports/math/coq/pkg-plist
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201203250921.q2P9L54J097587>