This website requires JavaScript.
Explore
Help
Sign In
freebsd
/
ports
Watch
1
Star
0
Fork
0
You've already forked ports
Code
Issues
Pull Requests
Actions
Packages
Projects
Releases
Wiki
Activity
Files
c52a715800ff83f6a958709fb689f16631b4ef8a
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
Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
2016-12-31 23:05:08 +00:00
distinfo
Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
2016-12-31 23:05:08 +00:00
Makefile
Mark some ports failing on armv6, for errors classified as "???",
2017-05-27 00:20:19 +00:00
pkg-descr
- Move license information from port description into LICENSE knobs
2016-11-19 11:39:40 +00:00
pkg-plist
Update to 8.6. Fix PORTEPOCH accidentally removed in the previous commit.
2016-12-31 23:05:08 +00:00