Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 6bfbb7a07ca452a954dda851f3dbc3c853b52566
https://github.com/NixOS/nixpkgs/commit/6bfbb7a07ca452a954dda851f3dbc3c853b52566
Author: Matt Billenstein
Date: 2016-10-04 (Tue, 04 Oct 2016)
Branch: refs/heads/staging
Home: https://github.com/NixOS/nixpkgs
Commit: 1049fd49ed3e35b72db127709e7c2e661745ea8a
https://github.com/NixOS/nixpkgs/commit/1049fd49ed3e35b72db127709e7c2e661745ea8a
Author: Peter Hoeg
Date: 2016-09-29 (Thu, 29 Sep 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 151edd446d6d06e2c0b0dd614ca5d2a4d3eff3fd
https://github.com/NixOS/nixpkgs/commit/151edd446d6d06e2c0b0dd614ca5d2a4d3eff3fd
Author: Kiba Fox
Date: 2016-10-04 (Tue, 04 Oct
I don't think COQPATH will be set in your environment. What I understand
from it is: when you install interpreter, interpeter gets packages from
this variable and this variable will be set (it does not mean that it's
your local variable). On this level I assume it only means that your
Anders,
how did you install it?
2016-10-04 22:51 GMT+01:00 Anders Lundstedt :
> I have installed the packages coq and coqPackages.mathcomp. As I
> understand the documentation at
>
> https://nixos.org/nixpkgs/manual/#sec-language-coq
>
> the $COQPATH variable should
I have installed the packages coq and coqPackages.mathcomp. As I
understand the documentation at
https://nixos.org/nixpkgs/manual/#sec-language-coq
the $COQPATH variable should then be set to include the mathcomp
libraries. However the $COQPATH variable is not set. Is this a bug or
have I
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 293d1d09ef299cd445b62747d9abb2500bf6a35b
https://github.com/NixOS/nixpkgs/commit/293d1d09ef299cd445b62747d9abb2500bf6a35b
Author: Yuxuan Shui
Date: 2016-10-02 (Sun, 02 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: e45a242ee20665f95314097dafadb7e78f4bc004
https://github.com/NixOS/nixpkgs/commit/e45a242ee20665f95314097dafadb7e78f4bc004
Author: Jon Banafato
Date: 2016-10-03 (Mon, 03 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 88265c8238ddee421eea6251d4579d173b0a9332
https://github.com/NixOS/nixpkgs/commit/88265c8238ddee421eea6251d4579d173b0a9332
Author: Joachim Fasting
Date: 2016-10-03 (Mon, 03 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 4b34e4a7cbc86eef0b0c2a62fe50941429094f5c
https://github.com/NixOS/nixpkgs/commit/4b34e4a7cbc86eef0b0c2a62fe50941429094f5c
Author: Mathieu Boespflug
Date: 2016-10-04 (Tue, 04 Oct 2016)
On 4 October 2016 at 00:01, Domen Kožar wrote:
> Dear community,
>
> I'm proud to announce the 6th NixOS stable release 16.09 named "Flounder".
Yay! Congrats! And thanks!
- Bjørn
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 4e14fd5d5aac14a17c28465104b7ffacf27d9579
https://github.com/NixOS/nixpkgs/commit/4e14fd5d5aac14a17c28465104b7ffacf27d9579
Author: Ricardo M. Correia
Date: 2016-10-04 (Tue, 04
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: da449e6bd5048bca4176a4e114724555a6efa5e6
https://github.com/NixOS/nixpkgs/commit/da449e6bd5048bca4176a4e114724555a6efa5e6
Author: Tim Steinbach
Date: 2016-10-04 (Tue, 04 Oct 2016)
OK, I've enabled the restrictions. I'll readd travis-ci.
On Tue, Oct 4, 2016 at 3:31 PM, zimbatm wrote:
> Hi Domen,
>
> It's a way to control the attack surface.
>
> When a person is added to the NixOS contributors we trust that person to
> not do anything shady. But that
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: e54313d183ff04d722241ad137367d9fd1f6af4c
https://github.com/NixOS/nixpkgs/commit/e54313d183ff04d722241ad137367d9fd1f6af4c
Author: Shea Levy
Date: 2016-10-04 (Tue, 04 Oct 2016)
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: d260758a1e72d727ce8fde12bdcb8a8698086b7b
https://github.com/NixOS/nixpkgs/commit/d260758a1e72d727ce8fde12bdcb8a8698086b7b
Author: Shea Levy
Date: 2016-10-04 (Tue, 04 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 6d0cca95ade93d2b29d31ec6021334691659f558
https://github.com/NixOS/nixpkgs/commit/6d0cca95ade93d2b29d31ec6021334691659f558
Author: Michael Alan Dorman
Date: 2016-10-04 (Tue, 04
Hi Domen,
It's a way to control the attack surface.
When a person is added to the NixOS contributors we trust that person to
not do anything shady. But that person can install third-party apps to
which that trust is then delegated to. Not everyone thinks about the
implications of that carefully,
Hi,
On 10/04/2016 12:01 AM, Domen Kožar wrote:
> I'm proud to announce the 6th NixOS stable release 16.09 named "Flounder".
>
> With a slight delay due to broken KDE5 test and time needed for getting that
> through channel updates.
>
> With over 13283 commits from 554 contributors the release
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 0e540d2113dc34bebf03fa35138796d526494bb0
https://github.com/NixOS/nixpkgs/commit/0e540d2113dc34bebf03fa35138796d526494bb0
Author: Jascha Geerds
Date: 2016-10-04 (Tue, 04 Oct 2016)
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: db127c0abab61bb0cf0ef71be5ad005de0831991
https://github.com/NixOS/nixpkgs/commit/db127c0abab61bb0cf0ef71be5ad005de0831991
Author: Jascha Geerds
Date: 2016-10-04 (Tue, 04 Oct
I fail to understand what are the implications here. Can you elaborate
current situation vs. what would the change bring?
On Sat, Sep 24, 2016 at 10:43 PM, zimbatm wrote:
> Yes that should be made the default. I think only Eelco has access to the
> org settings.
>
> On Mon,
Branch: refs/heads/master
Home: https://github.com/NixOS/nix
Commit: 86e8c67efc33cf756500a1dec7fd6313658f2664
https://github.com/NixOS/nix/commit/86e8c67efc33cf756500a1dec7fd6313658f2664
Author: Eelco Dolstra
Date: 2016-10-04 (Tue, 04 Oct 2016)
Changed
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 05b7aaae74f932d483d14fa29aa4807f2005a2e3
https://github.com/NixOS/nixpkgs/commit/05b7aaae74f932d483d14fa29aa4807f2005a2e3
Author: Andrew Scott
Date: 2016-10-04 (Tue, 04 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: d96c5e1fd6df28e0e2783f0d48bd081017f23355
https://github.com/NixOS/nixpkgs/commit/d96c5e1fd6df28e0e2783f0d48bd081017f23355
Author: Lluís Batlle i Rossell
Date: 2016-10-04 (Tue, 04 Oct
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 5175808f04836b4dd756b1295542384e3d929380
https://github.com/NixOS/nixpkgs/commit/5175808f04836b4dd756b1295542384e3d929380
Author: Michael Raskin <7c6f4...@mail.ru>
Date: 2016-10-04 (Tue, 04 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 8de1da7ccba1fb66b8a6b7691ecc3da93fd9ff5e
https://github.com/NixOS/nixpkgs/commit/8de1da7ccba1fb66b8a6b7691ecc3da93fd9ff5e
Author: Michael Raskin <7c6f4...@mail.ru>
Date: 2016-10-04 (Tue, 04 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: c08ef075a7de4532e10fe1ad6bf09c965d79b6dd
https://github.com/NixOS/nixpkgs/commit/c08ef075a7de4532e10fe1ad6bf09c965d79b6dd
Author: Michael Raskin <7c6f4...@mail.ru>
Date: 2016-10-04 (Tue, 04 Oct 2016)
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 0dc31e84ff617623ffb94fe2c82ebf2efaade40c
https://github.com/NixOS/nixpkgs/commit/0dc31e84ff617623ffb94fe2c82ebf2efaade40c
Author: Peter Simons
Date: 2016-10-04 (Tue, 04 Oct 2016)
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 5d8015bf3bf5b5809f83518c0087552f8036cb64
https://github.com/NixOS/nixpkgs/commit/5d8015bf3bf5b5809f83518c0087552f8036cb64
Author: Peter Simons
Date: 2016-10-04 (Tue, 04 Oct 2016)
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 3f2cbd2a26de10ab25d68d933b602c161a35ab54
https://github.com/NixOS/nixpkgs/commit/3f2cbd2a26de10ab25d68d933b602c161a35ab54
Author: Peter Simons
Date: 2016-10-04 (Tue, 04 Oct 2016)
31 matches
Mail list logo