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/
software_foundations.nix
November 2026
mivorasu
1bc918fb
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
3d ago
Sergio Miguéns
bb6bf468
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
6d ago
mivorasu
7b7c9f89
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
1w ago
Sergio Miguéns
0246f5ec
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
1w ago
mivorasu
62056af1
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
2w ago
October 2026
Robert Hensing
2108a07f
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
2w ago
Sergio Miguéns
ab79f6e9
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
3w ago
Pol Dellaiera
d6e5613f
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
3w ago
Pol Dellaiera
eaf77c00
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
83444ff2
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
1mo ago
mivorasu
93f6fc63
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
1mo ago
September 2026
Robert Hensing
1b8ea57f
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
2c90fa35
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
285b7584
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
49ac7599
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
b3a27418
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
4df9d89e
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
f5df7fe2
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
aaf83701
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
2mo ago
mivorasu
29f103c5
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
2mo ago
Sergio Miguéns
ffad06fa
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
963417cf
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
2mo ago
August 2026
mivorasu
b3542d1c
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
2mo ago
Sergio Miguéns
c2317203
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
6d3cc562
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
2mo ago
Sergio Miguéns
4d70ac19
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
3mo ago
mivorasu
7a9e0bf7
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
3mo ago
mivorasu
f0f3117c
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
6852ba4e
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
49436e27
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
18b05adc
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3mo ago
July 2026
Robert Hensing
74b025a4
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3mo ago
mivorasu
654f9c65
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
3mo ago