ginac: add license

This commit is contained in:
Markus Kowalewski 2018-08-20 20:02:23 +02:00
parent 1bf19218d7
commit 3c1819fcce
No known key found for this signature in database
GPG Key ID: D865C8A91D7025EB

View File

@ -22,6 +22,7 @@ stdenv.mkDerivation rec {
description = "GiNaC is Not a CAS"; description = "GiNaC is Not a CAS";
homepage = http://www.ginac.de/; homepage = http://www.ginac.de/;
maintainers = with maintainers; [ lovek323 ]; maintainers = with maintainers; [ lovek323 ];
license = licenses.gpl2;
platforms = platforms.all; platforms = platforms.all;
}; };
} }