Fix Mailman subscription by installing /usr/local/sbin/portalsub
[bpt/portal.git] / aptquery.sig
1 signature APT_QUERY =
2 sig
3 type info = { name : string, section : string, descr : string, installed : bool }
4
5 val validName : string -> bool
6 val query : {node : int, pkg : string} -> info option
7 end