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/coq-modules/mathcomp-abel/
default.nix
November 2026
Pol Dellaiera
8cc1ddbf
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
3d ago
Pol Dellaiera
465f9a93
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
4d ago
mivorasu
ee59fb8c
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
4d ago
Sergio Miguéns
8eac5d3f
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
6d ago
October 2026
mivorasu
4a0c428c
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
1w ago
Pol Dellaiera
b4d4a771
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
1w ago
Sergio Miguéns
5735ffc5
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
2w ago
Sergio Miguéns
7cc0c608
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
2w ago
mivorasu
3bb79358
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
2w ago
Sergio Miguéns
06fea4f2
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3w ago
Pol Dellaiera
876bf1ae
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
3w ago
mivorasu
3f5545e5
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
86bc4ddf
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
1mo ago
mivorasu
18b06abe
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
1mo ago
September 2026
Robert Hensing
be363886
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
bf1a8ce1
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
aeee0431
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
9191a262
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
d8ec62fb
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
57fdeda7
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
a2cfb7de
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
2mo ago
August 2026
mivorasu
8e6ab3e0
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
2mo ago
mivorasu
3d7fafef
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
66b66bb8
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
774256e3
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
28000225
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
2f417c71
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
2mo ago
Sergio Miguéns
52021278
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
2mo ago
Pol Dellaiera
c20640b3
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
2mo ago
Sergio Miguéns
f336ba70
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
6f5b0b32
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
3ad20099
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
714b7e08
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
3mo ago
July 2026
Pol Dellaiera
9fa0004a
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
24364623
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
73a8388c
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
3mo ago
mivorasu
6dfc1f57
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
3mo ago
mivorasu
72af71fa
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
f4cd0abf
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
4mo ago
mivorasu
fb946b88
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
5e339b36
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
4mo ago
mivorasu
479100fa
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
4mo ago
Pol Dellaiera
a0fe08f0
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
4mo ago
June 2026
Sergio Miguéns
fb6b42c8
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
02faf864
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
23c5c33a
Copied
Failed
Copy SHA
stop the header from reflowing on hover
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
db3882d1
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
4mo ago
Pol Dellaiera
6fd0787f
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
9821d9c3
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
5mo ago
Sergio Miguéns
918f355a
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
5mo ago
Previous
1
2
Next