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

agda: add Agda-Sheaves

Browse Source
This commit is contained in:
Mateusz Kowalczyk 2014-09-11 18:49:28 +01:00
parent d394d095ab
commit d084f40c01
2 changed files with 25 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
pkgs/development/libraries/agda/AgdaSheaves/default.nix Normal file
View File

@ -0,0 +1,23 @@
{ stdenv, agda, fetchgit }:
agda.mkDerivation (self: rec {
version = "8a06162a8f0f7df308458db91d720cf8f7345d69";
name = "Agda-Sheaves-${version}";
src = fetchgit {
url = "https://github.com/jonsterling/Agda-Sheaves.git";
rev = version;
sha256 = "39e0e4a1f05e359c099cf50a5ec7dd2db7b55f98dcc019f1e4667dca8b37f001";
};
everythingFile = "sheaves.agda";
topSourceDirectories = [ "../$sourceRoot" ];
sourceDirectories = [];
meta = {
homepage = "https://github.com/jonsterling/Agda-Sheaves";
description = "Sheaves in Agda";
license = "CC-BY-4.0";
platforms = stdenv.lib.platforms.unix;
maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
};
})

2
pkgs/top-level/all-packages.nix
View File

@ -6638,6 +6638,8 @@ let
ghcWithPackages = haskellPackages.ghcWithPackages; ghcWithPackages = haskellPackages.ghcWithPackages;
}; };
AgdaSheaves = callPackage ../development/libraries/agda/AgdaSheaves {};
### DEVELOPMENT / LIBRARIES / JAVA ### DEVELOPMENT / LIBRARIES / JAVA
atermjava = callPackage ../development/libraries/java/aterm { atermjava = callPackage ../development/libraries/java/aterm {