/graphics/libcaca/

e='freebsd-ports-gnome Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/math/coq/pkg-plist
Commit message (Expand)AuthorAgeFilesLines
* Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.hrs2017-01-011-116/+129
* Update to 8.5.hrs2016-12-311-809/+2806
* Update Coq to 8.4pl6johans2015-05-231-0/+1
* Cleanup plistantoine2014-11-141-85/+1