Import ruby-clutter-gst-0.8.0 as multimedia/ruby-clutter-gst.
[pkgsrc.git] / math / coq /
drwxr-xr-x   ..
-rw-r--r-- 306 DESCR
-rw-r--r-- 610 MESSAGE
-rw-r--r-- 630 Makefile
-rw-r--r-- 9083 PLIST
-rw-r--r-- 106 PLIST.opt
-rw-r--r-- 172 distinfo
drwxr-xr-x - patches