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

Published 20 hours ago • verified publisher icon coq-community

Add comment to say it was generated and where from

Open CohenCyril opened this issue 4 years ago • 0 comments

https://github.com/coq-community/coq-nix-toolbox/blob/b1e5c52bdc1d79b7cd220476ebd9bc552a2331c7/project-default.nix#L1

CohenCyril avatar Mar 11 '21 16:03 CohenCyril