sagetex: etc

Formatting.

Co-authored-by: legendofmiracles <30902201+legendofmiracles@users.noreply.github.com>
This commit is contained in:
Alexander Nortung 2022-01-25 13:05:56 +00:00 committed by GitHub
parent 375b48a52d
commit fc475fa802
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -5,8 +5,8 @@
}:
stdenv.mkDerivation rec {
pname = "sagetex";
version = "3.6";
pname = "sagetex";
passthru.tlType = "run";
src = fetchFromGitHub {