Diffusion FreeBSD ports repository 39cc19929dda

math/lean4: Broken on armv7
39cc19929dda
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/lean4: Broken on armv7

Reported by: fallout

Details

Provenance

yuri	Authored on Mon, May 6, 8:43 AM

Parents

R11:594f2ade6789: misc/llama-cpp: Broken on armv7

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:39cc19929dda: math/lean4: Broken on armv7 (authored by yuri).Mon, May 6, 8:43 AM

yuri mentioned this in R11:38ef1b22f32a: math/lean4: Broken on armv7.

Changes (1)

Path

Size

math/

lean4/

R11:39cc19929dda

math/lean4/Makefile

Loading...