@comment $NetBSD: PLIST,v 1.3 2023/06/20 10:44:42 adam Exp $
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