diff options
| author | Steve Price <steve@FreeBSD.org> | 1999-06-10 08:05:28 +0000 |
|---|---|---|
| committer | Steve Price <steve@FreeBSD.org> | 1999-06-10 08:05:28 +0000 |
| commit | 009ef117236407a2b23b2ad3db63b223f4b1d7c4 (patch) | |
| tree | 045de8e6c9f5d8c5d366c15d92b7506f47d01f38 /devel/nana/pkg-descr | |
| parent | e5ab31180bed8ede3d83eb42b58bba35e6af170f (diff) | |
| download | ports-009ef117236407a2b23b2ad3db63b223f4b1d7c4.tar.gz ports-009ef117236407a2b23b2ad3db63b223f4b1d7c4.zip | |
Notes
Diffstat (limited to 'devel/nana/pkg-descr')
| -rw-r--r-- | devel/nana/pkg-descr | 2 |
1 files changed, 1 insertions, 1 deletions
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 <pjm@cs.ntu.edu.au> +Phil Maker <pjm@gnu.org> |