search

CTSRD-CHERI / cheribsd-ports

FreeBSD ports tree adapted for CheriBSD.
https://CheriBSD.org
Other
5 stars 10 forks source link

devel/git: missing in CheriBSD:20230804:{aarch64c,aarch64c-debug,aarch64cb} #116

Closed kwitaszczyk closed 1 year ago

kwitaszczyk commented 1 year ago

It is available now.