The following commit has been merged in the master branch:
commit 6ba87e9dec8f53eb22f6ceb9f52a63aa7347e041
Author: Ralf Treinen
Date: Mon Feb 6 20:07:13 2012 +0100
fix binary prefix from edos- to dose3-
diff --git a/debian/patches/binaries-prefix-edos
b/debian/patches/binaries-prefix-edos
The following commit has been merged in the master branch:
commit 4c4ba7449e0c799c2fc9a7f5f87b2d7951799239
Author: Ralf Treinen
Date: Mon Feb 6 20:32:12 2012 +0100
fix dependencies of libdose3-ocaml-dev, add real dependency for apt-cudf
diff --git a/debian/changelog b/debian/changelog
inde
The following commit has been merged in the master branch:
commit c79b83d65193b82f60a5f0cfdb053a520467df72
Author: Ralf Treinen
Date: Mon Feb 6 20:18:48 2012 +0100
do not install /usr/lib/ocaml/stublibs whioch seems to have gone
diff --git a/debian/libdose3-ocaml.install b/debian/libdose3-
The following commit has been merged in the master branch:
commit a1457b139cb83a23bde3e66112751c7b6305943e
Author: Ralf Treinen
Date: Mon Feb 6 20:05:10 2012 +0100
bump build-dependency on cudf to 0.6.2
diff --git a/debian/control b/debian/control
index 22f7101..c1df992 100644
--- a/debian
4 matches
Mail list logo
