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

iowa-stdlib: update homepage URL

Browse Source 
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.
This commit is contained in:
Keshav Kini 2020-05-02 13:25:18 -07:00 committed by Alex Rice
parent b78a5a0e79
commit 43fb96efe8
No known key found for this signature in database
GPG Key ID: 93DDCD7A2B3F3B88
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/development/libraries/agda/iowa-stdlib/default.nix
View File

@ -20,7 +20,7 @@ mkDerivation (rec {
''; '';
meta = { 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"; description = "Agda standard library developed at Iowa";
license = stdenv.lib.licenses.free; license = stdenv.lib.licenses.free;
platforms = stdenv.lib.platforms.unix; platforms = stdenv.lib.platforms.unix;