diff options
author | Jan Tojnar <jtojnar@gmail.com> | 2020-04-13 18:50:35 +0200 |
---|---|---|
committer | Jan Tojnar <jtojnar@gmail.com> | 2020-04-13 18:50:35 +0200 |
commit | a04625379a9e842cb987197c4f273de1bea807b7 (patch) | |
tree | 1d7de56a82a7806d6560a17c1bbdf19f86136c97 /pkgs/tools/misc/gringo | |
parent | 1ab03c3a76dd142a44c27951018f145ff78fb57e (diff) | |
parent | 6f6d2124fc890c41c7aaf0bee50f386866d30c15 (diff) | |
download | nixlib-a04625379a9e842cb987197c4f273de1bea807b7.tar nixlib-a04625379a9e842cb987197c4f273de1bea807b7.tar.gz nixlib-a04625379a9e842cb987197c4f273de1bea807b7.tar.bz2 nixlib-a04625379a9e842cb987197c4f273de1bea807b7.tar.lz nixlib-a04625379a9e842cb987197c4f273de1bea807b7.tar.xz nixlib-a04625379a9e842cb987197c4f273de1bea807b7.tar.zst nixlib-a04625379a9e842cb987197c4f273de1bea807b7.zip |
Merge branch 'master' into staging-next
Diffstat (limited to 'pkgs/tools/misc/gringo')
-rw-r--r-- | pkgs/tools/misc/gringo/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/tools/misc/gringo/default.nix b/pkgs/tools/misc/gringo/default.nix index 2d1284d66529..92f1eb895855 100644 --- a/pkgs/tools/misc/gringo/default.nix +++ b/pkgs/tools/misc/gringo/default.nix @@ -51,7 +51,7 @@ stdenv.mkDerivation { meta = with stdenv.lib; { description = "Converts input programs with first-order variables to equivalent ground programs"; - homepage = http://potassco.sourceforge.net/; + homepage = "http://potassco.sourceforge.net/"; platforms = platforms.all; maintainers = [ maintainers.hakuch ]; license = licenses.gpl3Plus; |