diff options
| author | Frederik Rietdijk <fridh@fridh.nl> | 2020-04-25 07:52:04 +0200 |
|---|---|---|
| committer | Frederik Rietdijk <fridh@fridh.nl> | 2020-04-25 07:52:04 +0200 |
| commit | 5c70040db2dd2123f7728f1bdcd40d5018de0ef9 (patch) | |
| tree | aaca4dc14216c2ba38374a2568045213407ac329 /pkgs/development/libraries/agda/agda-stdlib/default.nix | |
| parent | cff0669a4884bd6d0af19964c3589d13b2ea7a2b (diff) | |
| parent | e7460e94124757249515c68a36a7ffdc57a8464d (diff) | |
| download | nixlib-5c70040db2dd2123f7728f1bdcd40d5018de0ef9.tar nixlib-5c70040db2dd2123f7728f1bdcd40d5018de0ef9.tar.gz nixlib-5c70040db2dd2123f7728f1bdcd40d5018de0ef9.tar.bz2 nixlib-5c70040db2dd2123f7728f1bdcd40d5018de0ef9.tar.lz nixlib-5c70040db2dd2123f7728f1bdcd40d5018de0ef9.tar.xz nixlib-5c70040db2dd2123f7728f1bdcd40d5018de0ef9.tar.zst nixlib-5c70040db2dd2123f7728f1bdcd40d5018de0ef9.zip | |
Merge master into staging-next
Diffstat (limited to 'pkgs/development/libraries/agda/agda-stdlib/default.nix')
| -rw-r--r-- | pkgs/development/libraries/agda/agda-stdlib/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/libraries/agda/agda-stdlib/default.nix b/pkgs/development/libraries/agda/agda-stdlib/default.nix index 6056173c311c..6647677f71c0 100644 --- a/pkgs/development/libraries/agda/agda-stdlib/default.nix +++ b/pkgs/development/libraries/agda/agda-stdlib/default.nix @@ -19,7 +19,7 @@ agda.mkDerivation (self: rec { topSourceDirectories = [ "src" ]; meta = with stdenv.lib; { - homepage = "http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary"; + homepage = "https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary"; description = "A standard library for use with the Agda compiler"; license = stdenv.lib.licenses.mit; platforms = stdenv.lib.platforms.unix; |