Nadja Yang 03752ca7ca lean4, leanPackages.lean4: fix darwin build by adding libtool ...

Lake 4.30.0 uses libtool -static on macOS for static library targets
instead of ar.
d024af099c/src/lake/Lake/Build/Library.lean (L87-L95)

See Hydra Build No. 330752454, lean4.aarch64-darwin (June 4, 2026),
https://hydra.nixos.org/build/330752454; Hydra Build No. 330752481,
leanPackages.lean4.aarch64-darwin (June 4, 2026),
https://hydra.nixos.org/build/330752481.

Breakage introduced in
a26b66330f

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

..

leafnode

Reapply "Merge branch 'staging-next' into staging"

2026-02-27 19:47:50 -05:00

leafnode1

Reapply "Merge branch 'staging-next' into staging"

2026-02-27 19:47:50 -05:00

league-gothic

…

league-mono

…

league-of-moveable-type

…

league-script-number-one

…

league-spartan

…

lean

…

lean2

…

lean4

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

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

lean-lsp-mcp

lean-lsp-mcp: 0.26.1 -> 0.26.2

2026-05-05 02:16:13 +00:00

leangz

leanPackages.mathlib: lgz preprocessing

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

leanify

leanify: 0-unstable-2025-12-12 -> 0.4.3-unstable-2025-12-12

2026-05-31 07:53:07 +00:00

leaps

…

learn6502

learn6502: 0.6.3 -> 0.6.5

2026-05-16 16:51:59 +08:00

leatherman

leatherman: fix build with boost 1.89

2026-04-06 13:56:21 -07:00

leddy

…

ledfx

ledfx: 2.1.8 -> 2.1.9

2026-05-25 13:21:27 +00:00

ledger

…

ledger2beancount

…

ledger-autosync

…

ledger-live-desktop

ledger-live-desktop: 4.4.0 -> 4.6.0

2026-05-30 01:30:28 +00:00

ledger-udev-rules

…

ledger-web

ledger-web: refresh lockfiles

2026-05-17 10:51:28 -04:00

ledit

…

ledmon

…

leela

…

leela-zero

leela-zero: fix build with boost 1.89

2026-04-17 01:22:11 -07:00

leet-helix

leet-helix: 0.2.3-unstable-2026-02-24 -> 0-unstable-2026-03-01

2026-06-01 12:33:28 +00:00

leetcode-cli

leetcode-cli: cleanup

2026-02-23 19:35:09 -08:00

leetgo

leetgo: 1.4.16 -> 1.4.17

2026-04-04 12:35:39 +00:00

left4gore-bin

…

lefthook

lefthook: 2.1.1 -> 2.1.5

2026-04-12 16:59:13 +00:00

leftwm

…

leftwm-config

…

leftwm-theme

…

legba

…

legcord

legcord: 1.2.2 -> 1.2.4

2026-04-23 16:48:39 +00:00

legendary-gl

…

legends-of-equestria

…

legendsbrowser2

…

legit

…

legit-web

…

legitify

legitify: fix changelog

2026-04-28 23:27:08 +02:00

lego

lego: 4.31.0 -> 4.35.2

2026-04-26 09:36:54 +00:00

leiningen

leiningen: move env variable(s) into env for structuredAttrs

2026-02-13 12:09:59 +01:00

lektor

lektor: 3.4.0b12 -> 3.4.0b14

2026-05-13 13:18:10 -04:00

lely-core

lely-core: fix build with gcc15

2026-04-17 00:10:29 -07:00

lemmeknow

various: switch buildRustPackage packages to finalAttrs pattern

2026-03-06 11:50:26 +01:00

lemminx

…

lemmy-help

…

lemon

…

lemon-graph

…

lemonade

…

lemonbar

{lemonbar,lemonbar-xft}: move to by-name

2026-05-30 10:56:02 -04:00

lemonbar-xft

{lemonbar,lemonbar-xft}: move to by-name

2026-05-30 10:56:02 -04:00

lemurs

lemurs: drop configurable runtime PATH based dependencies

2026-05-13 16:48:45 -04:00

lenmus

wxwidgets_3_{1,2}: rename from wxGTK3{1,2}

2026-02-27 10:56:33 +01:00

lenovo-legion

…

lenpaste

…

lens

…

lensfun

lensfun: update lens database

2026-05-24 14:10:51 -07:00

lenspect

lenspect: 1.0.4 -> 1.0.5

2026-05-09 04:52:42 +00:00

leo3-bin

…

leo-editor

leo-editor: 6.8.7 -> 6.8.8

2026-04-14 16:11:51 +00:00

leo-lang

…

leocad

leocad: fix meta attributes

2026-04-25 19:29:48 -07:00

lepton

…

lepton-eda

lepton-eda: move CFLAGS into env for structuredAttrs

2026-02-19 19:23:21 +01:00

lepton-jpeg-util

lepton-jpeg-util: 0.5.3 -> 0.5.8

2026-03-23 07:08:51 +00:00

leptonica

…

leptosfmt

leptosfmt: add nix-update-script

2026-04-24 12:20:03 +03:00

lerc

lerc: 4.0.0 -> 4.1.0

2026-03-09 21:49:52 -07:00

lerpn

…

lesbar

…

less

less: 691 -> 692

2026-02-15 12:22:24 -05:00

lessc

lessc: 4.2.2 -> 4.6.3

2026-04-15 12:16:53 -03:00

lesscpy

…

lesspass-cli

…

lesspipe

…

lethe

…

letsdns

letsdns: 1.2.1 -> 1.2.2

2026-02-16 00:23:34 +00:00

letterpress

…

levant

…

level-zero

level-zero: 1.28.2 -> 1.28.5

2026-05-11 16:59:45 +00:00

leveldb

…

levmar

…

lexbor

lexbor: 2.7.0 -> 3.0.0

2026-04-05 11:00:15 +00:00

lexend

…

lexido

…

lexmark-aex

…

lexy

lexy: 0.5.3 -> 0.6.0

2026-04-02 15:14:49 +00:00