mirror of
https://github.com/SebastianWendel/nixpkgs.git
synced 2024-09-30 09:00:19 +02:00
655231a612
Purely functional IO for Coq. homepage: https://github.com/Lysxia/coq-simple-io |
||
---|---|---|
.. | ||
default.nix |