tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 mkDerivation,
4 fetchFromGitHub,
5 nixosTests,
6}:
7
8mkDerivation rec {
9 pname = "standard-library";
10 version = "2.3";
11
12 src = fetchFromGitHub {
13 repo = "agda-stdlib";
14 owner = "agda";
15 rev = "v${version}";
16 hash = "sha256-JOeoek6OfyIk9vwTj5QUJU6LnRzwfiG0e0ysW6zbhZ8=";
17 };
18
19 passthru.tests = { inherit (nixosTests) agda; };
20 meta = {
21 homepage = "https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary";
22 description = "Standard library for use with the Agda compiler";
23 license = lib.licenses.mit;
24 platforms = lib.platforms.unix;
25 maintainers = with lib.maintainers; [
26 jwiegley
27 mudri
28 alexarice
29 turion
30 ];
31 };
32}