Debian
dune-typetree package

Branches for Experimental

Name		Status	Last Modified	Last Commit
lp:debian/experimental/dune-typetree		1 Development	2015-09-06 14:51:56 UTC 2015-09-06	7. * New upstream snapshot. * Move share... Author: Ansgar Burchardt Revision Date: 2015-09-06 14:51:56 UTC * New upstream snapshot. * Move shared library into -dev package and provide a virtual package that changes with the upstream version for shlib dependencies. See also https://lists.debian.org/debian-devel/2015/07/msg00115.html * libdune-typetree-dev: Add -doc package as a suggested package. * Add Build-Depends-Indep: graphviz for "dot". * Bumped Standards-Version to 3.9.6 (no changes).