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/
mhd.nix
November 2026
mivorasu
ab3fe159
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
18h ago
Robert Hensing
e2e0bbd6
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
1d ago
October 2026
Sergio Miguéns
d766a5a8
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
6d ago
Robert Hensing
1ee18c64
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
1w ago
Sergio Miguéns
552e5671
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
1w ago
mivorasu
4a8f87f0
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
2w ago
mivorasu
e02f5cf5
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
2w ago
Sergio Miguéns
f6af2293
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3w ago
September 2026
Robert Hensing
81fb40a1
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
5984eb66
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
2ce2d844
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
bce9cae4
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
3d13ebcf
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
60d6a459
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
15d8ddc8
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
821fa78a
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
1mo ago
August 2026
Robert Hensing
bd5c3d48
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
f7da31a2
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
2mo ago
Sergio Miguéns
be4349ff
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
2mo ago
mivorasu
43b4dde8
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
197afb69
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
1cef5955
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
c92b9c9a
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
3879d3ca
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
1d1e75da
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
f750b5ff
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
3mo ago
mivorasu
e1df900c
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
3mo ago
July 2026
Robert Hensing
88e5ce3e
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
3952b72c
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
33215a91
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3mo ago
mivorasu
49310dcb
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
3mo ago
mivorasu
4abc9113
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
3mo ago
mivorasu
e6c764e5
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
91a18aa6
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
141d04ff
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
3mo ago
mivorasu
414eea74
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
746976f8
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
4mo ago
June 2026
mivorasu
ca546191
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
4mo ago
mivorasu
e1dd204e
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
4mo ago
mivorasu
4e7b25dd
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
7b179cdd
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
4mo ago
Pol Dellaiera
b049f26b
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
4mo ago
Pol Dellaiera
3cf21a31
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
4mo ago
mivorasu
2ce9978c
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
09caf981
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
5mo ago
May 2026
mivorasu
5bdddcb6
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
5mo ago
mivorasu
4a64e0d0
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
5mo ago
Robert Hensing
5d9cb04a
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
5mo ago
Sergio Miguéns
4479d97f
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
5mo ago
Sergio Miguéns
586b8af8
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
5mo ago
Previous
1
2
3
Next