projects / pkgsrc.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
update Sat Jun 19 12:37:00 PDT 2010
[pkgsrc.git] / wip / coq /
drwxr-xr-x   ..
-rw-r--r-- 230 DESCR blob | blame | history | raw
-rw-r--r-- 1389 Makefile blob | blame | history | raw
-rw-r--r-- 25793 PLIST blob | blame | history | raw
-rw-r--r-- 189 distinfo blob | blame | history | raw
-rw-r--r-- 401 options.mk blob | blame | history | raw
DragonFly Project mirror of NetBSD pkgsrc GIT Source Repo