diff options
| author | Shea Levy <shea@shealevy.com> | 2021-07-23 07:42:26 -0400 |
|---|---|---|
| committer | Shea Levy <shea@shealevy.com> | 2021-07-23 07:42:26 -0400 |
| commit | 36935f973699f7ed87b5d64497f50661c6261e4d (patch) | |
| tree | 8b6c08200bec5481e27186007ee6f8f568ce8864 /pkgs/development/libraries | |
| parent | 5c96c4d2845fd6224a2a8709d67b21369a4206c8 (diff) | |
| download | nixlib-36935f973699f7ed87b5d64497f50661c6261e4d.tar nixlib-36935f973699f7ed87b5d64497f50661c6261e4d.tar.gz nixlib-36935f973699f7ed87b5d64497f50661c6261e4d.tar.bz2 nixlib-36935f973699f7ed87b5d64497f50661c6261e4d.tar.lz nixlib-36935f973699f7ed87b5d64497f50661c6261e4d.tar.xz nixlib-36935f973699f7ed87b5d64497f50661c6261e4d.tar.zst nixlib-36935f973699f7ed87b5d64497f50661c6261e4d.zip | |
agdaPackages.cubical: 0.2 -> 0.3pred5030a9
0.2 does not build with agda 2.6.2
Diffstat (limited to 'pkgs/development/libraries')
| -rw-r--r-- | pkgs/development/libraries/agda/cubical/default.nix | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/pkgs/development/libraries/agda/cubical/default.nix b/pkgs/development/libraries/agda/cubical/default.nix index 241caf16d679..74bdf0b2135c 100644 --- a/pkgs/development/libraries/agda/cubical/default.nix +++ b/pkgs/development/libraries/agda/cubical/default.nix @@ -1,16 +1,14 @@ { lib, mkDerivation, fetchFromGitHub, ghc, glibcLocales }: mkDerivation rec { - - # Version 0.2 is meant to be used with the Agda 2.6.1 compiler. pname = "cubical"; - version = "0.2"; + version = "0.3pred5030a9"; src = fetchFromGitHub { repo = pname; owner = "agda"; - rev = "v${version}"; - sha256 = "07qlp2f189jvzbn3aqvpqk2zxpkmkxhhkjsn62iq436kxqj3z6c2"; + rev = "d5030a9c89070255fc575add4e9f37b97e6a0c0c"; + sha256 = "18achbxap4ikydigmz3m3xjfn3i9dw4rn8yih82vrlc01j02nqpi"; }; LC_ALL = "en_US.UTF-8"; |