summaryrefslogtreecommitdiff
path: root/community/coq
AgeCommit message (Expand)Author
2012-02-07Merge branch 'master' of ssh://parabolagnulinux.org:1863/home/parabola/abslib...Michał Masłowski
2012-02-06Mon Feb 6 23:14:50 UTC 2012root
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