Merge pull request #84666 from jonringer/repofy-palp

palp: correct metadata for repology
This commit is contained in:
Timo Kaufmann 2020-04-08 11:44:33 +00:00 committed by GitHub
commit b72fd98789
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

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.