Build Failure on ports-10.15_x86_64: atlas, bcv, boolector, cvc4, dolfin, levmar, libfaiss, libgcc6

[buildbot at macports.org]

Status:       Failure
Build slave:  ports-10.15_x86_64
Full logs:    https://build.macports.org/builders/ports-10.15_x86_64-watcher/builds/2565
Build reason: A build was forced by 'jmr <jmr at localhost>': force build
Port list:    cadabra cvc4 levmar blitz-devel boolector libfaiss atlas bcv classias dolfin
Subport list:
	- atlas
	- bcv
	- boolector
	- cvc4
	- dolfin
	- levmar
	- libfaiss
Variants:     None
Revision:     
Build time:   0:24:39
Author:       

Log from failed builds:
	Building 'atlas' ... [ERROR] (failed to install dependency 'libgcc6')
	> maintainers: vince at macports.org.
	Building 'bcv' ... [ERROR]
	> maintainers: .
	Building 'boolector' ... [ERROR]
	> maintainers: .
	Building 'cvc4' ... [ERROR]
	> maintainers: .
	Building 'dolfin' ... [ERROR] (failed to fetch dependency 'py36-ffc')
	> maintainers: .
	Building 'levmar' ... [ERROR] (failed to install dependency 'libgcc6')
	> maintainers: tlockhart1976 at gmail.com.
	Building 'libfaiss' ... [ERROR]
	> maintainers: hoss at fb.com,matthijs at fb.com.

Broken ports:
	- atlas
	- bcv
	- boolector
	- cvc4
	- dolfin
	- levmar
	- libfaiss
	- libgcc6

Responsible maintainers:
	- hoss at fb.com
	- matthijs at fb.com
	- tlockhart1976 at gmail.com
	- vince at macports.org

Links to individual build jobs:
- ports-10.15_x86_64-builder #22392
  https://build.macports.org/builders/ports-10.15_x86_64-builder/builds/22392
- ports-10.15_x86_64-builder #22393
  https://build.macports.org/builders/ports-10.15_x86_64-builder/builds/22393
- ports-10.15_x86_64-builder #22394
  https://build.macports.org/builders/ports-10.15_x86_64-builder/builds/22394
- ports-10.15_x86_64-builder #22395
  https://build.macports.org/builders/ports-10.15_x86_64-builder/builds/22395
- ports-10.15_x86_64-builder #22396
  https://build.macports.org/builders/ports-10.15_x86_64-builder/builds/22396
- ports-10.15_x86_64-builder #22397
  https://build.macports.org/builders/ports-10.15_x86_64-builder/builds/22397
- ports-10.15_x86_64-builder #22398
  https://build.macports.org/builders/ports-10.15_x86_64-builder/builds/22398

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