Join script should rule out retired usernames

[bpt/portal.git] / aptquery.sig

diff --git a/aptquery.sig b/aptquery.sig
index 9add5bc..1f24f99 100644 (file)
--- a/aptquery.sig
+++ b/aptquery.sig
@@ -3,5 +3,5 @@ sig
     type info = { name : string, section : string, descr : string, installed : bool }
 
     val validName : string -> bool
-    val query : string -> info option
+    val query : {node : int, pkg : string} -> info option
 end
\ No newline at end of file