Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: b21540c4a668ebe34e1868c21e7dd8cc653fdabd https://github.com/NixOS/nixpkgs/commit/b21540c4a668ebe34e1868c21e7dd8cc653fdabd Author: Shea Levy <s...@shealevy.com> Date: 2017-05-20 (Sat, 20 May 2017)
Changed paths: M pkgs/applications/science/logic/coq/default.nix Log Message: ----------- coq: Add emacs buffer setup
_______________________________________________ nix-commits mailing list nix-comm...@lists.science.uu.nl https://mailman.science.uu.nl/mailman/listinfo/nix-commits