From 82dac92c1deb11b8c0427a6c836f33fa09dd31f1 Mon Sep 17 00:00:00 2001 From: steve 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') diff --git a/devel/nana/pkg-descr b/devel/nana/pkg-descr index a51a34f..de3c8ac 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 4b3f8dc..2045715 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.1