[Dune] installing dune with libtool 2.4.2

Markus Blatt markus at dr-blatt.de
Fri Feb 15 13:35:17 CET 2013


I have merged the bugfix patches from the trunk. Please try again.

If we have broken older versions we might need to revert the changes.

Markus




More information about the Dune mailing list