diff options
| author | Keshav Kini <keshav.kini@gmail.com> | 2020-05-02 13:25:18 -0700 |
|---|---|---|
| committer | Alex Rice <alexrice999@hotmail.co.uk> | 2020-05-14 20:54:12 +0100 |
| commit | 43fb96efe89c2215a58b576ee70e8b8ca0413897 (patch) | |
| tree | 5dd915bd95913116ab853868ed3d466835111971 /pkgs/development/libraries/agda | |
| parent | b78a5a0e79808550e450d8c5aba142309fe15fa3 (diff) | |
iowa-stdlib: update homepage URL
The old homepage URL, which was hosted inside the old SVN server, isn't publicly accessible anymore. Since the project has officially moved to github, it seems better to set the github repo as the homepage.
Diffstat (limited to 'pkgs/development/libraries/agda')
| -rw-r--r-- | pkgs/development/libraries/agda/iowa-stdlib/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/libraries/agda/iowa-stdlib/default.nix b/pkgs/development/libraries/agda/iowa-stdlib/default.nix index 6fa45f58e78ca..3cd1921be2d53 100644 --- a/pkgs/development/libraries/agda/iowa-stdlib/default.nix +++ b/pkgs/development/libraries/agda/iowa-stdlib/default.nix @@ -20,7 +20,7 @@ mkDerivation (rec { ''; meta = { - homepage = "https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib/"; + homepage = "https://github.com/cedille/ial"; description = "Agda standard library developed at Iowa"; license = stdenv.lib.licenses.free; platforms = stdenv.lib.platforms.unix; |