cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

agdaPackages.generic: 0.1 -> 0.1.0.1

Browse source
This commit is contained in:
Manuel Bärenz 2020-09-18 12:20:33 +02:00
parent 29684ee617
commit 6e1ce8ca07
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 { mkDerivation rec {
pname = "generic"; pname = "generic";
version = "0.1"; version = "0.1.0.1";
src = fetchFromGitHub { src = fetchFromGitHub {
repo = "Generic"; repo = "Generic";
owner = "effectfully"; owner = "effectfully";
rev = "v${version}"; rev = "v${version}";
sha256 = "121121rg3daaqp91845fbyws6g28hyj1ywmh12n54r3nicb35g5q"; sha256 = "07l44yzx1jly20kmkmkjk8q493bn6x7i3xxpz6mhadkqlxyhmc8s";
}; };
buildInputs = [ buildInputs = [
@ -17,7 +17,7 @@ mkDerivation rec {
preBuild = '' preBuild = ''
echo "module Everything where" > Everything.agda 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; { meta = with lib; {