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/dpdgraph/
default.nix
November 2026
mivorasu
521bcc4c
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
1d ago
mivorasu
29bd9d75
Copied
Failed
Copy SHA
treat a missing body as empty, not null
Copy SHA
Browse repository
committed
3d ago
Sergio Miguéns
12ebb8d5
Copied
Failed
Copy SHA
fix the off-by-one in the page cursor
Copy SHA
Browse repository
committed
1w ago
October 2026
Sergio Miguéns
05b13739
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
2w ago
Robert Hensing
3068d4df
Copied
Failed
Copy SHA
round the sizes to the token scale
Copy SHA
Browse repository
committed
2w ago
mivorasu
f52e84b2
Copied
Failed
Copy SHA
keep the empty state on one line
Copy SHA
Browse repository
committed
3w ago
Pol Dellaiera
117fea4f
Copied
Failed
Copy SHA
collapse the two nearly identical helpers
Copy SHA
Browse repository
committed
3w ago
Robert Hensing
66274272
Copied
Failed
Copy SHA
read the default from the config
Copy SHA
Browse repository
committed
4w ago
Pol Dellaiera
c8862b80
Copied
Failed
Copy SHA
let the caller pass its own fetch
Copy SHA
Browse repository
committed
1mo ago
mivorasu
b148418b
Copied
Failed
Copy SHA
trim the trailing newline before hashing
Copy SHA
Browse repository
committed
1mo ago
September 2026
Pol Dellaiera
2394fda1
Copied
Failed
Copy SHA
tighten the types around the response
Copy SHA
Browse repository
committed
1mo ago
Robert Hensing
f9630984
Copied
Failed
Copy SHA
drop the dead compatibility branch
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
e4ba089f
Copied
Failed
Copy SHA
name the magic number
Copy SHA
Browse repository
committed
1mo ago
Sergio Miguéns
3987747f
Copied
Failed
Copy SHA
split the view out of the route
Copy SHA
Browse repository
committed
1mo ago