source: trunk/dports/lang/coq/Portfile

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @150370   12 months cal coq: 8.5pl2, maintainer, closes #51867
(edit) @148091   15 months mf2k coq: Update to version 8.5pl1. (#51229)
(edit) @145061   18 months khindenburg coq: update to 8.5 maintainer #50428
(edit) @137992   2 years mww inc. revision to rebuild library dependents of ocaml (ocaml update to …
(edit) @137763   2 years larryv coq: Update to 8.4pl6 (#48097)
(edit) @128897   3 years ionic coq: update to 8.4pl5. maintainer upload. fixes #46062.
(edit) @127095   3 years larryv coq: Fix build with OCaml 4.02 (#45508) OCaml 4.02 requires the …
(edit) @123031   3 years khindenburg coq: for +doc add needed dep #42121
(edit) @120266   3 years ryandesign coq: update to 8.4pl4; new maintainer (#43770)
(edit) @115013   4 years larryv coq: Convert stray tabs to spaces.
(edit) @115012   4 years larryv coq: Fix checksums; use published distribution URL.
(edit) @115011   4 years larryv coq: Add modeline, reformat, rearrange.
(edit) @115010   4 years larryv coq: Update to 8.4pl3 (#41877).
(edit) @111008   4 years mww increase revision on ports depending on ocaml (which was updated to …
(edit) @106340   4 years larryv coq: Orphan abandoned port (#38042).
(edit) @104985   4 years cal coq: update to 8.4pl2, closes #38696
(edit) @102359   4 years ecronin coq: update to 8.4pl1 Maintainer timeout. Closes #37425
(edit) @98282   5 years cal coq: update to 8.4, closes #36005, maintainer timeout
(edit) @96032   5 years mww coq: use ocaml3, inc revision
(edit) @94778   5 years mww coq: version 8.3pl4
(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   6 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   8 years alakazam Fix lint report for Coq : add required 'platforms' variable
(edit) @47219   8 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   11 years olegb Bug: Submitted by: jmaessen@… Antoine.Reilles@… …
(edit) @16056   12 years olegb Bug: 6130 Submitted by: reilles@… Reviewed by: …
(edit) @11210   12 years gwright Install the style file coqdoc.sty in ${prefix}/share/coq/latex, …
(edit) @10887   12 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   13 years olegb Bug: 1542 Submitted by: reilles@… (Antoine …
Note: See TracRevisionLog for help on using the revision log.