!fixup Address PR feedback part 1

This commit is contained in:
Pol Dellaiera 2024-04-23 18:59:11 +02:00
parent 84c05e1260
commit ffac0b2e42
No known key found for this signature in database
GPG Key ID: D476DFE9C67467CA

View File

@ -10,16 +10,18 @@
mpfr, mpfr,
}: }:
stdenv.mkDerivation { stdenv.mkDerivation (finalAttrs: {
pname = "mathemagix"; pname = "mathemagix";
version = "11126"; version = "11126";
src = fetchsvn { src = fetchsvn {
url = "https://subversion.renater.fr/anonscm/svn/mmx/"; url = "https://subversion.renater.fr/anonscm/svn/mmx/";
rev = 11126; rev = finalAttrs.version;
hash = "sha256-AFnYd5oFg/wgaHPjfZmqXNljEpoFW4h6f3UG+KZauEs="; hash = "sha256-AFnYd5oFg/wgaHPjfZmqXNljEpoFW4h6f3UG+KZauEs=";
}; };
strictDeps = true;
nativeBuildInputs = [ nativeBuildInputs = [
readline readline
ncurses ncurses
@ -42,4 +44,4 @@ stdenv.mkDerivation {
maintainers = with lib.maintainers; [ drupol ]; maintainers = with lib.maintainers; [ drupol ];
platforms = lib.platforms.linux; platforms = lib.platforms.linux;
}; };
} })