Bug#799560: RM: libdune-typetree-2.3.1 -- NBS; dune-typetree no longer builds a shared library

[Ansgar Burchardt]

Package: ftp.debian.org
Severity: normal

Please remove libdune-typetree-2.3.1. It is no longer built by the
package as the shared library was dropped upstream: dune-typetree is
now a pure header library.

Ansgar