diff options
-rw-r--r-- | pkgs/development/libraries/agda/AgdaSheaves/default.nix | 23 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 2 |
2 files changed, 25 insertions, 0 deletions
diff --git a/pkgs/development/libraries/agda/AgdaSheaves/default.nix b/pkgs/development/libraries/agda/AgdaSheaves/default.nix new file mode 100644 index 000000000000..7ee5e90e60cd --- /dev/null +++ b/pkgs/development/libraries/agda/AgdaSheaves/default.nix @@ -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 ]; + }; +}) \ No newline at end of file diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index 3f04272a1be5..6f76b4f8dbaa 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -6638,6 +6638,8 @@ let ghcWithPackages = haskellPackages.ghcWithPackages; }; + AgdaSheaves = callPackage ../development/libraries/agda/AgdaSheaves {}; + ### DEVELOPMENT / LIBRARIES / JAVA atermjava = callPackage ../development/libraries/java/aterm { |