Diffusion FreeBSD ports repository 3306d7a48227

math/lean4-std: Removed
3306d7a48227
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/lean4-std: Removed

Details

Provenance

yuri	Authored on Apr 8 2024, 7:18 PM

Parents

R11:ffdace6d9b4c: MOVED: Fix typo

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:3306d7a48227: math/lean4-std: Removed (authored by yuri).Apr 8 2024, 7:18 PM

yuri mentioned this in R11:919794f785fd: math/lean4-std: Removed.Apr 28 2024, 8:39 AM

Changes (7)

Path

Size

math/

R11:3306d7a48227

MOVED

Loading...

math/Makefile

Loading...

math/lean4-std

Loading...

math/lean4-std/Makefile

Loading...

math/lean4-std/distinfo

Loading...

math/lean4-std/pkg-descr

Loading...

math/lean4-std/pkg-plist

Loading...