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/http/
default.nix
November 2026
mivorasu
1ab782e1
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
3d ago
mivorasu
0653c5c1
Copied
Failed
Copy SHA
move the guard up to the boundary
Copy SHA
Browse repository
committed
1w ago
Sergio Miguéns
87b8c8e9
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
1w ago
October 2026
Robert Hensing
d563b5cc
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
2w ago
Pol Dellaiera
3e0903fb
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
3w ago
Sergio Miguéns
0ea8373a
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
3w ago
Robert Hensing
a86830d3
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
3w ago
Pol Dellaiera
838ac99c
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
edad3c01
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
a4a26ab9
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
db9ca3e7
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
1mo ago
mivorasu
8a9d3b58
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
1mo ago
September 2026
Robert Hensing
e02ddd2e
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
f426839a
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
1mo ago
mivorasu
211af724
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
1mo ago
Pol Dellaiera
8db4f2c8
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
b7ebb484
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
2mo ago
Sergio Miguéns
91100161
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
2mo ago
mivorasu
baba8606
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
2mo ago
August 2026
Robert Hensing
3205ab38
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
a81d4192
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
2mo ago
Robert Hensing
572c7351
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
2mo ago
mivorasu
63009721
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
2mo ago
Sergio Miguéns
76d34e31
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
a4d08b3e
Copied
Failed
Copy SHA
reuse the existing chip instead of a new one
Copy SHA
Browse repository
committed
3mo ago
Pol Dellaiera
67cfa9d3
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
3mo ago
July 2026
mivorasu
f3d5f1ad
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
3mo ago
Robert Hensing
822ef9ec
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
3mo ago
mivorasu
65ba028f
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
9b41faeb
Copied
Failed
Copy SHA
defer the icon import
Copy SHA
Browse repository
committed
3mo ago
Sergio Miguéns
55ae9c7f
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
582c290f
Copied
Failed
Copy SHA
stop swallowing the parse error
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
aca0a4d2
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
8aab14aa
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
f8dbefdf
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
4mo ago
June 2026
Pol Dellaiera
2b3419ed
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
700b9c0c
Copied
Failed
Copy SHA
handle the ref with a slash in it
Copy SHA
Browse repository
committed
4mo ago
Robert Hensing
593bddd3
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
4mo ago
mivorasu
bcd5bbf5
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
e9a5f850
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
d346fecd
Copied
Failed
Copy SHA
put the separator back between the rows
Copy SHA
Browse repository
committed
4mo ago
mivorasu
0995d737
Copied
Failed
Copy SHA
walk the parents once, not twice
Copy SHA
Browse repository
committed
4mo ago
Sergio Miguéns
5d90cb64
Copied
Failed
Copy SHA
cache the resolved handle for the session
Copy SHA
Browse repository
committed
4mo ago
mivorasu
3c417d2b
Copied
Failed
Copy SHA
spell the aria label out loud
Copy SHA
Browse repository
committed
5mo ago
Sergio Miguéns
7e750822
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
5mo ago
Pol Dellaiera
df89da32
Copied
Failed
Copy SHA
pull the loader out of the component
Copy SHA
Browse repository
committed
5mo ago
May 2026
mivorasu
7fee93fe
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
5mo ago
Robert Hensing
f855ac76
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
5mo ago
Pol Dellaiera
b1badb87
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
5mo ago
mivorasu
6cda5391
Copied
Failed
Copy SHA
make the toggle keyboard reachable
Copy SHA
Browse repository
committed
5mo ago
Previous
1
2
Next