search

CTSRD-CHERI / cheribsd-ports

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

editors/kate: build an aarch64c package #13

Closed kwitaszczyk closed 1 year ago

kwitaszczyk commented 2 years ago

PR: #56. Requested by: 22.05 release.

kwitaszczyk commented 1 year ago

A package for the 20220828 CheriBSD ABI version is published now.