Build Failure on ports-10.6_x86_64: alertmanager, fstar, fstar-devel, kremlin, kremlin-devel, node_exporter, prometheus, py-z3, py27-z3, py37-z3, and 4 more

[buildbot at macports.org]

Status:       Failure
Build slave:  ports-10.6_x86_64
Full logs:    https://build.macports.org/builders/ports-10.6_x86_64-watcher/builds/668
Build reason: The SingleBranchScheduler scheduler named 'ports' triggered this build
Port list:    alertmanager miller node_exporter prometheus websocat fstar z3
Subport list:
	- alertmanager
	- z3-fstar
	- fstar
	- fstar-devel
	- kremlin
	- kremlin-devel
	- node_exporter
	- prometheus
	- z3
	- py37-z3
	- py-z3
	- py27-z3
	- websocat
	- z3-java
Variants:     None
Revision:     f1cf37b6fdbdab8f549514f9abd39a3937e802f0
Build time:   0:42:51
Author:       Ryan Schmidt <ryandesign at macports.org>

Log from failed builds:
	Building 'alertmanager' ... [ERROR] (failed to fetch dependency 'go')
	> maintainers: herbygillot at gmail.com,ciserlohn at macports.org.
	Building 'z3-fstar' ... [ERROR]
	> maintainers: landonf at macports.org.
	Building 'fstar' ... [ERROR] (failed to install dependency 'z3-fstar')
	> maintainers: landonf at macports.org,landonf at macports.org.
	Building 'fstar-devel' ... [ERROR] (failed to install dependency 'z3-fstar')
	> maintainers: landonf at macports.org,landonf at macports.org.
	Building 'kremlin' ... [ERROR] (failed to install dependency 'z3-fstar')
	> maintainers: landonf at macports.org,landonf at macports.org.
	Building 'kremlin-devel' ... [ERROR] (failed to install dependency 'z3-fstar')
	> maintainers: landonf at macports.org,landonf at macports.org.
	Building 'node_exporter' ... [ERROR] (failed to fetch dependency 'go')
	> maintainers: herbygillot at gmail.com,ciserlohn at macports.org.
	Building 'prometheus' ... [ERROR] (failed to fetch dependency 'go')
	> maintainers: herby.gillot at gmail.com,ciserlohn at macports.org.
	Building 'z3' ... [ERROR]
	> maintainers: landonf at macports.org.
	Building 'py37-z3' ... [ERROR] (failed to install dependency 'z3')
	> maintainers: landonf at macports.org,landonf at macports.org.
	Building 'py-z3' ... [ERROR] (failed to install dependency 'z3')
	> maintainers: landonf at macports.org,landonf at macports.org.
	Building 'py27-z3' ... [ERROR] (failed to install dependency 'z3')
	> maintainers: landonf at macports.org,landonf at macports.org.
	Building 'websocat' ... [ERROR] (failed to fetch dependency 'rust')
	> maintainers: herby.gillot at gmail.com,g5pw at macports.org.
	Building 'z3-java' ... [ERROR] (failed to install dependency 'z3')
	> maintainers: landonf at macports.org,landonf at macports.org.

Broken ports:
	- alertmanager
	- fstar
	- fstar-devel
	- kremlin
	- kremlin-devel
	- node_exporter
	- prometheus
	- py-z3
	- py27-z3
	- py37-z3
	- websocat
	- z3
	- z3-fstar
	- z3-java

Responsible maintainers:
	- ciserlohn at macports.org
	- g5pw at macports.org
	- herby.gillot at gmail.com
	- herbygillot at gmail.com
	- landonf at macports.org

Links to individual build jobs:
- ports-10.6_x86_64-builder #4243
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/4243
- ports-10.6_x86_64-builder #4244
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/4244
- ports-10.6_x86_64-builder #4245
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/4245
- ports-10.6_x86_64-builder #4246
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/4246
- ports-10.6_x86_64-builder #4247
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/4247
- ports-10.6_x86_64-builder #4248
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/4248
- ports-10.6_x86_64-builder #4249
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/4249
- ports-10.6_x86_64-builder #4250
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/4250
- ports-10.6_x86_64-builder #4251
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/4251
- ports-10.6_x86_64-builder #4252
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/4252
- ports-10.6_x86_64-builder #4253
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/4253
- ports-10.6_x86_64-builder #4254
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/4254
- ports-10.6_x86_64-builder #4255
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/4255
- ports-10.6_x86_64-builder #4256
  https://build.macports.org/builders/ports-10.6_x86_64-builder/builds/4256

-- 
Best regards,
MacPorts Buildbot
https://build.macports.org/