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 <email@example.com>
Subject: [Dune] non-existing github repo for dune installation with homebrew
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,