wiz 1ac2210b6f *: recursive bump for gdk-pixbuf2-2.38.1		2019-07-21 22:23:57 +00:00
..
patches	Updated lang/coq to version 8.9.0.	2019-03-06 09:28:23 +00:00
DESCR
distinfo	Updated lang/coq to version 8.9.1.	2019-05-23 10:55:07 +00:00
Makefile	*: recursive bump for gdk-pixbuf2-2.38.1	2019-07-21 22:23:57 +00:00
MESSAGE
options.mk	More packages wave bye-bye to python34 and python35	2019-04-26 12:44:43 +00:00
PLIST	Updated lang/coq to version 8.9.0.	2019-03-06 09:28:23 +00:00