diff options
| author | Cyril Cohen | 2020-06-02 19:05:12 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-06-03 13:40:30 +0200 |
| commit | 42fbcdd1e937e56c4b145ff1acb7d437fa934efb (patch) | |
| tree | c00cc729667f57cfe8e0268dd4c55bd5cf2b5fa0 /config.nix | |
| parent | 4e1a0c3aa403be01b04059f1c6817d885d91eef4 (diff) | |
update default nix and setup cachix
Diffstat (limited to 'config.nix')
| -rw-r--r-- | config.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config.nix b/config.nix new file mode 100644 index 0000000..7660dde --- /dev/null +++ b/config.nix @@ -0,0 +1,3 @@ +{ + coq = "8.10"; +} |