/devel/py-usb/

nt.com.tw/~lantw44/git/freebsd-ports-gnome' title='freebsd-ports-gnome Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/math/coq/distinfo
Commit message (Expand)AuthorAgeFilesLines
* Update to Coq 8.4pl5johans2014-12-221-2/+2
* - Update coq to 8.4.3johans2014-01-111-2/+2
* Update coq to 8.4.2johans2013-04-301-2/+2
* - Update coq to 8.4 pl1 [1]johans2013-02-171-2/+2
* - Update coq to 8.3.3johans2012-03-251-2/+2
* Update coq to 8.3.2johans2011-04-261-2/+2
* - Update coq to 8.3pl1johans2011-02-121-2/+2
* - Update coq to 8.3johans2010-11-091-3/+2
* - Update to version 8.2pl1johans2010-06-251-3/+3
* Update to 8.2.1johans2009-03-161-3/+3
* - Update to 8.1pl3johans2008-04-071-3/+3
* Update to 8.1.1 (bugfix release)johans2007-07-301-3/+3