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/
README.md
November 2026
Sergio Miguéns
23009fda
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
20h ago
October 2026
Sergio Miguéns
2c8d70dc
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
6d ago
Sergio Miguéns
b20867ab
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
1w ago
Sergio Miguéns
473e1089
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
1w ago
Robert Hensing
13521856
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
2w ago
mivorasu
917f9751
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
2w ago
Pol Dellaiera
26d20e09
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3w ago
Robert Hensing
0a46db68
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
4w ago
Robert Hensing
70a49a7b
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
59040b51
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
1mo ago
September 2026
Sergio Miguéns
bc337edc
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
4e8279c6
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
1mo ago
mivorasu
e2376921
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
755bf022
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
d9bb430d
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
c4558f69
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
1mo ago
mivorasu
d227922d
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
7b19d4ed
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
2mo ago
August 2026
Pol Dellaiera
0f3f82da
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
77e5499a
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
2mo ago
Sergio Miguéns
96fa235d
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
32b49c4f
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
2mo ago
mivorasu
a74d84f1
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
a27420ac
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
2mo ago
mivorasu
8d641674
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2mo ago
July 2026
Sergio Miguéns
70aeb385
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
0ad8f5f6
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
3mo ago
mivorasu
e2a86266
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
3mo ago
mivorasu
af5e28c6
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
5920d1b0
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
3b77641e
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
24283032
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
4mo ago
June 2026
Robert Hensing
aaa92767
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
4mo ago
Pol Dellaiera
9dc9001d
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
2e2a0eee
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
25c2431f
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
4mo ago
Pol Dellaiera
48321e10
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
85cea2b6
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
4mo ago
mivorasu
9ea62b28
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
4mo ago
Pol Dellaiera
4ea58a69
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
4mo ago
Pol Dellaiera
fd0890fb
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
5mo ago
mivorasu
1464ce23
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
5mo ago
May 2026
Pol Dellaiera
5c98818a
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
5mo ago
Sergio Miguéns
a5e79e2f
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
5mo ago
Robert Hensing
118e9454
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
5mo ago
mivorasu
f7e8fbdd
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
5mo ago
Pol Dellaiera
7d54be42
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
5mo ago
Sergio Miguéns
ad8f24fe
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
5mo ago
April 2026
mivorasu
81ce968f
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
6mo ago
Robert Hensing
7f26dd68
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
6mo ago
Previous
1
2
Next