Change granter.sh to give permissions to user specified on command line
[hcoop/zz_old/portal.git] / aptquery.sig
CommitLineData
36d5f176 1signature APT_QUERY =
2sig
3 type info = { name : string, section : string, descr : string, installed : bool }
4
5 val validName : string -> bool
6 val query : string -> info option
7end