cvsimport
[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
8023de7b 6 val query : {node : int, pkg : string} -> info option
36d5f176 7end