scolobb/nix-GINsim
2
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Old update to some newer version.

Browse source 
Not even sure when I made this update, but definitely before 2021 when
I switched to Guix.
This commit is contained in:
Sergiu Ivanov 2024-09-14 14:32:43 +01:00
parent d7147baefc
commit a621c304d1
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
ginsim.nix
View file

@ -48,12 +48,12 @@ in
# features. # features.
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "GINsim"; name = "GINsim";
version = "2.4"; version = "3.0.0b-with-deps";
# Simply fetch the JAR file of GINsim. # Simply fetch the JAR file of GINsim.
src = fetchurl { src = fetchurl {
url = "http://ginsim.org/sites/default/files/${name}-${version}.jar"; url = "http://ginsim.org/sites/default/files/${name}-${version}.jar";
sha256 = "0891q75hli6ghgangscygkqw60x9ikx96i8y4fqca6kdh1xgs15h"; sha256 = "1rs27a7saxf803hyxy6z8vwzi2c1b78sn14l1bnslw5iisbc5bjg";
}; };
# I fetch the JAR file directly, so no archives to unpack. # I fetch the JAR file directly, so no archives to unpack.
dontUnpack = true; dontUnpack = true;