Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 93fbb947b345da190d52da6f9e48d46194bb8f70
https://github.com/NixOS/nixpkgs/commit/93fbb947b345da190d52da6f9e48d46194bb8f70
Author: Théo Zimmermann <[email protected]>
Date: 2016-11-03 (Thu, 03 Nov 2016)
Changed paths:
M pkgs/tools/misc/aspcud/default.nix
A pkgs/tools/misc/clingo/default.nix
R pkgs/tools/misc/gringo/default.nix
R pkgs/tools/misc/gringo/gringo-4.5.4-cmath.patch
M pkgs/top-level/all-packages.nix
Log Message:
-----------
aspcud: fix by updating the dependencies (#20086)
Depends on gringo but gringo is now maintained as part of the clingo
suite. This commit removes gringo (standalone) and replace it with
the latest version of clingo. This update follows closely the old
derivation for gringo (see 99e06fe).
_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
