agda-iowa-stdlib: renamed from aaron-stump-stdlib
Per author's request.
This commit is contained in:
parent
448f3229f8
commit
714dc47696
@ -2,7 +2,7 @@
|
||||
|
||||
agda.mkDerivation (self: rec {
|
||||
version = "18437";
|
||||
name = "aaron-stump-stdlib-${version}";
|
||||
name = "agda-iowa-stdlib-${version}";
|
||||
|
||||
src = fetchsvn {
|
||||
url = "https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib";
|
||||
@ -18,7 +18,7 @@ agda.mkDerivation (self: rec {
|
||||
|
||||
meta = {
|
||||
homepage = "https://svn.divms.uiowa.edu/repos/clc/projects/agda/lib/";
|
||||
description = "A standard library by Aaron Stump";
|
||||
description = "Agda standard library developed at Iowa";
|
||||
license = stdenv.lib.licenses.free;
|
||||
platforms = stdenv.lib.platforms.unix;
|
||||
maintainers = with stdenv.lib.maintainers; [ fuuzetsu ];
|
@ -6786,7 +6786,7 @@ let
|
||||
|
||||
### DEVELOPMENT / LIBRARIES / AGDA
|
||||
|
||||
aaronStumpStdlib = callPackage ../development/libraries/agda/aaron-stump-stdlib {};
|
||||
agdaIowaStdlib = callPackage ../development/libraries/agda/agda-iowa-stdlib {};
|
||||
|
||||
agda = callPackage ../build-support/agda {
|
||||
glibcLocales = if pkgs.stdenv.isLinux then pkgs.glibcLocales else null;
|
||||
|
Loading…
Reference in New Issue
Block a user