[Nix-commits] [NixOS/nixpkgs] c6b513: nixpkgs: icestorm 2016.08.18 -> 2016.11.01

Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: c6b5131b0161f2df9cd6d79b5001537887fa68d7 https://github.com/NixOS/nixpkgs/commit/c6b5131b0161f2df9cd6d79b5001537887fa68d7 Author: Austin Seipp <ase...@pobox.com> Date: 2016-11-25 (Fri, 25 No

[Nix-commits] [NixOS/nixpkgs] 0bdc01: nixpkgs: proverif 1.94 -> 1.95

Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: 0bdc0143fe87bc9357a5ad8e5379010aa67df1de https://github.com/NixOS/nixpkgs/commit/0bdc0143fe87bc9357a5ad8e5379010aa67df1de Author: Austin Seipp <ase...@pobox.com> Date: 2016-11-10 (Thu, 10 No

[Nix-commits] [NixOS/nixpkgs] 535219: nixpkgs: yosys 2016.05.21 -> 2016.08.18

Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: 535219895d1dc66ea798edb393b58ff667bd4f02 https://github.com/NixOS/nixpkgs/commit/535219895d1dc66ea798edb393b58ff667bd4f02 Author: Austin Seipp <ase...@pobox.com> Date: 2016-08-19 (Fri, 19 Au

[Nix-commits] [NixOS/nixpkgs] f27718: nixpkgs: compcert 2.6 -> 2.7.1

Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: f277185b4863908637e301b326df6c2d7ee8e59c https://github.com/NixOS/nixpkgs/commit/f277185b4863908637e301b326df6c2d7ee8e59c Author: Austin Seipp <ase...@pobox.com> Date: 2016-08-13 (Sat, 13 Au

[Nix-commits] [NixOS/nixpkgs] 97e5b8: nixpkgs: abc-verifier 20150614 -> 20160813

Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: 97e5b88d06e92b2547270b7d06959b4125e54dc7 https://github.com/NixOS/nixpkgs/commit/97e5b88d06e92b2547270b7d06959b4125e54dc7 Author: Austin Seipp <ase...@pobox.com> Date: 2016-08-13 (Sat, 13 Au

[Nix-commits] [NixOS/nixpkgs] cf6301: nixpkgs: build bitkeeper only on linux

Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: cf63016f0631de2c0e0564c29effe7e4d22f913d https://github.com/NixOS/nixpkgs/commit/cf63016f0631de2c0e0564c29effe7e4d22f913d Author: Austin Seipp <ase...@pobox.com> Date: 2016-07-18 (Mon, 18 Ju

[Nix-commits] [NixOS/nixpkgs] bc70da: nixpkgs: upgrade plex packages

Branch: refs/heads/master Home: https://github.com/NixOS/nixpkgs Commit: bc70da1ce0d7afc7af097049e9e520c0596f0a9c https://github.com/NixOS/nixpkgs/commit/bc70da1ce0d7afc7af097049e9e520c0596f0a9c Author: Austin Seipp <ase...@pobox.com> Date: 2016-07-16 (Sat, 16 Ju

[Nix-dev] RFC: Harden(ed) NixOS

Hello all, Spurred by some recent discussion on the bug tracker, I have filed an issue dealing with some enhancements to Nix and NixOS to generally harden the toolchain and system, security wise. https://github.com/NixOS/nixpkgs/issues/7220 I'd appreciate input and comments from existing

Re: [Nix-dev] Use GHC 7.10.1 as default Haskell compiler in nixpkgs

Hello *, I figured I'd chime in as the GHC release manager right quick - moving to 7.10.1 soon sounds OK to me. I speculate we will probably ship 7.10.2 soon enough though, probably within a few weeks, because we've found some bugs (including a codegen bug and an unsafeCoerce). So it might be

[Nix-dev] Some bug tracker experience and RFC on improvements

Hi *, Over the past few days, while I've been waiting for things to compile, I've been casually triaging the NixOS pull request list and the actual bug list, adding labels to everything to categorize issues. I think all of the PRs open as of today are labeled, which is great. The first few pages

[Nix-dev] New NixOS module: grsecurity

Hello all, (Sending to nix-dev as I imagine several users might be interested). As of nixpkgs commit 172dc1336f108ee8, there is a new NixOS module which greatly enhances support for the grsecurity project*. This is a significant upgrade of the existing support (which was mostly just kernel