diff options
| author | Théo Zimmermann | 2020-09-21 15:24:55 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-09-21 15:24:55 +0200 |
| commit | febcda97deaadb9a68f75949a775cfd88e7d04f0 (patch) | |
| tree | 63be55d955b9bca5887ae294182a962c9b2b4b77 /INSTALL.md | |
| parent | 21366f8eab4ab9bd2c2af7a986b681704cd94c3f (diff) | |
Bump nixpkgs to get zarith 1.10.
Diffstat (limited to 'INSTALL.md')
0 files changed, 0 insertions, 0 deletions