coq-nix-toolbox icon indicating copy to clipboard operation
coq-nix-toolbox copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

coqPackages.HoTT: 8.19 -> 8.20

Open Alizter opened this issue 1 year ago • 0 comments

https://github.com/NixOS/nixpkgs/pull/344973

Alizter avatar Sep 27 '24 23:09 Alizter