summaryrefslogtreecommitdiff
path: root/community/coq
AgeCommit message (Expand)Author
2012-01-20Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolas Reynolds
2012-01-19Thu Jan 19 23:15:03 UTC 2012root
2011-11-01Tue Nov 1 23:15:01 UTC 2011root
2011-11-02Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolas Reynolds
2011-07-25Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolas Reynolds
2011-07-24Sun Jul 24 23:18:00 UTC 2011root
2011-05-11Merge branch 'master' of ssh://vparabola/home/parabola/abslibre-pre-mips64elNicolas Reynolds
2011-05-10Tue May 10 22:33:36 UTC 2011root
2011-04-11Added mips64el archNicolas Reynolds
2011-04-05Tue Apr 5 14:26:38 UTC 2011Parabola