Debian
dune-localfunctions package

Branches for Stretch

Name		Status	Last Modified	Last Commit
lp:debian/stretch/dune-localfunctions		1 Development	2015-09-25 22:33:39 UTC 2015-09-25	9. * New upstream release. * (Build-)Dep... Author: Ansgar Burchardt Revision Date: 2015-09-25 22:33:39 UTC * New upstream release. * (Build-)Depend on last DUNE upload.