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

Published 20 hours ago • verified publisher icon coq-community

Replace check for existing binaries in cache

Open CohenCyril opened this issue 4 years ago • 2 comments

This is dirty!

https://github.com/coq-community/coq-nix-toolbox/blob/5e713b1b2be756cd5d9b6df6615390e772ff1dfb/.nix/shellHook.sh#L204-L205

CohenCyril avatar Mar 12 '21 21:03 CohenCyril

The issue is not very clear but isn't this fixed now?

Zimmi48 avatar Apr 19 '21 09:04 Zimmi48

It's fix-ish,... it should be renamed... EDIT: done

CohenCyril avatar Apr 19 '21 09:04 CohenCyril