nixpkgs
What happens if I push all of nixpkgs
Star
Fork
Watch

Version history of pkgs/development/coq-modules/extructures/default.nix

November 2026

mivorasu
fix the off-by-one in the page cursor
committed
mivorasu
walk the parents once, not twice
committed
Pol Dellaiera
reuse the existing chip instead of a new one
committed
mivorasu
stop the header from reflowing on hover
committed

October 2026

Robert Hensing
round the sizes to the token scale
committed
Robert Hensing
handle the ref with a slash in it
committed
mivorasu
keep the empty state on one line
committed
Robert Hensing
fix the off-by-one in the page cursor
committed
Robert Hensing
pull the loader out of the component
committed
Sergio Miguéns
trim the trailing newline before hashing
committed
Sergio Miguéns
treat a missing body as empty, not null
committed
Pol Dellaiera
tighten the types around the response
committed
Robert Hensing
handle the ref with a slash in it
committed
Pol Dellaiera
treat a missing body as empty, not null
committed