diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-10-02 09:49:42 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-10-02 09:49:42 +0100 |
| commit | 2e51b2e18ae7c519030ce3a128baf2b800700bba (patch) | |
| tree | a5714787b83a73537c7c2f4b8cf98889c9bf4c65 /pkgs/development | |
| parent | 4d92a0675b1f071bd71fd390679388afc9602135 (diff) | |
| download | nixpkgs-2e51b2e18ae7c519030ce3a128baf2b800700bba.tar nixpkgs-2e51b2e18ae7c519030ce3a128baf2b800700bba.tar.gz nixpkgs-2e51b2e18ae7c519030ce3a128baf2b800700bba.tar.bz2 nixpkgs-2e51b2e18ae7c519030ce3a128baf2b800700bba.tar.lz nixpkgs-2e51b2e18ae7c519030ce3a128baf2b800700bba.tar.xz nixpkgs-2e51b2e18ae7c519030ce3a128baf2b800700bba.tar.zst nixpkgs-2e51b2e18ae7c519030ce3a128baf2b800700bba.zip | |
agda-base: new package
Diffstat (limited to 'pkgs/development')
| -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 ]; + }; +}) |