Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: a6813ca62d240f25b5a28545ae5ea70f20b2a86d
https://github.com/NixOS/nixpkgs/commit/a6813ca62d240f25b5a28545ae5ea70f20b2a86d
Author: Austin Seipp <[email protected]>
Date: 2015-03-28 (Sat, 28 Mar 2015)
Changed paths:
A pkgs/applications/science/logic/lean/default.nix
M pkgs/top-level/all-packages.nix
Log Message:
-----------
nixpkgs: add lean-20150328, a theorem prover.
Signed-off-by: Austin Seipp <[email protected]>
Commit: 5b0310ec59d3e8117d40fa108c9b2da22e3d9258
https://github.com/NixOS/nixpkgs/commit/5b0310ec59d3e8117d40fa108c9b2da22e3d9258
Author: Austin Seipp <[email protected]>
Date: 2015-03-28 (Sat, 28 Mar 2015)
Changed paths:
M pkgs/tools/security/afl/default.nix
M pkgs/tools/security/afl/qemu-patches/afl-qemu-cpu-inl.h
A pkgs/tools/security/afl/qemu-patches/syscall.patch
M pkgs/tools/security/afl/qemu.nix
Log Message:
-----------
nixpkgs: afl 1.57b -> 1.58b
Signed-off-by: Austin Seipp <[email protected]>
Compare: https://github.com/NixOS/nixpkgs/compare/75ab87edc812...5b0310ec59d3_______________________________________________
nix-commits mailing list
[email protected]
http://lists.science.uu.nl/mailman/listinfo/nix-commits
