Home
FreeBSD
Search
Configure Global Search
Log In
Paths
Table of Contents
t
-
math/lean4/
-
lean4/
-
Makefile
Hide Panel
f
Keyboard Reference
?
Diffusion
FreeBSD ports repository
39cc19929dda
math/lean4: Broken on armv7
39cc19929dda
Actions
Edit Commit
Download Raw Diff
Edit Related Objects...
Edit Revisions
Subscribe
Mute Notifications
Flag For Later
Award Token
Tags
None
Referenced Files
None
Subscribers
None
Description
math/lean4: Broken on armv7
Reported by: fallout
Details
Provenance
yuri
Authored on May 6 2024, 8:43 AM
Parents
R11:594f2ade6789: misc/llama-cpp: Broken on armv7
Branches
Loading...
Tags
Loading...
Event Timeline
yuri
committed
R11:39cc19929dda: math/lean4: Broken on armv7
(authored by
yuri
).
May 6 2024, 8:43 AM
2024-05-06 08:43:50 (UTC+0)
yuri
mentioned this in
R11:38ef1b22f32a: math/lean4: Broken on armv7
.