search

coq-community / templates

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@palmskog,@Zimmi48]
The Unlicense
13 stars 8 forks source link

Make nix-shell find mustache #88

Closed CohenCyril closed 3 years ago

CohenCyril commented 3 years ago

fixes #45