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/
vecspace.nix
November 2026
mivorasu
bdf93e78
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
19h ago
Robert Hensing
fae59f5a
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
2d ago
Sergio Miguéns
77df51bf
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
2d ago
Robert Hensing
e7303854
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
6d ago
Robert Hensing
690a82f4
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
6d ago
October 2026
Sergio Miguéns
be9efc27
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
1w ago
Robert Hensing
0a67f2da
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
2w ago
Sergio Miguéns
3ac32e6b
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
3w ago
mivorasu
ceec9df0
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
4w ago
Sergio Miguéns
3b92bf1d
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
4w ago
mivorasu
d8288fef
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
4w ago
mivorasu
dd0e2acd
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
1mo ago
mivorasu
7b2630ac
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
1ac2fd33
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
c1c7a466
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
1mo ago
September 2026
Robert Hensing
4eb7dfa2
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
0a6f6996
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
1mo ago
mivorasu
d1c1585f
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
be60decb
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
1mo ago
mivorasu
bf4ef399
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
4ea14aef
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
64bcfc0e
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
2mo ago
August 2026
Pol Dellaiera
a3e7ff2f
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
8b371b2c
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
2mo ago
mivorasu
83f00631
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
2mo ago
mivorasu
0bf387a6
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
2mo ago
mivorasu
5c15e44f
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
8e69dc9e
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
2mo ago
mivorasu
cef4b02a
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
cbc51a8a
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
3mo ago
mivorasu
5a55e286
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
3mo ago
July 2026
Robert Hensing
b6b31544
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
448a885a
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
6d1fd105
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
244b0749
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
3mo ago
mivorasu
1926fd51
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
4mo ago
mivorasu
9e1acc3b
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
4mo ago
June 2026
Sergio Miguéns
82d719a4
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
f416972c
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
4mo ago
mivorasu
0de6a43c
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
3c498959
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
4mo ago
Pol Dellaiera
4d671c92
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
4mo ago
mivorasu
20949c73
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
4mo ago
Pol Dellaiera
1f798047
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
4mo ago
mivorasu
ec1af03e
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
5mo ago
Pol Dellaiera
f55a0f99
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
5mo ago
May 2026
mivorasu
d326c432
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
5mo ago
Pol Dellaiera
19917bb0
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
5mo ago
Robert Hensing
9d196289
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
5mo ago
Sergio Miguéns
2ea6ad25
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
5mo ago
Previous
1
2
3
Next