mirror of
https://github.com/ilyakooo0/nixpkgs.git
synced 2024-09-29 00:27:49 +03:00
haskell-Agda-executable: updated to version 2.3.0
svn path=/nixpkgs/trunk/; revision=30560
This commit is contained in:
parent
ed494478f7
commit
167ec73929
@ -2,8 +2,8 @@
|
||||
|
||||
cabal.mkDerivation (self: {
|
||||
pname = "Agda-executable";
|
||||
version = "2.2.10";
|
||||
sha256 = "0jjlbz5vaz1pasfws1cy8wvllzdzv3sxm2lfj6bckl93kdrxlpy6";
|
||||
version = "2.3.0";
|
||||
sha256 = "1n1ak6z2vh356k9mk0zkiv6dqp9dvx97a7r21b0xnhwkmh3f8p5p";
|
||||
isLibrary = false;
|
||||
isExecutable = true;
|
||||
buildDepends = [ Agda ];
|
||||
|
Loading…
Reference in New Issue
Block a user