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
1dd0735e63
pkgsrc
/
lang
/
coq
History
wiz
e03c03b6dc
Recursive PKGREVISION bump for libgcrypt-1.6.0 shlib major bump.
2014-01-01 11:52:02 +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
Recursive PKGREVISION bump for libgcrypt-1.6.0 shlib major bump.
2014-01-01 11:52:02 +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