/multimedia/ksubeditor/

w.csie.ntu.edu.tw/~b01902062/git/freebsd-ports-gnome' title='freebsd-ports-gnome Git repository'/>
aboutsummaryrefslogtreecommitdiffstats
path: root/math/coq/pkg-plist
Commit message (Expand)AuthorAgeFilesLines
* - Update coq to 8.4 pl1 [1]johans2013-02-171-787/+849
* - Update coq to 8.3.3johans2012-03-251-0/+1
* - Update coq to 8.3johans2010-11-09lass='commitgraph'>* Remove USE_REINPLACE from ports starting with Medwin2006-05-111-1/+0
* Update to 1.3.1edwin2005-11-152-3/+4
* At Kris's request, back out the MACHINE_ARCH spelling correction untilobrien2005-04-121-1/+1
* Assist getting more ports working on AMD64 by obeying theobrien2005-04-111-1/+1