Linuxbrew / brew

:beer::penguin: The Homebrew package manager for Linux
https://linuxbrew.sh
BSD 2-Clause "Simplified" License
2.66k stars 237 forks source link

Fail to fetch gnu-getopt #709

Closed hanxue closed 6 years ago

hanxue commented 6 years ago

I am trying to install gnu-getopt, and fetching from the server fails

$ brew install asciidoc
==> Installing dependencies for asciidoc: gnu-getopt, libxslt, xmlto
==> Installing asciidoc dependency: gnu-getopt
==> Downloading http://frodo.looijaard.name/system/files/software/getopt/getopt-

curl: (7) Failed to connect to frodo.looijaard.name port 80: Connection refused
Error: Failed to download resource "gnu-getopt"
Download failed: http://frodo.looijaard.name/system/files/software/getopt/getopt-1.1.6.tar.gz

The server seems down https://downforeveryoneorjustme.com/frodo.looijaard.name

brew doctor output

$ brew doctor
Your system is ready to brew.
hanxue commented 6 years ago

The bottles are fine, but the url for source tarball is not working. Adding fossies.org as mirror at https://github.com/Homebrew/homebrew-core/pull/28069

iMichka commented 6 years ago

Cool, thanks. Yes this should be fixed by https://github.com/Homebrew/homebrew-core/pull/28069. Closing here.