2014-02-12 | DPorts Builder | Tweak math/coq version 8.4.3,1 | tree | commitdiff |
2014-01-29 | DPorts Builder | Update math/coq to version 8.4.3,1 | tree | commitdiff |
2013-10-15 | DPorts Builder | Tweak math/coq version 8.4.2,1 | tree | commitdiff |
2013-06-18 | DPorts Builder | Tweak math/coq version 8.4.2,1 | tree | commitdiff |
2013-06-06 | Automaton | Tweak math/coq version 8.4.2,1 | tree | commitdiff |
2013-05-11 | Automaton | Update math/coq to version 8.4.2,1 | tree | commitdiff |
2013-04-24 | Automaton | Import math/coq version 8.4.1_1,1 | tree | commitdiff |