diff options
| author | Ryan Orendorff <12442942+ryanorendorff@users.noreply.github.com> | 2020-05-19 11:20:35 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-19 13:20:35 -0400 |
| commit | f7ad47a8f62e28e840e0f11177b2f7d6a16d29b2 (patch) | |
| tree | 66f131dd202d5398aee7c80352ef865d372ac544 /pkgs/top-level | |
| parent | 698e71db2c47b5d3a206c65288f88ab4320eaf1e (diff) | |
| download | nixlib-f7ad47a8f62e28e840e0f11177b2f7d6a16d29b2.tar nixlib-f7ad47a8f62e28e840e0f11177b2f7d6a16d29b2.tar.gz nixlib-f7ad47a8f62e28e840e0f11177b2f7d6a16d29b2.tar.bz2 nixlib-f7ad47a8f62e28e840e0f11177b2f7d6a16d29b2.tar.lz nixlib-f7ad47a8f62e28e840e0f11177b2f7d6a16d29b2.tar.xz nixlib-f7ad47a8f62e28e840e0f11177b2f7d6a16d29b2.tar.zst nixlib-f7ad47a8f62e28e840e0f11177b2f7d6a16d29b2.zip | |
agdaPackages.cubical: init at 0.2 (#76994)
Co-authored-by: Alex Rice <alexrice999@hotmail.co.uk>
Diffstat (limited to 'pkgs/top-level')
| -rw-r--r-- | pkgs/top-level/agda-packages.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pkgs/top-level/agda-packages.nix b/pkgs/top-level/agda-packages.nix index 3f4d7db0c7c7..5b5b2d19181c 100644 --- a/pkgs/top-level/agda-packages.nix +++ b/pkgs/top-level/agda-packages.nix @@ -22,5 +22,7 @@ let agda-prelude = callPackage ../development/libraries/agda/agda-prelude { }; agda-categories = callPackage ../development/libraries/agda/agda-categories { }; + + cubical = callPackage ../development/libraries/agda/cubical { }; }; in mkAgdaPackages Agda |