non-existing github repo for dune installation with homebrew

This was reported on the Dune list:

Date: Wed, 6 Dec 2017 11:51:43 +0100
From: Fabian Krautgasser <fkrautga@iup.uni-heidelberg.de>
To: dune@lists.dune-project.org
Subject: [Dune] non-existing github repo for dune installation with homebrew

Dear Dune-maintainers,

yesterday I tried to install dune via homebrew as indicated on your homepage 1, but it failed since the repository |bempp/homebrew-bempp |doesn't exist (anymore?). I then installed Dune manually by downloading the modules from the git repos, which worked fine. This is more of a reminder to clean up your homepage from broken links or unsupported installation methods :-).

All the best,
Fabian||||