mirror of
https://github.com/openbsd/ports.git
synced 2026-06-18 15:33:55 +02:00
naddy
7 lines
134 B
Plaintext
7 lines
134 B
Plaintext
@bin bin/ccomp
|
|
@static-lib lib/libcompcert.a
|
|
@man man/man1/ccomp.1
|
|
share/compcert/
|
|
share/compcert/LICENSE
|
|
share/compcert/compcert.ini
|