@comment $NetBSD: PLIST,v 1.1 2017/07/12 01:54:16 ryoon Exp $
bin/vfide
share/verifast/arpa/inet.h
share/verifast/arrays.c
share/verifast/arrays.gh
share/verifast/arrays.vfmanifest
share/verifast/assoclist.c
share/verifast/assoclist.gh
share/verifast/assoclist.vfmanifest
share/verifast/assume.dll.vfmanifest
share/verifast/bigstar.gh
share/verifast/bigstar.vfmanifest
share/verifast/bits/pthreadtypes.h
share/verifast/counting.gh
share/verifast/crt.dll.vfmanifest
share/verifast/crt.vfmanifest
share/verifast/dlsymtool
share/verifast/ghost_cells.gh
share/verifast/io.gh
share/verifast/io.vfmanifest
share/verifast/java_card_applet
share/verifast/list.c
share/verifast/list.gh
share/verifast/list.vfmanifest
share/verifast/listex.c
share/verifast/listex.gh
share/verifast/listex.vfmanifest
share/verifast/lseg.gh
share/verifast/main_class
share/verifast/malloc.h
share/verifast/maps.gh
share/verifast/math.h
share/verifast/mysh
share/verifast/nat.gh
share/verifast/permutations.c
share/verifast/permutations.gh
share/verifast/permutations.vfmanifest
share/verifast/prelude.h
share/verifast/prelude_core.gh
share/verifast/pthread.h
share/verifast/pthread.vfmanifest
share/verifast/quantifiers.c
share/verifast/quantifiers.gh
share/verifast/quantifiers.vfmanifest
share/verifast/raw_ghost_lists.c
share/verifast/raw_ghost_lists.gh
share/verifast/raw_ghost_lists.vfmanifest
share/verifast/rt/_assume.javaspec
share/verifast/rt/_atomics.javaspec
share/verifast/rt/_bitops.javaspec
share/verifast/rt/_list.java
share/verifast/rt/_list.javaspec
share/verifast/rt/_nat.javaspec
share/verifast/rt/_quantifiers.javaspec
share/verifast/rt/java.io.javaspec
share/verifast/rt/java.lang.javaspec
share/verifast/rt/java.lang_verified.javaspec
share/verifast/rt/java.net.javaspec
share/verifast/rt/java.nio.channels.javaspec
share/verifast/rt/java.nio.javaspec
share/verifast/rt/java.util.concurrent.javaspec
share/verifast/rt/java.util.javaspec
share/verifast/rt/javacard.framework.javaspec
share/verifast/rt/javacard.security.javaspec
share/verifast/rt/javacardx.crypto.javaspec
share/verifast/rt/org.globalplatform.javaspec
share/verifast/rt/rt.jarspec
share/verifast/rt/rt_verified.jarspec
share/verifast/rt/rt_verified.jarsrc
share/verifast/stdbool.h
share/verifast/stddef.h
share/verifast/stdint.h
share/verifast/stdio.h
share/verifast/stdio_simple.h
share/verifast/stdio_simple.vfmanifest
share/verifast/stdlib.h
share/verifast/string.h
share/verifast/threading.c
share/verifast/threading.h
share/verifast/threading.vfmanifest
share/verifast/unistd.h
share/verifast/verifast
share/verifast/vf__floating_point.h
share/verifast/vfide
share/verifast/vfidedemo.bat
share/verifast/vfstrip