2014-07-13 | DPorts Builder | Tweak devel/menhir version 20080912 | tree | commitdiff |
2014-02-11 | DPorts Builder | Tweak devel/menhir version 20080912 | tree | commitdiff |
2014-01-28 | DPorts Builder | Tweak devel/menhir version 20080912 | tree | commitdiff |
2013-10-14 | DPorts Builder | Tweak devel/menhir version 20080912 | tree | commitdiff |
2013-08-17 | DPorts Builder | Import devel/menhir version 20080912 | tree | commitdiff |
2013-08-14 | DPorts Builder | Prune 6 broken ports | tree | commitdiff |
2013-03-23 | Automaton | Import devel/menhir version 20080912 | tree | commitdiff |