Sign in
Join now
nixpkgs
pyrox.dev
/
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
lol
Star
Starred
Star
0
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
Version history of
pkgs/development/idris-modules/
array.nix
November 2026
Gaétan Lepage
b5e0a1d1
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
1d ago
R. Ryantm
c15ae67d
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
2d ago
October 2026
Emily
1b6a22d8
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
1w ago
nixpkgs-ci[bot]
ee17ab54
Copied
Failed
Copy SHA
pull the loader out of the
component
component
Copy SHA
Browse repository
committed
2w ago
Emily
810ccddc
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
2w ago
nixpkgs-ci[bot]
5d837865
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
3w ago
Martin Weinelt
3a11b343
Copied
Failed
Copy SHA
reuse the existing chip instead of a new
one
one
Copy SHA
Browse repository
committed
3w ago
Gaétan Lepage
b63f8d31
Copied
Failed
Copy SHA
collapse the two nearly identical
helpers
helpers
Copy SHA
Browse repository
committed
4w ago
Martin Weinelt
d3377764
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
1mo ago
September 2026
niklaskorz.eu
f193bdb2
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
1mo ago
niklaskorz.eu
34123ecd
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
b3993f01
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
1mo ago
Martin Weinelt
58820756
Copied
Failed
Copy SHA
pull the loader out of the
component
component
Copy SHA
Browse repository
committed
1mo ago
Yohann Boniface
027ebe5a
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
1mo ago
Emily
07b76e94
Copied
Failed
Copy SHA
spell the aria label out
loud
loud
Copy SHA
Browse repository
committed
1mo ago
Emily
ebd27fe2
Copied
Failed
Copy SHA
name the magic
number
number
Copy SHA
Browse repository
committed
1mo ago
Adam C. Stephens
ca2fcea1
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
2mo ago
Adam C. Stephens
acc4f631
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
32833e07
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
2mo ago
August 2026
Emily
f6de57af
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
2mo ago
Martin Weinelt
b173a761
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
2mo ago
R. Ryantm
80078aa4
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
2mo ago
Emily
9b4ad5e6
Copied
Failed
Copy SHA
spell the aria label out
loud
loud
Copy SHA
Browse repository
committed
2mo ago
Yohann Boniface
3a09dd85
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
2mo ago
Emily
3c7dc0f4
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
2mo ago
Yohann Boniface
df6ce80a
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
2mo ago
Johannes Kirschbauer
daee7fa1
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
2mo ago
niklaskorz.eu
ca5fe5cb
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
2mo ago
nixpkgs-ci[bot]
f59ac74c
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
2mo ago
Adam C. Stephens
0f1a9319
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
2mo ago
Adam C. Stephens
e0a7fac8
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
3mo ago
nixpkgs-ci[bot]
859d7ede
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
3mo ago
July 2026
nixpkgs-ci[bot]
69a683e6
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
3mo ago
nixpkgs-ci[bot]
1b27ef43
Copied
Failed
Copy SHA
reuse the existing chip instead of a new
one
one
Copy SHA
Browse repository
committed
3mo ago
nixpkgs-ci[bot]
78bcb306
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
3mo ago
Yohann Boniface
860c01e9
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
0b1b7f6d
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
3mo ago
Yohann Boniface
c75c0406
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
4mo ago
R. Ryantm
bb85525c
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
4mo ago
June 2026
Gaétan Lepage
28f94b71
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
4mo ago
Johannes Kirschbauer
f9b87867
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
4mo ago
Adam C. Stephens
d4c963ae
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
4mo ago
Yohann Boniface
d5fc9f79
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
4mo ago
Gaétan Lepage
076227bb
Copied
Failed
Copy SHA
keep the empty state on one
line
line
Copy SHA
Browse repository
committed
4mo ago
nixpkgs-ci[bot]
38e57524
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
4mo ago
nixpkgs-ci[bot]
7505f061
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
5mo ago
Yohann Boniface
9fdb5696
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
5mo ago
May 2026
Yohann Boniface
89737110
Copied
Failed
Copy SHA
keep the empty state on one
line
line
Copy SHA
Browse repository
committed
5mo ago
niklaskorz.eu
dbf4f525
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
5mo ago
Johannes Kirschbauer
266a97ef
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
5mo ago
Previous
1
2
3
Next