palp: correct metadata for repology

This commit is contained in:
Jonathan Ringer 2020-04-07 14:08:03 -07:00
parent ff245d646e
commit f89b76d9db
No known key found for this signature in database
GPG Key ID: 5C841D3CFDFEC4E0

View File

@ -4,10 +4,12 @@
, doSymlink ? true # symlink the executables to the default location (without dimension postfix) , doSymlink ? true # symlink the executables to the default location (without dimension postfix)
}: }:
stdenv.mkDerivation rec { let
version = "2.1";
dim = toString dimensions; dim = toString dimensions;
name = "palp-${dim}d-${version}"; in
stdenv.mkDerivation rec {
pname = "palp";
version = "2.1";
src = fetchurl { src = fetchurl {
url = "http://hep.itp.tuwien.ac.at/~kreuzer/CY/palp/palp-${version}.tar.gz"; url = "http://hep.itp.tuwien.ac.at/~kreuzer/CY/palp/palp-${version}.tar.gz";
@ -75,7 +77,7 @@ stdenv.mkDerivation rec {
algorithms work in any dimension and our key routine for vertex and algorithms work in any dimension and our key routine for vertex and
facet enumeration compares well with existing packages. facet enumeration compares well with existing packages.
''; '';
homepage = http://hep.itp.tuwien.ac.at/~kreuzer/CY/CYpalp.html; homepage = "http://hep.itp.tuwien.ac.at/~kreuzer/CY/CYpalp.html";
# Just a link on the website pointing to gpl -- now gplv3. When the last # Just a link on the website pointing to gpl -- now gplv3. When the last
# version was released that pointed to gplv2 however, so thats probably # version was released that pointed to gplv2 however, so thats probably
# the right license. # the right license.