source: trunk/dports/lang/coq/Portfile

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @87729   6 years dports coq: license
(edit) @87727   6 years dports coq: update to v8.3pl2 (#32074, maintainer timeout)
(edit) @84101   6 years jmr coq: update to 8.3pl1 (#28843)
(edit) @75734   7 years jmr coq: disable universal variant (closes #22596)
(edit) @75364   7 years jmr coq: disable parallel build with doc variant (#22182)
(edit) @62316   8 years jann Fix for ticket #22254
(edit) @58228   8 years ryandesign coq: fix dependencies in variants so they don't override other dependencies
(edit) @58218   8 years jann Version update from ticket #21415
(edit) @50984   8 years and.damore Maintainer email change, second batch, mail without @macports.org …
(edit) @47220   9 years alakazam Fix lint report for Coq : add required 'platforms' variable
(edit) @47219   9 years alakazam Update to Coq 8.2. Closes #18536 (maintainer timeout).
(edit) @36889   9 years ryandesign coq: update to 8.1pl3; closes #13940 (maintainer timeout)
(edit) @36888   9 years ryandesign coq: enable parallel build
(edit) @36887   9 years ryandesign coq: simplify things; fix "Error: No defined site for tag: coq, using …
(edit) @30978   10 years milosh Update from maintainer. Coq now builds with ocaml 3.10.
(edit) @25215   10 years jann Update by maintainer
(edit) @20320   11 years blair Set the svn:keywords property to 'Id' for all Portfile's. This …
(edit) @16244   12 years olegb Bug: Submitted by: jmaessen@… Antoine.Reilles@… …
(edit) @16056   12 years olegb Bug: 6130 Submitted by: reilles@… Reviewed by: …
(edit) @11210   13 years gwright Install the style file coqdoc.sty in ${prefix}/share/coq/latex, …
(edit) @10887   13 years gwright Version bump to 8.0pl2. Thanks to Antoine Reilles! Bug: Submitted by: …
(edit) @9017   13 years mww Bug: #2351 Submitted by: reilles@… Reviewed by: …
(edit) @8170   13 years mww Submitted by: reilles@… change maintainer to …
(edit) @8168   13 years olegb Bug: 2145 Submitted by: reilles@… (Antoine …
(edit) @7692   13 years olegb Bug: Submitted by: Reviewed by: Approved by: Obtained from: update …
(add) @5600   14 years olegb Bug: 1542 Submitted by: reilles@… (Antoine …
Note: See TracRevisionLog for help on using the revision log.