ef23d02256
Let the package use the TOOLS facilities for flex and bison Changes in this version includes a few bugfixes, support for syntax for theories, and parser improvement Update fixes PR 31753
5 lines
239 B
Text
5 lines
239 B
Text
$NetBSD: distinfo,v 1.5 2005/10/14 19:54:39 tonio Exp $
|
|
|
|
SHA1 (Maude-2.1.1.tar.gz) = 6433ab534970c65bfdde3ea67d1067ad1c7bd9e3
|
|
RMD160 (Maude-2.1.1.tar.gz) = 22793ee2c339a86e44e49dee56943c8b1099ee0b
|
|
Size (Maude-2.1.1.tar.gz) = 1174764 bytes
|