文件名称：idris2-pkgs:Nidri Flake of Idris2包装
文件大小：7KB
文件格式：ZIP
更新时间：2024-04-18 17:14:31
Nix
Nix Flake，用于Idris2软件包和后端
【文件预览】：
idris2-pkgs-main
----flake.nix(4KB)
----flake.lock(21KB)
----.gitignore(9B)
----README.md(43B)
idris2-pkgs:Nidri Flake of Idris2包装
【文件属性】：
【文件预览】：
idris2-pkgs-main
----flake.nix(4KB)
----flake.lock(21KB)
----.gitignore(9B)
----README.md(43B)
【文件预览】：
idris2-pkgs-main
----flake.nix(4KB)
----flake.lock(21KB)
----.gitignore(9B)
----README.md(43B)