source: trunk/dports/lang/coq/Portfile

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(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.