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
Pol Dellaiera
bc07c820
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
23h ago
October 2026
Robert Hensing
075f66ba
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
1w ago
Sergio Miguéns
f417be44
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
1w ago
mivorasu
257de14d
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
2w ago
mivorasu
f0c5ea73
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
3w ago
Sergio Miguéns
4aa36125
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
3w ago
Robert Hensing
a3afa6e3
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
4w ago
Pol Dellaiera
81cf2ee8
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
1mo ago
September 2026
Sergio Miguéns
05f38488
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
b617a06d
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
c41f4b31
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
1mo ago
mivorasu
5366f41b
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
455dfd3d
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
1c8c49e2
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
19a03780
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
2mo ago
August 2026
Pol Dellaiera
86c2c57b
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
6105769a
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
875e293e
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
2mo ago
mivorasu
db60f529
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
5479ec30
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
2mo ago
mivorasu
30633991
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
f9eb62b8
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
d18c979a
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
3mo ago
July 2026
mivorasu
b5971b82
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
c0ed8af7
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
3mo ago
mivorasu
96957cda
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3mo ago
mivorasu
dfc5f4eb
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
28aa14e6
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
bfd63160
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
ac5b8941
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
4mo ago
June 2026
mivorasu
1d5b6239
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
af99fac2
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
87e52621
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
4mo ago
Pol Dellaiera
4f6dfae1
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
96ab15f0
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
883644a8
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
c31e87cd
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
4mo ago
Pol Dellaiera
3d4059e1
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
5mo ago
Pol Dellaiera
394c445e
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
5mo ago
May 2026
Sergio Miguéns
d9ac8477
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
5mo ago
Pol Dellaiera
fc28770c
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
5mo ago
mivorasu
3dd50dfe
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
5mo ago
Robert Hensing
49b7274f
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
5mo ago
Pol Dellaiera
d24cf21d
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
5mo ago
mivorasu
5e3d3b1d
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
5mo ago
Pol Dellaiera
75b23c86
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
5mo ago
mivorasu
936738cb
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
5mo ago
mivorasu
b604a548
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
6mo ago
Pol Dellaiera
6122e593
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
6mo ago
Pol Dellaiera
53be016c
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
6mo ago
Previous
1
2
3
Next