Sign in
Join now
nixpkgs
lukegb.dev
/
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
What happens if I push all of nixpkgs
Star
Starred
Star
Something went wrong. Try again.
Fork
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
pkgs/development/idris-modules/
composition.nix
November 2026
Martin Weinelt
bc07c820
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
23h ago
Martin Weinelt
075f66ba
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
1w ago
October 2026
Martin Weinelt
f417be44
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
1w ago
Martin Weinelt
257de14d
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
2w ago
Martin Weinelt
f0c5ea73
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
3w ago
Martin Weinelt
4aa36125
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
3w ago
Martin Weinelt
a3afa6e3
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
4w ago
Martin Weinelt
81cf2ee8
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
1mo ago
Martin Weinelt
05f38488
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
1mo ago
Martin Weinelt
b617a06d
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
1mo ago
September 2026
Martin Weinelt
c41f4b31
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
1mo ago
Martin Weinelt
5366f41b
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
1mo ago
Martin Weinelt
455dfd3d
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
1mo ago
Martin Weinelt
1c8c49e2
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
2mo ago
Martin Weinelt
19a03780
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
2mo ago
Martin Weinelt
86c2c57b
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
2mo ago
Martin Weinelt
6105769a
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
2mo ago
August 2026
Martin Weinelt
875e293e
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
2mo ago
Martin Weinelt
db60f529
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
2mo ago
Martin Weinelt
5479ec30
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
2mo ago
Martin Weinelt
30633991
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
2mo ago
Martin Weinelt
f9eb62b8
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
3mo ago
Martin Weinelt
d18c979a
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
3mo ago
Martin Weinelt
b5971b82
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
3mo ago
July 2026
Martin Weinelt
c0ed8af7
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
3mo ago
Martin Weinelt
96957cda
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3mo ago
Martin Weinelt
dfc5f4eb
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
3mo ago
Martin Weinelt
28aa14e6
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
3mo ago
Martin Weinelt
bfd63160
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
4mo ago
Martin Weinelt
ac5b8941
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
4mo ago
Martin Weinelt
1d5b6239
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
4mo ago
Martin Weinelt
af99fac2
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
4mo ago
June 2026
Martin Weinelt
87e52621
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
4mo ago
Martin Weinelt
4f6dfae1
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
4mo ago
Martin Weinelt
96ab15f0
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
4mo ago
Martin Weinelt
883644a8
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
4mo ago
Martin Weinelt
c31e87cd
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
4mo ago
Martin Weinelt
3d4059e1
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
5mo ago
Martin Weinelt
394c445e
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
5mo ago
Martin Weinelt
d9ac8477
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
5mo ago
Martin Weinelt
fc28770c
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
5mo ago
May 2026
Martin Weinelt
3dd50dfe
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
5mo ago
Martin Weinelt
49b7274f
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
5mo ago
Martin Weinelt
d24cf21d
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
5mo ago
Martin Weinelt
5e3d3b1d
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
5mo ago
Martin Weinelt
75b23c86
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
5mo ago
Martin Weinelt
936738cb
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
5mo ago
Martin Weinelt
b604a548
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
6mo ago
Martin Weinelt
6122e593
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
6mo ago
Martin Weinelt
53be016c
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
6mo ago
Previous
1
2
3
Next