This website requires JavaScript.
Explore
Help
Sign In
cpet
/
freebsd-ports
Watch
1
Star
0
Fork
0
You've already forked freebsd-ports
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
b3d8398fdd
freebsd-ports
/
math
/
coq
History
Mark Linimon
c52a715800
Mark some ports failing on armv6, for errors classified as "???",
...
part 2. While here, pet portlint. Approved by: portmgr (tier-2 blanket)
2017-05-27 00:20:19 +00:00
..
files
distinfo
Makefile
pkg-descr
pkg-plist