pyrox.dev
lol
Agda: update to 2.3.2.2.
This update also fixes the build errors on hydra that were caused by
an incompatible version of haskell-src-ext.
Close #1153.
authored by
Pascal Wittmann
and committed by
Evgeny Egorochkin
6e062f14
a61b800d
+2
-2
+2
-2
pkgs/development/libraries/haskell/Agda/default.nix
+2
-2
pkgs/development/libraries/haskell/Agda/default.nix
···
5
5
6
6
cabal.mkDerivation (self: {
7
7
pname = "Agda";
8
-
version = "2.3.2.1";
9
-
sha256 = "1dlf0cs913ma8wjvra8x6p0lwi1pk7ynbdq4lxgbdfgqkbnh43kr";
8
+
version = "2.3.2.2";
9
+
sha256 = "0zr2rg2yvq6pqg69c6h7hqqpc5nj8prfhcvj5p2alkby0vs110qc";
10
10
isLibrary = true;
11
11
isExecutable = true;
12
12
buildDepends = [