[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.8-1-30-g4139464

[Ralf Treinen]

The following commit has been merged in the master branch:
commit a3d7ff88afb17f04c66a4c7efc3300af5f9418a4
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Feb 7 14:55:47 2012 +0100

    really remove debian/TODO, restore upstream TODO ;-)

diff --git a/TODO b/TODO
new file mode 100644
index 0000000..03c6298
--- /dev/null
+++ b/TODO
@@ -0,0 +1,50 @@
+- remove all references to Str and move to Pcre
+
+- modify all test cases to check if the test file exists. If this is 
+  the case, run the test, if not ignore the test. (this is to prepare
+  a small release tarball with a restricted number of unit tests) 
+  Wed Jun 30 2010 Pietro Abate <pietro.abate at pps.jussieu.fr>
+
+- fix common/EdosSolver documentation. For some reason only part of it is
+  actually generated
+  Thu Jun 17 2010 Pietro Abate <pietro.abate at pps.jussieu.fr>
+
+- add minisat backend to the depsolver
+** minisat ocaml bindings are now avalaible
+  Thu Jun 17 2010 Pietro Abate <pietro.abate at pps.jussieu.fr>
+
+- add picosat backend to the depsolver
+** picosat ocaml bindings are now avalaible
+  Thu Jun 17 2010 Pietro Abate <pietro.abate at pps.jussieu.fr>
+
+-------------------
+
+- make reason in depsolver lazy. This way we can save a bit of time 
+  when building the sat problem
+
+- find a way to add a proper (debian/rpm/real) version to missing 
+  dependencies. atm this information is lost when traslating the 
+  problem to cudf
+** DONE !
+
+- fix the broken dependencies explanation list. The reason list
+  sometimes does not include broken packages at the end of a reason
+  list. The solver does not provide this information. Actually this is 
+  a problem with distcheck.
+** DONE !
+
+- when init the depsolver, create a new data structure where all dependencies
+  and conflicts are explicit. Then use this data structure when iterate
+  over packages. This way we can perform all lookups once and forall.
+** DONE
+
+- implement a debdistcheck that builds the sat problem directly from 
+  debian Packages without passing through cudf and friends
+** WONTFIX
+
+- fix ocamlbuild to imply -DHASRPM only when using c_use_rpm in _tags
+  and remove -I rpm when building debian binaries / -I deb when building
+  rpm binaries
+  Thu Jun 17 2010 Pietro Abate <pietro.abate at pps.jussieu.fr>
+*** DONE !
+
diff --git a/debian/TODO b/debian/TODO
deleted file mode 100644
index a5572a7..0000000
--- a/debian/TODO
+++ /dev/null
@@ -1,5 +0,0 @@
-Change packags to dose3 [done 16/11, RT]
-change symlinks to dose3 [done 16/11, RT]
-integrate Pietro's reply into manpages
-look at copyright
-manpages: macros for appli names

-- 
dose3 packaging