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 optional tools to nix-shell.

Open Zimmi48 opened this issue 4 years ago • 2 comments

For instance, for Coq, we would need tools like jq and git to make some dev scripts work.

Zimmi48 avatar Apr 19 '21 09:04 Zimmi48

@CohenCyril would this be easy to implement? This seems to be the last missing bit to convert Coq's Nix setup to use the toolbox.

Zimmi48 avatar Jun 02 '21 07:06 Zimmi48

Actually, I found a way to do without this (by relying on shell-attribute, which I already had to do anyway).

Zimmi48 avatar Jun 02 '21 08:06 Zimmi48