Rui Chen

Any update on this (as it does impact on the silicon 0.4.1 build)?

I can confirm [this commit](https://github.com/Aloxaf/silicon/commit/e7d6955061f4167b44620fc7463f60d77dd69e0b) fixed the build issue, and we have made the upgrade in the homebrew-core side

license ref > .\" todo is licensed under the GPL, version 2. A copy of the GPL should have been distributed with the source in the file COPYING

> `collectd` still depends on `riemann-client`. We need to find a solution for it first before deprecating. I think we should deprecate `collectd` as well.

waiting this line to be updated, https://github.com/leanprover-community/mathlib/blob/master/leanpkg.toml#L4

Should be good now per https://github.com/leanprover-community/mathlib/pull/15993

> leanprover-community/mathlib#15993 my mistake, looks like that PR did not get merged, gonna chime in there.

Thanks @fanninpm!

This is the test that we are doing `kapacitor` test (should not have any firewall issue?) ``` test do (testpath/"config.toml").write shell_output("#{bin}/kapacitord config") inreplace testpath/"config.toml" do |s| s.gsub! "disable-subscriptions = false",...

there is a open PR on this effort, https://github.com/Homebrew/homebrew-core/pull/100790