JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

agda-base: new package

Browse Source
This commit is contained in:
Mateusz Kowalczyk 2014-10-02 09:49:42 +01:00
parent 4d92a0675b
commit 2e51b2e18a
2 changed files with 26 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
pkgs/development/libraries/agda/agda-base/default.nix Normal file
View File

@ -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 ];
};
})

6
pkgs/top-level/all-packages.nix
View File

@ -6808,8 +6808,6 @@ let
### DEVELOPMENT / LIBRARIES / AGDA
agdaIowaStdlib = callPackage ../development/libraries/agda/agda-iowa-stdlib {};
agda = callPackage ../build-support/agda {
glibcLocales = if pkgs.stdenv.isLinux then pkgs.glibcLocales else null;
extension = self : super : {};
@ -6817,6 +6815,10 @@ let
inherit writeScriptBin;
};
agdaBase = callPackage ../development/libraries/agda/agda-base {};
agdaIowaStdlib = callPackage ../development/libraries/agda/agda-iowa-stdlib {};
agdaPrelude = callPackage ../development/libraries/agda/agda-prelude {};
AgdaStdlib = callPackage ../development/compilers/agda/stdlib.nix {