5 lines
132 B
Plaintext
5 lines
132 B
Plaintext
|
@comment $NetBSD: PLIST,v 1.1 2011/05/21 19:14:41 marko_schuetz Exp $
|
||
|
|
bin/alt-ergo
|
||
|
|
lib/alt-ergo/smt_prelude.mlw
|
||
|
|
man/man1/alt-ergo.1
|