Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: b1b61d0988a458e7b0bbb75cac4fd12a246a83e1 https://github.com/NixOS/nixpkgs/commit/b1b61d0988a458e7b0bbb75cac4fd12a246a83e1 Author: Shea Levy <s...@shealevy.com> Date: 2017-05-22 (Mon, 22 May 2017)
Changed paths: M pkgs/applications/science/logic/coq/default.nix Log Message: ----------- coq: nix-buffer: Inherit variables to PG shell
_______________________________________________ nix-commits mailing list nix-comm...@lists.science.uu.nl https://mailman.science.uu.nl/mailman/listinfo/nix-commits