This website requires JavaScript.
Explore
Help
Register
Sign In
kpriv
/
freebsd-ports
Watch
1
Star
0
Fork
You've already forked freebsd-ports
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
8a4c6cf1d8
freebsd-ports
/
math
/
coq
History
Mathieu Arnold
8d6597e0bb
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
...
With hat: portmgr Sponsored by: Absolight
2016-04-01 14:16:16 +00:00
..
distinfo
Makefile
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.
2016-04-01 14:16:16 +00:00
pkg-descr
pkg-plist