jopejoe1 5fa317d4a2 leanPackages.mathlib: set pname and version at correct location

2026-08-10 11:04:39 +02:00

..

aesop

leanPackages: 4.29.1 -> 4.30.0

2026-06-04 16:48:52 -04:00

batteries

leanPackages: 4.29.1 -> 4.30.0

2026-06-04 16:48:52 -04:00

Cli

leanPackages: 4.29.1 -> 4.30.0

2026-06-04 16:48:52 -04:00

importGraph

leanPackages: 4.29.1 -> 4.30.0

2026-06-04 16:48:52 -04:00

lean4

lean4, leanPackages.lean4: fix darwin build by adding libtool

2026-06-04 23:56:27 -04:00

LeanSearchClient

leanPackages.lean4: 4.29.0 -> 4.29.1

2026-06-04 16:48:52 -04:00

mathlib

leanPackages.mathlib: set pname and version at correct location

2026-08-10 11:04:39 +02:00

plausible

leanPackages: 4.29.1 -> 4.30.0

2026-06-04 16:48:52 -04:00

proofwidgets

leanPackages: 4.29.1 -> 4.30.0

2026-06-04 16:48:52 -04:00

Qq

leanPackages: 4.29.1 -> 4.30.0

2026-06-04 16:48:52 -04:00

update.sh

leanPackages.mathlib: lgz preprocessing

2026-06-04 16:48:52 -04:00