pkgsrc/devel/rsltc/distinfo

$NetBSD: distinfo,v 1.2 2005/02/23 22:24:32 agc Exp $

SHA1 (rsltcsrc.tgz) = 8de5c1de5def8766b5df5d8d4a247f941c84a3d6
RMD160 (rsltcsrc.tgz) = ca6659b45d8f18dfcb4f9a4d14761f4c2c23d57f
Size (rsltcsrc.tgz) = 382133 bytes
SHA1 (patch-aa) = de51a067a677c99838ccbb800e08c803c240e008
Add RMD160 digests. 2005-02-23 23:24:08 +01:00			$NetBSD: distinfo,v 1.2 2005/02/23 22:24:32 agc Exp $
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. 2004-11-30 09:24:18 +01:00
			`SHA1 (rsltcsrc.tgz) = 8de5c1de5def8766b5df5d8d4a247f941c84a3d6`
Add RMD160 digests. 2005-02-23 23:24:08 +01:00			`RMD160 (rsltcsrc.tgz) = ca6659b45d8f18dfcb4f9a4d14761f4c2c23d57f`
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. 2004-11-30 09:24:18 +01:00			`Size (rsltcsrc.tgz) = 382133 bytes`
			`SHA1 (patch-aa) = de51a067a677c99838ccbb800e08c803c240e008`