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

[Ralf Treinen]

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

    drop TODO which ios no longer needed

diff --git a/TODO b/TODO
deleted file mode 100644
index 03c6298..0000000
--- a/TODO
+++ /dev/null
@@ -1,50 +0,0 @@
-- 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 !
-

-- 
dose3 packaging