Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 462958b3b73468febd1a9c0a7be97976c0854401
https://github.com/NixOS/nixpkgs/commit/462958b3b73468febd1a9c0a7be97976c0854401
Author: Gabriel Ebner <[email protected]>
Date: 2016-01-29 (Fri, 29 Jan 2016)
Changed paths:
M pkgs/applications/science/logic/tptp/default.nix
Log Message:
-----------
tptp: 6.1.0 -> 6.3.0
Commit: 73468cf4d49cd188506a4aec1a7d9fc20765c2b0
https://github.com/NixOS/nixpkgs/commit/73468cf4d49cd188506a4aec1a7d9fc20765c2b0
Author: Gabriel Ebner <[email protected]>
Date: 2016-01-29 (Fri, 29 Jan 2016)
Changed paths:
M pkgs/applications/science/logic/tptp/default.nix
Log Message:
-----------
tptp: replace use of builderDefsPackage
Commit: c06cdea547b3b334ae366f84013a3b3b987c7013
https://github.com/NixOS/nixpkgs/commit/c06cdea547b3b334ae366f84013a3b3b987c7013
Author: Domen Kožar <[email protected]>
Date: 2016-01-29 (Fri, 29 Jan 2016)
Changed paths:
M pkgs/applications/science/logic/tptp/default.nix
Log Message:
-----------
Merge pull request #12664 from gebner/tptp-6.3.0
tptp: 6.1.0 -> 6.3.0, and get rid of builderDefsPackage
Compare: https://github.com/NixOS/nixpkgs/compare/4f8f5732fc1a...c06cdea547b3_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
