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/
permutations.nix
October 2026
Sergio Miguéns
f34f3943
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
3d ago
Robert Hensing
81a49a65
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
1w ago
Robert Hensing
307c73cf
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
1w ago
Pol Dellaiera
9204e8b5
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
1w ago
mivorasu
31d7e944
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
2w ago
Sergio Miguéns
4410f840
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
3w ago
Sergio Miguéns
35099df9
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
4w ago
Pol Dellaiera
d7b66e43
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
c943c61b
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
1mo ago
September 2026
mivorasu
01c46abe
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
3db67d9f
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
7c8c5dbd
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
dce473ba
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
1mo ago
mivorasu
c182a990
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
1mo ago
mivorasu
0204557f
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
1d792242
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
1mo ago
mivorasu
aa6db3d1
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
5dcf3a40
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
073970ca
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
af2f25a9
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2mo ago
August 2026
Sergio Miguéns
5c7abf94
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
8b8cf4d9
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
1bdc4928
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
c0cd4691
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
2mo ago
Sergio Miguéns
08c34934
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
2mo ago
mivorasu
d135d5d3
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
2mo ago
mivorasu
41960765
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
9a40c871
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
2mo ago
July 2026
mivorasu
a8258c36
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
e5625a5c
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
d47a3d9b
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
c7631a1e
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
189e3123
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
fa23e152
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
a943d7bf
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
08840c2a
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
92f02e01
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
dd333ee9
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
4mo ago
Pol Dellaiera
3f39fceb
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
88e1fe48
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
4mo ago
June 2026
Pol Dellaiera
f8361ca7
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
7a57eaf3
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
4mo ago
Pol Dellaiera
88576842
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
c8c9a596
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
4mo ago
mivorasu
41d3c211
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
4mo ago
mivorasu
62b65147
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
4mo ago
mivorasu
fbfdd1be
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
4mo ago
mivorasu
013f2d06
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
109882e4
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
4mo ago
mivorasu
54826b25
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
4mo ago
Previous
1
2
Next