pkgsrc/lang/coq
2013-11-02 17:57:17 +00:00
..
patches Don't use -fno-defer-pop. 2013-10-27 22:22:31 +00:00
DESCR
distinfo Don't use -fno-defer-pop. 2013-10-27 22:22:31 +00:00
Makefile natdynlink is supported on darwin 2013-11-02 17:57:17 +00:00
MESSAGE
options.mk Updated package to add 'doc' option and (if given) build documentation, as 2012-11-16 14:44:22 +00:00
PLIST Install a LaTeX style file into texmf-dist, not texmf. 2013-10-30 00:21:49 +00:00