diff options
| author | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-09-11 18:49:28 +0100 |
|---|---|---|
| committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-09-11 18:49:28 +0100 |
| commit | d084f40c0183e133c9b26dd249de633511a444ca (patch) | |
| tree | ea4664e7e28cc4792bcc387db98e2e87ec4ffcaa /pkgs/development/libraries/agda/AgdaSheaves | |
| parent | d394d095ab6dc32f1ee45c75e51b56ca9a443548 (diff) | |
| download | nixlib-d084f40c0183e133c9b26dd249de633511a444ca.tar nixlib-d084f40c0183e133c9b26dd249de633511a444ca.tar.gz nixlib-d084f40c0183e133c9b26dd249de633511a444ca.tar.bz2 nixlib-d084f40c0183e133c9b26dd249de633511a444ca.tar.lz nixlib-d084f40c0183e133c9b26dd249de633511a444ca.tar.xz nixlib-d084f40c0183e133c9b26dd249de633511a444ca.tar.zst nixlib-d084f40c0183e133c9b26dd249de633511a444ca.zip | |
agda: add Agda-Sheaves
Diffstat (limited to 'pkgs/development/libraries/agda/AgdaSheaves')
| -rw-r--r-- | pkgs/development/libraries/agda/AgdaSheaves/default.nix | 23 |
1 files changed, 23 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 |