Simon Mages <mages.si...@googlemail.com> 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.
cbmc.3.tar.gz
Description: Binary data
-- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
