mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-16 10:43:27 +00:00
Merge pull request #247499 from ncfavier/1lab
agdaPackages._1lab: init at unstable-2023-03-07
This commit is contained in:
commit
c2596b396c
32
pkgs/development/libraries/agda/1lab/default.nix
Normal file
32
pkgs/development/libraries/agda/1lab/default.nix
Normal file
@ -0,0 +1,32 @@
|
||||
{ lib, mkDerivation, fetchFromGitHub }:
|
||||
|
||||
mkDerivation rec {
|
||||
pname = "1lab";
|
||||
version = "unstable-2023-03-07";
|
||||
|
||||
src = fetchFromGitHub {
|
||||
owner = "plt-amy";
|
||||
repo = pname;
|
||||
# Last commit that compiles with Agda 2.6.3
|
||||
rev = "c6ee57a2da327def241324b4775ec2c67cdab2af";
|
||||
hash = "sha256-zDqFaDZxAdFxYM6l2zc7ZTi4XwMThw1AQwHfvhOxzdg=";
|
||||
};
|
||||
|
||||
# We don't need anything in support; avoid installing LICENSE.agda
|
||||
postPatch = ''
|
||||
rm -rf support
|
||||
'';
|
||||
|
||||
libraryName = "cubical-1lab";
|
||||
libraryFile = "1lab.agda-lib";
|
||||
everythingFile = "src/index.lagda.md";
|
||||
|
||||
meta = with lib; {
|
||||
description =
|
||||
"A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory ";
|
||||
homepage = src.meta.homepage;
|
||||
license = licenses.agpl3;
|
||||
platforms = platforms.unix;
|
||||
maintainers = with maintainers; [ ncfavier ];
|
||||
};
|
||||
}
|
@ -33,5 +33,7 @@ let
|
||||
generic = callPackage ../development/libraries/agda/generic { };
|
||||
|
||||
agdarsec = callPackage ../development/libraries/agda/agdarsec { };
|
||||
|
||||
_1lab = callPackage ../development/libraries/agda/1lab { };
|
||||
};
|
||||
in mkAgdaPackages Agda
|
||||
|
Loading…
Reference in New Issue
Block a user