This website requires JavaScript.
Explore
Sign In
openbsd
/
ports
Watch
1
Star
0
Fork
0
You've already forked ports
mirror of
https://github.com/openbsd/ports.git
synced
2026-06-18 07:24:23 +02:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
master
ports
/
devel
/
cbmc
T
Add File
New File
Upload File
Apply Patch
Copy Permalink
Download directory as ZIP
Download directory as TAR.GZ
History
kmos
9661240f32
Mark BROKEN-sparc64 since the version of GNU ar in base is too old
...
to support "thin" archives
2026-03-23 02:46:53 +00:00
..
patches
…
pkg
…
distinfo
…
Makefile
Mark BROKEN-sparc64 since the version of GNU ar in base is too old
2026-03-23 02:46:53 +00:00
kmos