diff options
| author | Pav Lucistnik <pav@FreeBSD.org> | 2003-12-13 01:41:30 +0000 |
|---|---|---|
| committer | Pav Lucistnik <pav@FreeBSD.org> | 2003-12-13 01:41:30 +0000 |
| commit | 24a534b4578363c43981d545f3ece1cc428217bc (patch) | |
| tree | f37f3e7f3caf7db9f1ea3e0b004047955ccc116f /devel/hptools | |
| parent | Add The SMV (Symbolic Model Verifier), a tool for (diff) | |
- Update to 4.1.12
- Add knob to enable to arts sound driver
- Use PORTSDOC
- Use INFO
PR: ports/60193
Submitted by: Thierry Thomas <thierry@pompo.net>
Diffstat (limited to 'devel/hptools')
0 files changed, 0 insertions, 0 deletions