diff options
author | Manuel Bärenz <programming@manuelbaerenz.de> | 2020-09-18 12:20:33 +0200 |
---|---|---|
committer | Manuel Bärenz <programming@manuelbaerenz.de> | 2020-10-19 12:27:31 +0200 |
commit | 6e1ce8ca07a7e14991af24c1f990531f463f12e4 (patch) | |
tree | d89690ac9942e3d905b20fd977d0126600d01db4 /pkgs/development/libraries/agda | |
parent | 29684ee61772d8f11abea088f2e199928b1dd78a (diff) |
agdaPackages.generic: 0.1 -> 0.1.0.1
Diffstat (limited to 'pkgs/development/libraries/agda')
-rw-r--r-- | pkgs/development/libraries/agda/generic/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/libraries/agda/generic/default.nix b/pkgs/development/libraries/agda/generic/default.nix index 1287e08bda1da..08a1d8e12e031 100644 --- a/pkgs/development/libraries/agda/generic/default.nix +++ b/pkgs/development/libraries/agda/generic/default.nix @@ -2,13 +2,13 @@ mkDerivation rec { pname = "generic"; - version = "0.1"; + version = "0.1.0.1"; src = fetchFromGitHub { repo = "Generic"; owner = "effectfully"; rev = "v${version}"; - sha256 = "121121rg3daaqp91845fbyws6g28hyj1ywmh12n54r3nicb35g5q"; + sha256 = "07l44yzx1jly20kmkmkjk8q493bn6x7i3xxpz6mhadkqlxyhmc8s"; }; buildInputs = [ @@ -17,7 +17,7 @@ mkDerivation rec { preBuild = '' echo "module Everything where" > Everything.agda - find src -name '*.agda' | sed -e 's/src\///;s/\//./g;s/\.agda$//;s/^/import /' >> Everything.agda + find src -name '*.agda' | sed -e 's/src\///;s/\//./g;s/\.agda$//;s/^/import /' >> Everything.agda ''; meta = with lib; { |