source: trunk/dports/devel/Djinn

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @131201   3 years cal revbump all haskell ports, follows r131199, #44891
(edit) @81886   6 years jmr Djinn: remove use of cd
(edit) @50980   9 years and.damore Maintainers batch change, removed @macports.org
(edit) @24132   11 years ryandesign Set the svn:keywords property to 'Id' for all Portfiles. See this …
(edit) @21477   11 years eridius Massive update to svn properties on files: All patchfiles have …
(add) @21162   11 years bfulgham Add new ports: Djinn (a theorem prover) and hs-zlib, Haskell bindings …
Note: See TracRevisionLog for help on using the revision log.