diff options
Diffstat (limited to 'devel/pvs/PLIST.linux-i386')
| -rw-r--r-- | devel/pvs/PLIST.linux-i386 | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/pvs/PLIST.linux-i386 b/devel/pvs/PLIST.linux-i386 new file mode 100644 index 00000000000..e58f43590a1 --- /dev/null +++ b/devel/pvs/PLIST.linux-i386 @@ -0,0 +1,11 @@ +@comment $NetBSD: PLIST.linux-i386,v 1.1 2007/08/22 17:28:09 jlam Exp $ +pvs/bin/ix86-redhat5/runtime/file_utils.so +pvs/bin/ix86-redhat5/runtime/files.bu +pvs/bin/ix86-redhat5/runtime/libacl623.so +pvs/bin/ix86-redhat5/runtime/mu.so +pvs/bin/ix86-redhat5/runtime/pvs-allegro6.2 +pvs/bin/ix86-redhat5/runtime/pvs-allegro6.dxl +pvs/bin/ix86-redhat5/runtime/pvs-allegro6.lic +pvs/bin/ix86-redhat5/runtime/ws1s.so +@dirrm pvs/bin/ix86-redhat5/runtime +@dirrm pvs/bin/ix86-redhat5 |