From 009ef117236407a2b23b2ad3db63b223f4b1d7c4 Mon Sep 17 00:00:00 2001 From: Steve Price Date: Thu, 10 Jun 1999 08:05:28 +0000 Subject: Don't quite understand what happened but these fell out of the last commit. --- devel/nana/pkg-descr | 2 +- devel/nana/pkg-plist | 5 +++++ 2 files changed, 6 insertions(+), 1 deletion(-) (limited to 'devel/nana') diff --git a/devel/nana/pkg-descr b/devel/nana/pkg-descr index a51a34fdf4a3..de3c8acdb91f 100644 --- a/devel/nana/pkg-descr +++ b/devel/nana/pkg-descr @@ -20,4 +20,4 @@ using GDB. In particular it provides: o Support for the quantifiers of predicate calculus (forall, exists). o Support for before and after state saving and checking (x, x'). -Phil Maker +Phil Maker diff --git a/devel/nana/pkg-plist b/devel/nana/pkg-plist index 4b3f8dc30ea7..2045715fd3da 100644 --- a/devel/nana/pkg-plist +++ b/devel/nana/pkg-plist @@ -3,12 +3,17 @@ bin/nana-c++lg bin/nana-clg bin/nana-run bin/nana-trace +bin/nana-libtrace +bin/nana-sfg +bin/nana-sfdir include/DI.h include/DL.h include/GDB.h include/I.h include/L.h include/L_buffer.h +include/L_times.h +include/cycles.h include/Q.h include/Qstl.h include/calls.h -- cgit v1.2.3