<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Dear Dune-maintainers,<br>
<br>
yesterday I tried to install dune via homebrew as indicated on your
homepage [1], but it failed since the repository <code>bempp/homebrew-bempp
</code>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 :-).<br>
<br>
All the best,<br>
Fabian<code></code><code></code><br>
<br>
<br>
[1]: <a class="moz-txt-link-freetext" href="https://dune-project.org/homebrew/">https://dune-project.org/homebrew/</a><br>
</body>
</html>