freebsd-ports/devel/cbmc
..
files
distinfo
Makefile
pkg-descr
pkg-plist