Bump nix: Newer nixpkgs and coq-8.10 - Githubissues

plclub / hs-to-coq

Convert Haskell source code to Coq source code.

https://hs-to-coq.readthedocs.io

MIT License

78 stars 8 forks source link

Bump nix: Newer nixpkgs and coq-8.10 #189

Closed nomeata closed 3 years ago