Module Name:	pkgsrc
Committed By:	wiz
Date:		Tue Nov 30 08:24:18 UTC 2004

Update of /cvsroot/pkgsrc/devel/rsltc
In directory ivanova.netbsd.org:/tmp/cvs-serv22509

Log Message:
Import rsltc-2.4, provided by Marko Schütz in PR 28405.

rsltc provides type-checking, pretty-printing, generation of confidence 
conditions, showing module dependencies, translation to Standard ML, to 
C++, and to PVS, and translation to RSL from UML class diagrams. 


Vendor Tag:	TNF
Release Tags:	pkgsrc-base
		
N pkgsrc/devel/rsltc/Makefile
N pkgsrc/devel/rsltc/PLIST
N pkgsrc/devel/rsltc/distinfo
N pkgsrc/devel/rsltc/DESCR
N pkgsrc/devel/rsltc/patches/patch-aa

No conflicts created by this import