1
1
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-23 03:32:09 +03:00
Idris2/default.nix
2022-10-28 19:29:30 +01:00

5 lines
123 B
Nix

(import (fetchTarball
"https://github.com/edolstra/flake-compat/archive/master.tar.gz") {
src = ./.;
}).defaultNix