2014-06-21 | DPorts Builder | Update www/hotcrp to version 2.92 | tree | commitdiff |
2014-05-27 | DPorts Builder | Tweak www/hotcrp version 2.60 | tree | commitdiff |
2014-02-13 | DPorts Builder | Tweak www/hotcrp version 2.60 | tree | commitdiff |
2014-01-29 | DPorts Builder | Tweak www/hotcrp version 2.60 | tree | commitdiff |
2013-10-15 | DPorts Builder | Tweak www/hotcrp version 2.60 | tree | commitdiff |
2013-08-16 | DPorts Builder | Update www/hotcrp to version 2.60 | tree | commitdiff |
2013-05-12 | Automaton | Tweak www/hotcrp version 2.55 | tree | commitdiff |
2013-01-19 | Automaton IAS | Update www/hotcrp to version 2.55 | tree | commitdiff |
2012-12-31 | Automaton IAS | Import www/hotcrp version 2.52 | tree | commitdiff |