diff options
Diffstat (limited to 'pkgs/development/libraries/agda/agda-base/default.nix')
-rw-r--r-- | pkgs/development/libraries/agda/agda-base/default.nix | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/pkgs/development/libraries/agda/agda-base/default.nix b/pkgs/development/libraries/agda/agda-base/default.nix new file mode 100644 index 00000000000..cf73d7dea06 --- /dev/null +++ b/pkgs/development/libraries/agda/agda-base/default.nix @@ -0,0 +1,22 @@ +{ stdenv, agda, fetchurl }: + +agda.mkDerivation (self: rec { + version = "0.1"; + name = "agda-base-${version}"; + + src = fetchurl { + url = "https://github.com/pcapriotti/agda-base/archive/v${version}.tar.gz"; + sha256 = "124h06p7jdiqr2x6r46sfab9r0cgb0fznr2qs5i1psl5yf3z74h8"; + }; + + sourceDirectories = [ "./." ]; + everythingFile = "README.agda"; + + meta = { + homepage = "https://github.com/pcapriotti/agda-base"; + description = "Base library for HoTT in Agda"; + license = stdenv.lib.licenses.bsd3; + platforms = stdenv.lib.platforms.unix; + maintainers = with stdenv.lib.maintainers; [ fuuzetsu ]; + }; +}) |