fixup: use the correct gephy package name

This commit is contained in:
Léo Gaspard 2018-08-17 01:13:46 +09:00
parent 39cd3f370d
commit 61e0b8d3be
No known key found for this signature in database
GPG Key ID: 8A55848B6090F9CF

@ -1,6 +1,6 @@
{ stdenv, fetchFromGitHub, jdk, maven, writeText, makeWrapper, jre_headless, pcsclite }: { stdenv, fetchFromGitHub, jdk, maven, writeText, makeWrapper, jre_headless, pcsclite }:
# TODO: This is quite a bit of duplicated logic with gephy. Factor it out? # TODO: This is quite a bit of duplicated logic with gephi. Factor it out?
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "global-platform-pro"; pname = "global-platform-pro";
version = "0.3.10-rc11"; version = "0.3.10-rc11";