mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-19 19:59:43 +00:00
Code Issues Releases Activity

Don't quite understand what happened but these fell out of the last

Browse Source 
commit.
This commit is contained in:
Steve Price 1999-06-10 08:05:28 +00:00
parent e5ab31180b
commit 009ef11723
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=19396
2 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
devel/nana/pkg-descr
View File

@ -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 <pjm@cs.ntu.edu.au>
Phil Maker <pjm@gnu.org>

5
devel/nana/pkg-plist
View File

@ -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