diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/agda/agda-base/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/libraries/agda/agda-base/default.nix | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/libraries/agda/agda-base/default.nix b/nixpkgs/pkgs/development/libraries/agda/agda-base/default.nix new file mode 100644 index 000000000000..146e44182ed2 --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/agda/agda-base/default.nix @@ -0,0 +1,23 @@ +{ 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 ]; + broken = true; # largely replaced by HoTT-Agda + }; +}) |