fix eval
This commit is contained in:
parent
498aef7766
commit
f9ba413b55
@ -18,10 +18,10 @@ agda.mkDerivation (self: rec {
|
||||
|
||||
topSourceDirectories = [ "src" ];
|
||||
|
||||
meta = {
|
||||
meta = with stdenv.lib; {
|
||||
homepage = "http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary";
|
||||
description = "A standard library for use with the Agda compiler.";
|
||||
license = "unknown";
|
||||
maintainers = with stdenv.lib.maintaianers; [ jwiegley ];
|
||||
maintainers = with maintainers; [ jwiegley ];
|
||||
};
|
||||
})
|
||||
})
|
||||
|
@ -17,7 +17,7 @@ stdenv.mkDerivation rec {
|
||||
else
|
||||
fetchurl {
|
||||
url = "https://dl.bintray.com/mitchellh/vagrant/vagrant_${version}_i686.deb";
|
||||
sha256 = "1845sg2v9qas6obkkjtkmmamds901ik9rp2q2r6v75v69m0opvog";
|
||||
sha256 = "047zij0lvrlpyg6icnp4knl0q87icsavbd2g98bkcp79yh2y91d0";
|
||||
};
|
||||
|
||||
meta = with stdenv.lib; {
|
||||
|
Loading…
Reference in New Issue
Block a user