This website requires JavaScript.
Explore
Help
Register
Sign in
kpriv
/
pkgsrc
Watch
1
Star
0
Fork
You've already forked pkgsrc
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
805fc939b9
pkgsrc
/
lang
/
coq
History
tonio
2800f5739e
natdynlink is supported on darwin
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