JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

agdaPackages.generic: 0.1.0.1 -> 0.1.0.2

Browse Source
This commit is contained in:
Ingo Blechschmidt 2021-01-27 14:04:21 +01:00
parent ec52278ea1
commit 01bb748cb4
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/development/libraries/agda/generic/default.nix
View File

@ -2,13 +2,13 @@
mkDerivation rec {
pname = "generic";
version = "0.1.0.1";
version = "0.1.0.2";
src = fetchFromGitHub {
repo = "Generic";
owner = "effectfully";
repo = "Generic";
rev = "v${version}";
sha256 = "07l44yzx1jly20kmkmkjk8q493bn6x7i3xxpz6mhadkqlxyhmc8s";
sha256 = "05igsd2gaj6h9bkqwp8llhvn4qvc5gmi03x4fnz096ba8m6x8s3n";
};
buildInputs = [