ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2025-01-08 14:40:07 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #98199 from turion/dev_agda_stdlib_1.4

Browse Source 
agdaPackages.standard-library: 1.3 -> 1.4
This commit is contained in:
Kevin Cox 2020-10-22 08:34:23 -04:00 committed by GitHub
commit 6c9d44d39c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
3 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/libraries/agda/agda-categories/default.nix
View File

@ -1,14 +1,14 @@
{ lib, mkDerivation, fetchFromGitHub, standard-library }:
mkDerivation rec {
version = "0.1.3.1";
version = "0.1.4";
pname = "agda-categories";
src = fetchFromGitHub {
owner = "agda";
repo = "agda-categories";
rev = "v${version}";
sha256 = "08mc20qaz9vp5rhi60rh8wvjkg5aby3bgwwdhfnxha1663qf1q24";
sha256 = "0n6y9xarqhj95i4h56klx10gy0fyckxbfwgiissfknpfq6l0m7r6";
};
buildInputs = [ standard-library ];

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

@ -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; {

4
pkgs/development/libraries/agda/standard-library/default.nix
View File

@ -2,13 +2,13 @@
mkDerivation rec {
pname = "standard-library";
version = "1.3";
version = "1.4";
src = fetchFromGitHub {
repo = "agda-stdlib";
owner = "agda";
rev = "v${version}";
sha256 = "18kl20z3bjfgx5m3nvrdj5776qmpi7jl2p12pqybsls2lf86m0d5";
sha256 = "1asjbisb7pfkgzqy7gf9b23z63bba8l8p1wqfd6ff5ddgqwj3dhp";
};
nativeBuildInputs = [ (ghcWithPackages (self : [ self.filemanip ])) ];