let qq = "select uri from registry where uri ~ '" ^ s ^ "' order by registry.uri asc" in
let res = c#exec (qq) in
List.map (function uri -> (uri,[])) (pgresult_to_string_list res)
let qq = "select uri from registry where uri ~ '" ^ s ^ "' order by registry.uri asc" in
let res = c#exec (qq) in
List.map (function uri -> (uri,[])) (pgresult_to_string_list res)