Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: e46ca1b95f4d91791c180346c8f78e1496b83499
https://github.com/NixOS/nixpkgs/commit/e46ca1b95f4d91791c180346c8f78e1496b83499
Author: marcnnn <marc...@users.noreply.github.com>
Date: 2017-05-20 (Sat, 20 May 2017)
Changed paths:
M pkgs/applications/science/logic/cvc4/default.nix
Log Message:
-----------
cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808)
* cvc4: 1.5pre-smtcomp2016 -> 1.5pre-20170514
* cvc4: use stable url
upstream delete their tarballs
_______________________________________________
nix-commits mailing list
nix-comm...@lists.science.uu.nl
https://mailman.science.uu.nl/mailman/listinfo/nix-commits
