You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: joh...@freebsd.org
Last committer: ead...@freebsd.org
Ident: $FreeBSD: head/math/coq/Makefile 35996
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: joh...@freebsd.org
Last committer: ead...@freebsd.org
Ident: $FreeBSD: head/math/coq/Makefile 35996
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: joh...@freebsd.org
Last committer: joh...@freebsd.org
Ident: $FreeBSD: head/math/coq/Makefile 33941
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: joh...@freebsd.org
Last committer: joh...@freebsd.org
Ident: $FreeBSD: head/math/coq/Makefile 33941
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: joh...@freebsd.org
Last committer: joh...@freebsd.org
Ident: $FreeBSD: head/math/coq/Makefile 33941
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: joh...@freebsd.org
Last committer: joh...@freebsd.org
Ident: $FreeBSD: head/math/coq/Makefile 33941
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: joh...@freebsd.org
Last committer: joh...@freebsd.org
Ident: $FreeBSD: head/math/coq/Makefile 33941
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: joh...@freebsd.org
Last committer: joh...@freebsd.org
Ident: $FreeBSD: head/math/coq/Makefile 33941
You are receiving this mail as a port that you maintain
is failing to build on the FreeBSD package build server.
Please investigate the failure and submit a PR to fix
build.
Maintainer: joh...@freebsd.org
Last committer: joh...@freebsd.org
Ident: $FreeBSD: head/math/coq/Makefile 33941