The following commit has been merged in the master branch:
commit 14e1e30e8639604954d2c4bb0c5fc31fe470fc8b
Author: Ralf Treinen trei...@free.fr
Date: Mon Feb 6 19:14:07 2012 +0100
changlog entry for upload to sid
diff --git a/.gitignore b/.gitignore
new file mode 100644
index
The following commit has been merged in the master branch:
commit db0da8dffaf1dfa48e55bbe7b034f65b67ab3f56
Author: Ralf Treinen trei...@free.fr
Date: Mon Feb 6 19:22:12 2012 +0100
add dependency on ocaml-findlib
diff --git a/debian/control b/debian/control
index 0517635..0641991 100644
---
The following commit has been merged in the master branch:
commit ef37d7835f6643a7405ea5d93342abe0613b2f7f
Author: Ralf Treinen trei...@free.fr
Date: Mon Feb 6 19:35:54 2012 +0100
make demos makefile selfcontaining
diff --git a/debian/patches/demos_makefile b/debian/patches/demos_makefile
The following commit has been merged in the master branch:
commit f582a8fe213f1c16653ddd682e493ecb21d072ec
Author: Ralf Treinen trei...@free.fr
Date: Mon Feb 6 19:36:20 2012 +0100
activate demos_makefile patch
diff --git a/debian/patches/series b/debian/patches/series
index
The following commit has been merged in the master branch:
commit eaf9b0bfba1e50ff72298da52e1f787818fbb554
Author: Ralf Treinen trei...@free.fr
Date: Mon Feb 6 19:46:59 2012 +0100
put in correct list of required packages
diff --git a/debian/patches/demos_makefile
5 matches
Mail list logo