Simon Mages <> writes:

> Anything else i have to do?
> Or only wait until somebody picks it up and commits it?

New ports must be reviewed by at least a second developer.

As far as I'm concerned, the port looks good as is. ok jca@ is if
someone wants to import it.

Tarball attached for convenience.

Attachment: cbmc.3.tar.gz
Description: Binary data

jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF  DDCC 0DFA 74AE 1524 E7EE

Reply via email to