@comment $NetBSD$
bin/futurize
bin/pasteurize
include/deepstate/Compiler.h
include/deepstate/DeepState.h
include/deepstate/DeepState.hpp
include/deepstate/Klee.h
include/deepstate/Log.h
include/deepstate/Option.h
include/deepstate/Stream.h
include/deepstate/Stream.hpp
lib/libdeepstate.a
lib/libdeepstate32.a
