Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: 2df7f1b5b5ad5c1a4805f6d756ede50e0930e9eb https://github.com/NixOS/nixpkgs/commit/2df7f1b5b5ad5c1a4805f6d756ede50e0930e9eb Author: John Wiegley <jo...@newartisans.com> Date: 2017-04-23 (Sun, 23 Apr 2017)
Changed paths: M pkgs/development/coq-modules/QuickChick/default.nix M pkgs/top-level/all-packages.nix Log Message: ----------- coq.QuickChick: Update to latest version that works with Coq 8.6
_______________________________________________ nix-commits mailing list nix-comm...@lists.science.uu.nl https://mailman.science.uu.nl/mailman/listinfo/nix-commits