[Pkg-ocaml-maint-commits] [SCM] pkglab packaging branch, master, updated. debian/1.3-1-6-g1408898

[Ralf Treinen (none)]

The following commit has been merged in the master branch:
commit d19526263688281bf2471a626f68d03f4cac3e0b
Author: Ralf Treinen <treinen at debian.(none)>
Date:   Sun Apr 12 22:52:08 2009 +0900

    use upstream dql/query.ml

diff --git a/dql/query.ml b/dql/query.ml
index 3922f33..3749ef5 100644
--- a/dql/query.ml
+++ b/dql/query.ml
@@ -78,11 +78,11 @@ type value_ =
   | Thunk of (value_ -> value_)
   | Regexp of Pcre.regexp
   | Record of (string * value_) list
-  | Versioned of (unit_id, version_number * release_number) Napkin.versioned
+  | Versioned of (unit_id, version_number * release_number, glob) Napkin.versioned
   | Diagnosis of
-      (Package_set.elt, Package_set.elt, (unit_id, version_number * release_number) Napkin.versioned) Diagnosis.diagnosis
+      (Package_set.elt, Package_set.elt, (unit_id, version_number * release_number, glob) Napkin.versioned) Diagnosis.diagnosis
   | Diagnosis_list of
-      (Package_set.elt list, Package_set.elt, (unit_id, version_number * release_number) Napkin.versioned) Diagnosis.diagnosis
+      (Package_set.elt list, Package_set.elt, (unit_id, version_number * release_number, glob) Napkin.versioned) Diagnosis.diagnosis
 ;;
 
 type variable_name = string;;

-- 
pkglab packaging