source: trunk/dports/devel/Djinn

Revision Log Mode:


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