Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: 86b74fb76b41b34279118c0909504d81a094d967 https://github.com/NixOS/nixpkgs/commit/86b74fb76b41b34279118c0909504d81a094d967 Author: Vincent Laporte <vincent.lapo...@gmail.com> Date: 2017-01-21 (Sat, 21 Jan 2017)
Changed paths: M pkgs/applications/science/logic/alt-ergo/default.nix M pkgs/top-level/all-packages.nix Log Message: ----------- alt-ergo: 0.99.1 -> 1.30
_______________________________________________ nix-commits mailing list nix-comm...@lists.science.uu.nl http://lists.science.uu.nl/mailman/listinfo/nix-commits