diff options
| author | wiz <wiz@pkgsrc.org> | 2004-11-30 08:24:18 +0000 |
|---|---|---|
| committer | wiz <wiz@pkgsrc.org> | 2004-11-30 08:24:18 +0000 |
| commit | f39e5171b6dafe59650aecda5aec3a8b074f191a (patch) | |
| tree | 1a4f7648df1ba576709ebe0ac11d7d36912a8afc /net/snort-mysql | |
| parent | b0e746285687eecdfba1d8daff9e52db9404f8dd (diff) | |
| download | pkgsrc-f39e5171b6dafe59650aecda5aec3a8b074f191a.tar.gz | |
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.
Diffstat (limited to 'net/snort-mysql')
0 files changed, 0 insertions, 0 deletions