13 lines
355 B
Text
13 lines
355 B
Text
@comment $NetBSD: PLIST,v 1.2 2020/09/29 03:01:16 khorben Exp $
|
|
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
|