wiz 200e3c4a04 Bump dependency on pixman to 0.18.4 because cairo-1.10 needs that ... version, and bump all depends. Per discussion on pkgsrc-changes.		2010-09-14 11:00:44 +00:00
..
patches	Support staged installation.	2009-12-12 21:12:43 +00:00
DESCR
distinfo	Support staged installation.	2009-12-12 21:12:43 +00:00
Makefile	Bump dependency on pixman to 0.18.4 because cairo-1.10 needs that	2010-09-14 11:00:44 +00:00
MESSAGE
PLIST	Update lang/coq to 8.2pl1	2009-09-05 20:44:57 +00:00
PLIST.opt	Update lang/coq to 8.2pl1	2009-09-05 20:44:57 +00:00