Diffusion FreeBSD ports repository b71b1b7da088

math/lean: Remove
b71b1b7da088
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

math/lean: Remove

Details

Provenance

yuri	Authored on Oct 30 2024, 7:55 PM

Parents

R11:ca664299dc58: math/g2o: Broken on 15; Update WWW

Branches

Unknown

Tags

Unknown

Event Timeline

yuri committed R11:b71b1b7da088: math/lean: Remove (authored by yuri).Oct 30 2024, 7:55 PM

Changes (8)

Path

Size

math/

R11:b71b1b7da088

MOVED

Loading...

math/Makefile

Loading...

math/lean

Loading...

math/lean/Makefile

Loading...

math/lean/distinfo

Loading...

math/lean/pkg-descr

Loading...

math/lean/pkg-message

Loading...

math/lean/pkg-plist

Loading...