[Dune] non-existing github repo for dune installation with homebrew

[Fabian Krautgasser]

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||||


[1]: https://dune-project.org/homebrew/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20171206/6692f178/attachment.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0xE104D91F.asc
Type: application/pgp-keys
Size: 4967 bytes
Desc: not available
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20171206/6692f178/attachment.key>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <https://lists.dune-project.org/pipermail/dune/attachments/20171206/6692f178/attachment.sig>