diff options
| author | Cyril Cohen | 2020-06-03 16:56:39 +0200 |
|---|---|---|
| committer | GitHub | 2020-06-03 16:56:39 +0200 |
| commit | e71aecf4fbb829accba495e2e7cdba1a1ddc836a (patch) | |
| tree | c00cc729667f57cfe8e0268dd4c55bd5cf2b5fa0 /config.nix | |
| parent | 4e1a0c3aa403be01b04059f1c6817d885d91eef4 (diff) | |
| parent | 42fbcdd1e937e56c4b145ff1acb7d437fa934efb (diff) | |
Merge pull request #520 from CohenCyril/cachix-action
Cachix action
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"; +} |