[Nix-commits] [NixOS/nixpkgs] 0848d1: gnuapl: 1.6 -> 1.7

[Lancelot SIX]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 0848d1c2e1d36ecf3a78ee14ae8d393c050578e6
  
https://github.com/NixOS/nixpkgs/commit/0848d1c2e1d36ecf3a78ee14ae8d393c050578e6
  Author: Lancelot SIX 
  Date:   2017-03-31 (Fri, 31 Mar 2017)

  Changed paths:
M pkgs/development/interpreters/gnu-apl/default.nix

  Log Message:
  ---
  gnuapl: 1.6 -> 1.7

See http://lists.gnu.org/archive/html/info-gnu/2017-03/msg7.html
for release announcement.


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 2f73d5: libguestfs: add missing libapparmor buildInput

[Peter Hoeg]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 2f73d5f856d2448a4779401d54a64b55ba6f6bae
  
https://github.com/NixOS/nixpkgs/commit/2f73d5f856d2448a4779401d54a64b55ba6f6bae
  Author: Peter Hoeg 
  Date:   2017-03-31 (Fri, 31 Mar 2017)

  Changed paths:
M pkgs/development/libraries/libguestfs/default.nix

  Log Message:
  ---
  libguestfs: add missing libapparmor buildInput


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 427d33: keepalived: 1.3.4 -> 1.3.5

[Tim Steinbach]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 427d33bfaaa1b6536c5bb11d6eeda10900ae7ac9
  
https://github.com/NixOS/nixpkgs/commit/427d33bfaaa1b6536c5bb11d6eeda10900ae7ac9
  Author: Marius Bergmann 
  Date:   2017-03-24 (Fri, 24 Mar 2017)

  Changed paths:
M pkgs/tools/networking/keepalived/default.nix

  Log Message:
  ---
  keepalived: 1.3.4 -> 1.3.5


  Commit: f48cd9503dd0e56b7bde6a9d997acf5f8d2c1900
  
https://github.com/NixOS/nixpkgs/commit/f48cd9503dd0e56b7bde6a9d997acf5f8d2c1900
  Author: Tim Steinbach 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/tools/networking/keepalived/default.nix

  Log Message:
  ---
  Merge pull request #24260 from mbrgm/upgrade-keepalived

keepalived: 1.3.4 -> 1.3.5


Compare: https://github.com/NixOS/nixpkgs/compare/b90b1828ddf8...f48cd9503dd0___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 9d18de: spark: 1.6.0 ->1.6.3

[Tim Steinbach]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 9d18de5f88b1da69ad6bbfcd7a607b95d431ecc2
  
https://github.com/NixOS/nixpkgs/commit/9d18de5f88b1da69ad6bbfcd7a607b95d431ecc2
  Author: Christine Koppelt 
  Date:   2017-03-26 (Sun, 26 Mar 2017)

  Changed paths:
M pkgs/applications/networking/cluster/spark/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  spark: 1.6.0 ->1.6.3


  Commit: b90b1828ddf87306ac5b1ace8702d7e5c5a6cd1c
  
https://github.com/NixOS/nixpkgs/commit/b90b1828ddf87306ac5b1ace8702d7e5c5a6cd1c
  Author: Tim Steinbach 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/networking/cluster/spark/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  Merge pull request #24352 from cko/spark-1_6_3

spark: 1.6.0 ->1.6.3


Compare: https://github.com/NixOS/nixpkgs/compare/ecca15288706...b90b1828ddf8___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 31b448: linux: 4.10.6 -> 4.10.7

[Tim Steinbach]

  Branch: refs/heads/release-17.03
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 31b4482e52b16f10298ee215acfcb642cfcdc54f
  
https://github.com/NixOS/nixpkgs/commit/31b4482e52b16f10298ee215acfcb642cfcdc54f
  Author: Tim Steinbach 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/os-specific/linux/kernel/linux-4.10.nix

  Log Message:
  ---
  linux: 4.10.6 -> 4.10.7

(cherry picked from commit ecca15288706bfa40d02c4e6ec5f990eca87a3ef)


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 2582e5: linux: 4.4.56 -> 4.4.57

[Tim Steinbach]

  Branch: refs/heads/release-16.09
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 2582e56813c0239beee343990ffc610a615e5d55
  
https://github.com/NixOS/nixpkgs/commit/2582e56813c0239beee343990ffc610a615e5d55
  Author: Tim Steinbach 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/os-specific/linux/kernel/linux-4.4.nix

  Log Message:
  ---
  linux: 4.4.56 -> 4.4.57

(cherry picked from commit 23d0f01e9584394d4c05ee6ff395b69d60b8f370)


  Commit: 7149cd206b21a8dc0a964f741826ed156711fc76
  
https://github.com/NixOS/nixpkgs/commit/7149cd206b21a8dc0a964f741826ed156711fc76
  Author: Tim Steinbach 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/os-specific/linux/kernel/linux-4.4.nix

  Log Message:
  ---
  linux: 4.4.57 -> 4.4.58

(cherry picked from commit 6b5193bcd9de2404023b3a0639ea25240263ee31)


Compare: https://github.com/NixOS/nixpkgs/compare/cbf3d0387a76...7149cd206b21___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 6b5193: linux: 4.4.57 -> 4.4.58

[Tim Steinbach]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 6b5193bcd9de2404023b3a0639ea25240263ee31
  
https://github.com/NixOS/nixpkgs/commit/6b5193bcd9de2404023b3a0639ea25240263ee31
  Author: Tim Steinbach 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/os-specific/linux/kernel/linux-4.4.nix

  Log Message:
  ---
  linux: 4.4.57 -> 4.4.58


  Commit: ecca15288706bfa40d02c4e6ec5f990eca87a3ef
  
https://github.com/NixOS/nixpkgs/commit/ecca15288706bfa40d02c4e6ec5f990eca87a3ef
  Author: Tim Steinbach 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/os-specific/linux/kernel/linux-4.10.nix

  Log Message:
  ---
  linux: 4.10.6 -> 4.10.7


Compare: https://github.com/NixOS/nixpkgs/compare/b6252523bf8d...ecca15288706___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 5eece2: parcellite: 1.1.9 -> 1.2.1

[Tim Steinbach]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 5eece284a164e8eba3f9c3b29e78703a1c32cea9
  
https://github.com/NixOS/nixpkgs/commit/5eece284a164e8eba3f9c3b29e78703a1c32cea9
  Author: ndowens 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/tools/misc/parcellite/default.nix

  Log Message:
  ---
  parcellite: 1.1.9 -> 1.2.1


  Commit: b6252523bf8d02b2c3130c4936bced1db2e8a556
  
https://github.com/NixOS/nixpkgs/commit/b6252523bf8d02b2c3130c4936bced1db2e8a556
  Author: Tim Steinbach 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/tools/misc/parcellite/default.nix

  Log Message:
  ---
  Merge pull request #24492 from ndowens/parcellite

parcellite: 1.1.9 -> 1.2.1


Compare: https://github.com/NixOS/nixpkgs/compare/5c28f26bacaf...b6252523bf8d___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 09e4ec: latte-dock: init at 0.5.98

[Benjamin Staffin]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 09e4ece6e18dbc7dea92245f36fadb6b0a0cfac2
  
https://github.com/NixOS/nixpkgs/commit/09e4ece6e18dbc7dea92245f36fadb6b0a0cfac2
  Author: Benjamin Staffin 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
A pkgs/applications/misc/latte-dock/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  latte-dock: init at 0.5.98


  Commit: 5c28f26bacaf3125b995447b95b0ecae0624e73e
  
https://github.com/NixOS/nixpkgs/commit/5c28f26bacaf3125b995447b95b0ecae0624e73e
  Author: Benjamin Staffin 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
A pkgs/applications/misc/latte-dock/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  Merge pull request #24483 from benley/latte-dock

latte-dock: init at 0.5.98


Compare: https://github.com/NixOS/nixpkgs/compare/ae696ba3d6ff...5c28f26bacaf___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] ae696b: wrk: use packaged openssl, luajit (#24481)

[pmahoney]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: ae696ba3d6ffbd3c5c285363dbd0b0f9db846909
  
https://github.com/NixOS/nixpkgs/commit/ae696ba3d6ffbd3c5c285363dbd0b0f9db846909
  Author: pmahoney 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/tools/networking/wrk/default.nix

  Log Message:
  ---
  wrk: use packaged openssl, luajit (#24481)

This has the side effect of now building on darwin. Previously, the
vendored luajit would fail to build.


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-dev] Declarative containers are not updated after creation

[Guido Witmond]

Hi All,

I'm reasonably new to Nix, I have a server running NixOs with caddy and
transmission. Now I'm creating a declarative container to run Postfix
and Dovecot to keep the user-namespace separate from the host.

I've noticed that the container get started and both postfix and dovecot
get started at 'nixos-rebuild test'. So far so good.

Now when I change the configuration and run rebuild-test again, nothing
happens. The changes don't get propagated to the container.

In fact, when taking out the complete container-specification from my
configuration.nix file, the container - and postfix and dovecot in it
keep running.

I'd expect that the inside of the declarative container be updated
during nixos-rebuild test.


Simplest test case:

configuration.nix:
containers."test" = {
  autoStart = true;
  config =
{ config, pkgs, ... }: {
  services.transmission.enable = true;
};
};

# nixos-rebuild test -I nixpkgs=/home/guido/nixpkgs/

The nixpks is a clone of github.com/NixOS/nixpkgs.git at commit
955b79f4 (Sun Mar 26 17:12:13 2017 +0200) and the channel is
https://nixos.org/channels/nixos-16.09

To test: uncomment the transmission service and rebuild. The process
remains running. I expect it to get stopped.

Then delete the whole 'containers.test' section and rebuild again. The
entire container keeps running while I expect it gets stopped.



What could be the cause that the container won't get updated?
What log files / systemd journals should I check for errors?

Any help is appreciated.

Regards,
Guido Witmond.


0x2568D466.asc
Description: application/pgp-keys


signature.asc
Description: OpenPGP digital signature
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

[Nix-commits] [NixOS/nixpkgs] 830cfc: Revert "update-users-groups.pl: Keep track of deal...

[Eelco Dolstra]

  Branch: refs/heads/release-17.03
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 830cfc02039e20be9d5c09c1070abb49f6a95821
  
https://github.com/NixOS/nixpkgs/commit/830cfc02039e20be9d5c09c1070abb49f6a95821
  Author: Eelco Dolstra 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/modules/config/update-users-groups.pl

  Log Message:
  ---
  Revert "update-users-groups.pl: Keep track of deallocated UIDs/GIDs"

This reverts commit 1447e5590670ebb273af9d4011246595b5c1cf16. Let's
not do scary changes to update-users-groups.pl one day before release
:-)


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 78ec18: grsecurity: 4.9.18-201703261106 -> 4.9.19-20170330...

[Joachim Fasting]

  Branch: refs/heads/release-17.03
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 78ec18ce5532abc0f82504d0a5c6e668faf38ea5
  
https://github.com/NixOS/nixpkgs/commit/78ec18ce5532abc0f82504d0a5c6e668faf38ea5
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/os-specific/linux/kernel/linux-grsecurity.nix
M pkgs/os-specific/linux/kernel/patches.nix

  Log Message:
  ---
  grsecurity: 4.9.18-201703261106 -> 4.9.19-201703300917

(cherry picked from commit 4d4488e793396a6ee938e758d501f3cceae16f1a)


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 163668: Release Notes 17.03: update on master

[Robin Gloster]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 163668f6c4ca3db6690eeaba54afc1e755833b4e
  
https://github.com/NixOS/nixpkgs/commit/163668f6c4ca3db6690eeaba54afc1e755833b4e
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/doc/manual/release-notes/rl-1703.xml

  Log Message:
  ---
  Release Notes 17.03: update on master


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 5c6490: linux_4_9: 4.9.18 -> 4.9.19

[Joachim Fasting]

  Branch: refs/heads/release-17.03
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 5c6490e39e22b7811026b3aed39a83fe132ebfb4
  
https://github.com/NixOS/nixpkgs/commit/5c6490e39e22b7811026b3aed39a83fe132ebfb4
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/os-specific/linux/kernel/linux-4.9.nix

  Log Message:
  ---
  linux_4_9: 4.9.18 -> 4.9.19

(cherry picked from commit f9cb8775b3ef6706bbdc232d7844645ca96bf08f)


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] f9cb87: linux_4_9: 4.9.18 -> 4.9.19

[Joachim Fasting]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: f9cb8775b3ef6706bbdc232d7844645ca96bf08f
  
https://github.com/NixOS/nixpkgs/commit/f9cb8775b3ef6706bbdc232d7844645ca96bf08f
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/os-specific/linux/kernel/linux-4.9.nix

  Log Message:
  ---
  linux_4_9: 4.9.18 -> 4.9.19


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 7a4631: xorg-rgb: init at 1.0.6

[Michael Raskin]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 7a46312f1ccf677e5632c66434b21975fb3fb3f1
  
https://github.com/NixOS/nixpkgs/commit/7a46312f1ccf677e5632c66434b21975fb3fb3f1
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
A pkgs/data/misc/xorg-rgb/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  xorg-rgb: init at 1.0.6


  Commit: 6f904bd9ecb89066bd459b5c07982bfbfe6f2165
  
https://github.com/NixOS/nixpkgs/commit/6f904bd9ecb89066bd459b5c07982bfbfe6f2165
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/lisp-modules/clwrapper/setup-hook.sh

  Log Message:
  ---
  clwrapper: setup-hook: correctly handle multiple additions to registry


  Commit: 5032d477a02f58c2f266e50ad1d6b702e6d28596
  
https://github.com/NixOS/nixpkgs/commit/5032d477a02f58c2f266e50ad1d6b702e6d28596
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/lisp-modules/quicklisp-to-nix/nix-package.emb

  Log Message:
  ---
  quicklisp-to-nix: check that the package is loadable


  Commit: 0f695737315e1edf9285a6f7fbca55abb2c160cf
  
https://github.com/NixOS/nixpkgs/commit/0f695737315e1edf9285a6f7fbca55abb2c160cf
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
R pkgs/development/lisp-modules/quicklisp-to-nix-output/agnostic-lizard.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-output/alexandria.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/anaphora.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/array-utils.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/babel-streams.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-output/babel.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/blackbird.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-output/bordeaux-threads.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/caveman.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cffi-grovel.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cffi-toolchain.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-output/cffi.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-output/chipz.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-output/chunga.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/circular-streams.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-output/cl+ssl.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-annot.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-ansi-text.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-async-base.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-async-util.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-async.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-base64.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-colors.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-cookie.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-emb.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-fad.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-fuse.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-json.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-l10n-cldr.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-l10n.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-libuv.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-ppcre.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-project.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-reexport.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-syntax-annot.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-syntax.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-unicode.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-utilities.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cl-who.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/clack-v1-compat.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/clack.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/closer-mop.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/closure-common.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/clss.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-output/clx.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/css-lite.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/cxml-dom.nix
A 

[Nix-commits] [NixOS/nixpkgs] 4df59b: fontconfig_210: Remove reference to obsolete patch

[Tuomas Tynkkynen]

  Branch: refs/heads/staging
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 4df59beb017ce23465862890ffe6f6848e3a8a1b
  
https://github.com/NixOS/nixpkgs/commit/4df59beb017ce23465862890ffe6f6848e3a8a1b
  Author: Tuomas Tynkkynen 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/libraries/fontconfig/2.10.nix

  Log Message:
  ---
  fontconfig_210: Remove reference to obsolete patch

Commit 9b049849bfc385604f240157e129f7a8e3530d7f deleted the patch file
(and reference to it from fontconfig default.nix), but left the one in
2.10.nix which break evaluation.

As the package seems to build fine without the patch, just remove the
reference.

cc @ttuegel in case this was not the correct thing to do.


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs]

[globin]

  Branch: refs/tags/17.03
  Home:   https://github.com/NixOS/nixpkgs
___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 73c764: google-cloud-sdk: 138.0.0 -> 148.0.1

[Tim Steinbach]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 73c7649708940e776bcc4f1268c02892d083560e
  
https://github.com/NixOS/nixpkgs/commit/73c7649708940e776bcc4f1268c02892d083560e
  Author: Tim Steinbach 
  Date:   2017-03-27 (Mon, 27 Mar 2017)

  Changed paths:
M pkgs/tools/admin/google-cloud-sdk/default.nix

  Log Message:
  ---
  google-cloud-sdk: 138.0.0 -> 148.0.1


  Commit: 8f609149d12e6e4c0d4f01b59216ba52c81cb4e5
  
https://github.com/NixOS/nixpkgs/commit/8f609149d12e6e4c0d4f01b59216ba52c81cb4e5
  Author: Tim Steinbach 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/tools/admin/google-cloud-sdk/default.nix

  Log Message:
  ---
  Merge pull request #24389 from NeQuissimus/gcloud_148

google-cloud-sdk: 138.0.0 -> 148.0.1


Compare: https://github.com/NixOS/nixpkgs/compare/3d5e451f0543...8f609149d12e___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 3d5e45: luaPackages.vicious 2.1.3 -> 2.2.0

[Jörg Thalheim]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 3d5e451f0543108c6cabb028e64c5704dc1f3574
  
https://github.com/NixOS/nixpkgs/commit/3d5e451f0543108c6cabb028e64c5704dc1f3574
  Author: Jörg Thalheim 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/top-level/lua-packages.nix

  Log Message:
  ---
  luaPackages.vicious 2.1.3 -> 2.2.0

I also became new project maintainer


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] b6c931: hackage-packages.nix: automatic Haskell package se...

[Peter Simons]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: b6c93177e7d0f258b6707b181a9d738637c0e905
  
https://github.com/NixOS/nixpkgs/commit/b6c93177e7d0f258b6707b181a9d738637c0e905
  Author: Peter Simons 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/haskell-modules/hackage-packages.nix

  Log Message:
  ---
  hackage-packages.nix: automatic Haskell package set update

This update was generated by hackage2nix v2.1.1 from Hackage revision
https://github.com/commercialhaskell/all-cabal-hashes/commit/16a802d4af5c39b9b907d008fa74161fd7f2e9fa.


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] fd3a99: 2bwm: init at 0.2

[sternenseemann]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: fd3a996337fb314dd532d9f154340547f821
  
https://github.com/NixOS/nixpkgs/commit/fd3a996337fb314dd532d9f154340547f821
  Author: sternenseemann 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
A nixos/modules/services/x11/window-managers/2bwm.nix
M nixos/modules/services/x11/window-managers/default.nix
A pkgs/applications/window-managers/2bwm/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  2bwm: init at 0.2


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/hydra] 3b5fd2: hydra-eval-jobs: Disable the build hook.

[Shea Levy]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/hydra
  Commit: 3b5fd2d8576f116ddee6b3d305ef33dcd7ddb2cd
  
https://github.com/NixOS/hydra/commit/3b5fd2d8576f116ddee6b3d305ef33dcd7ddb2cd
  Author: Shea Levy 
  Date:   2017-03-20 (Mon, 20 Mar 2017)

  Changed paths:
M src/hydra-eval-jobs/hydra-eval-jobs.cc

  Log Message:
  ---
  hydra-eval-jobs: Disable the build hook.

For some reason this causes an unexpected EOF when doing import-from-derivation.


  Commit: ec1c8efd43011cc620b61b332d3e4aabd115fc63
  
https://github.com/NixOS/hydra/commit/ec1c8efd43011cc620b61b332d3e4aabd115fc63
  Author: Shea Levy 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M src/hydra-eval-jobs/hydra-eval-jobs.cc

  Log Message:
  ---
  Merge branch 'eval-no-build-hook'


Compare: https://github.com/NixOS/hydra/compare/8771f7f91381...ec1c8efd4301___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 569d45: Release Notes 17.03: update

[Robin Gloster]

  Branch: refs/heads/release-17.03
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 569d45d0600bb4b10f9f10731160ccf10ba7f2fc
  
https://github.com/NixOS/nixpkgs/commit/569d45d0600bb4b10f9f10731160ccf10ba7f2fc
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/doc/manual/release-notes/rl-1703.xml

  Log Message:
  ---
  Release Notes 17.03: update


  Commit: 47d758081e060cb8e2e9f401ba00b64b6fa220ba
  
https://github.com/NixOS/nixpkgs/commit/47d758081e060cb8e2e9f401ba00b64b6fa220ba
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M README.md

  Log Message:
  ---
  docs: 16.09 -> 17.03

(cherry picked from commit 80c916b6ced0c2adc054ef14e63b28cb2dc40b89)


  Commit: e005c156478b9906034ac55179429f599bf27116
  
https://github.com/NixOS/nixpkgs/commit/e005c156478b9906034ac55179429f599bf27116
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/libraries/gstreamer/legacy/qt-gstreamer/default.nix
M pkgs/development/libraries/gstreamer/qt-gstreamer/default.nix

  Log Message:
  ---
  qt-gstreamer: fix build and do not mark wrong pkgs as broken

(cherry picked from commit f9a10601990de8eada3470eda50f7cff8277bd0e)


  Commit: 1849e695b00a54cda86cb75202240d949c10c7ce
  
https://github.com/NixOS/nixpkgs/commit/1849e695b00a54cda86cb75202240d949c10c7ce
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/doc/manual/release-notes/rl-1703.xml

  Log Message:
  ---
  Release Notes 17.03: add some visual structure


Compare: https://github.com/NixOS/nixpkgs/compare/23fdea4c7394...1849e695b00a___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 23fdea: bitlbee-facebook: 2015-08-27 → 1.1.0

[Michal Rus]

  Branch: refs/heads/release-17.03
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 23fdea4c739432132c91d393f31f351ffe2cd88f
  
https://github.com/NixOS/nixpkgs/commit/23fdea4c739432132c91d393f31f351ffe2cd88f
  Author: Michal Rus 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M 
pkgs/applications/networking/instant-messengers/bitlbee-facebook/default.nix

  Log Message:
  ---
  bitlbee-facebook: 2015-08-27 → 1.1.0

(cherry picked from commit 2cef2c58ead2a9469495c08b8e49087f9b3d28cd)

backported because not functional due protocol changes: 
https://github.com/NixOS/nixpkgs/pull/24454#issue-218024169


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 80c916: docs: 16.09 -> 17.03

[Robin Gloster]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 80c916b6ced0c2adc054ef14e63b28cb2dc40b89
  
https://github.com/NixOS/nixpkgs/commit/80c916b6ced0c2adc054ef14e63b28cb2dc40b89
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M README.md
M maintainers/scripts/hydra-eval-failures.py

  Log Message:
  ---
  docs: 16.09 -> 17.03


  Commit: f9a10601990de8eada3470eda50f7cff8277bd0e
  
https://github.com/NixOS/nixpkgs/commit/f9a10601990de8eada3470eda50f7cff8277bd0e
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/libraries/gstreamer/legacy/qt-gstreamer/default.nix
M pkgs/development/libraries/gstreamer/qt-gstreamer/default.nix

  Log Message:
  ---
  qt-gstreamer: fix build and do not mark wrong pkgs as broken


Compare: https://github.com/NixOS/nixpkgs/compare/f0512f4ceb34...f9a10601990d___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] d94e37: wxmupen64plus: fix eval

[Robin Gloster]

  Branch: refs/heads/release-17.03
  Home:   https://github.com/NixOS/nixpkgs
  Commit: d94e3739bb194281fcbfe0a0d534345dffd8bfea
  
https://github.com/NixOS/nixpkgs/commit/d94e3739bb194281fcbfe0a0d534345dffd8bfea
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/misc/emulators/wxmupen64plus/default.nix

  Log Message:
  ---
  wxmupen64plus: fix eval

(cherry picked from commit f0512f4ceb3441c9fef688ef78b41dfa6ec5802a)


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] f0512f: wxmupen64plus: fix eval

[Robin Gloster]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: f0512f4ceb3441c9fef688ef78b41dfa6ec5802a
  
https://github.com/NixOS/nixpkgs/commit/f0512f4ceb3441c9fef688ef78b41dfa6ec5802a
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/misc/emulators/wxmupen64plus/default.nix

  Log Message:
  ---
  wxmupen64plus: fix eval


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 8636ce: caf: fix on clang4

[Dan Peebles]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 8636ce283fd9ec1d16ea604b4dd5a26b8c59c69a
  
https://github.com/NixOS/nixpkgs/commit/8636ce283fd9ec1d16ea604b4dd5a26b8c59c69a
  Author: Dan Peebles 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/libraries/caf/default.nix

  Log Message:
  ---
  caf: fix on clang4

Also, enable parallel builds because I got sick of waiting :)


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 409fe1: qt4: fix to work on clang 4

[Dan Peebles]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 409fe12f7653bd1d9c20cf2759e32fc38f5c3ef4
  
https://github.com/NixOS/nixpkgs/commit/409fe12f7653bd1d9c20cf2759e32fc38f5c3ef4
  Author: Dan Peebles 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/libraries/qt-4.x/4.8/default.nix

  Log Message:
  ---
  qt4: fix to work on clang 4

The new clang is more strict about signed comparisons against pointers,
so this adds a couple of ad-hoc patches to appease it.


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 4d4488: grsecurity: 4.9.18-201703261106 -> 4.9.19-20170330...

[Joachim Fasting]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 4d4488e793396a6ee938e758d501f3cceae16f1a
  
https://github.com/NixOS/nixpkgs/commit/4d4488e793396a6ee938e758d501f3cceae16f1a
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/os-specific/linux/kernel/linux-grsecurity.nix
M pkgs/os-specific/linux/kernel/patches.nix

  Log Message:
  ---
  grsecurity: 4.9.18-201703261106 -> 4.9.19-201703300917


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] ce953d: panomatic: remove

[Robin Gloster]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: ce953d0bc90f17dfc35f0e498cfe192bfad0cc20
  
https://github.com/NixOS/nixpkgs/commit/ce953d0bc90f17dfc35f0e498cfe192bfad0cc20
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/tests/gnome3-gdm.nix
R pkgs/tools/graphics/panomatic/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  panomatic: remove


  Commit: 8a18e1f7f12abbf10bec46f74290eb75543cfb0a
  
https://github.com/NixOS/nixpkgs/commit/8a18e1f7f12abbf10bec46f74290eb75543cfb0a
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/modules/module-list.nix
M nixos/release.nix

  Log Message:
  ---
  quagga service: disable


  Commit: 877aaeff6157236f846f0e7b794cfedb517d63d5
  
https://github.com/NixOS/nixpkgs/commit/877aaeff6157236f846f0e7b794cfedb517d63d5
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/tools/boomerang/default.nix

  Log Message:
  ---
  boomerang: mark as broken


  Commit: cc82423366f25db6ced8b6da4d8a3d06645e5a45
  
https://github.com/NixOS/nixpkgs/commit/cc82423366f25db6ced8b6da4d8a3d06645e5a45
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/misc/freestyle/default.nix

  Log Message:
  ---
  freestyle: mark as broken


  Commit: 536b782450328fe582a9667940cbf53a7cb7628d
  
https://github.com/NixOS/nixpkgs/commit/536b782450328fe582a9667940cbf53a7cb7628d
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/science/math/singular/default.nix

  Log Message:
  ---
  libsingular: does not build on i686


  Commit: 13ab07d95a85c3e2abed8eae58ead920c8e6232f
  
https://github.com/NixOS/nixpkgs/commit/13ab07d95a85c3e2abed8eae58ead920c8e6232f
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/science/math/maxima/default.nix

  Log Message:
  ---
  maxima-ecl: mark as broken


  Commit: 9b89d68ef0cdd8035102b87cbef942a206f93240
  
https://github.com/NixOS/nixpkgs/commit/9b89d68ef0cdd8035102b87cbef942a206f93240
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/networking/mumble/default.nix

  Log Message:
  ---
  murmur_git: mark as broken


  Commit: b9948fedc636daddd5851e71b634314fb0c34830
  
https://github.com/NixOS/nixpkgs/commit/b9948fedc636daddd5851e71b634314fb0c34830
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/science/biology/ncbi-tools/default.nix

  Log Message:
  ---
  ncbi_tools: mark as broken and remove -fPIC

PIC is used by default since 16.09


  Commit: 84db2dffe963b98fef0ec4a9083648bdd533328c
  
https://github.com/NixOS/nixpkgs/commit/84db2dffe963b98fef0ec4a9083648bdd533328c
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/interpreters/nix-exec/default.nix

  Log Message:
  ---
  nix-exec: fix build


  Commit: c47cc7e163982f74cac9d188fb3bbe87f1094ca4
  
https://github.com/NixOS/nixpkgs/commit/c47cc7e163982f74cac9d188fb3bbe87f1094ca4
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/libraries/gstreamer/qt-gstreamer/default.nix

  Log Message:
  ---
  qt-gstreamer: fix build


  Commit: 9f86136cefbd3e050b96a307346278fe9ad8a5bf
  
https://github.com/NixOS/nixpkgs/commit/9f86136cefbd3e050b96a307346278fe9ad8a5bf
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/compilers/rust/rustc.nix

  Log Message:
  ---
  rustc: don't build on i686


  Commit: 8e3a595eb12e962c8771ecb408745884082ffbbc
  
https://github.com/NixOS/nixpkgs/commit/8e3a595eb12e962c8771ecb408745884082ffbbc
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
R pkgs/applications/networking/instant-messengers/tkabber/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  tkabber: remove


  Commit: 4a702e8b74e9b208f3b5d51893b70731cf548e4a
  
https://github.com/NixOS/nixpkgs/commit/4a702e8b74e9b208f3b5d51893b70731cf548e4a
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
R pkgs/development/libraries/tclgpg/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  tclgpg: remove


  Commit: 9330991a37086beac82f73fc97809fcaab75dc74
  
https://github.com/NixOS/nixpkgs/commit/9330991a37086beac82f73fc97809fcaab75dc74
  Author: Robin Gloster 

Re: [Nix-dev] garbage-collection of the last 'n' generations

[Guillaume Maudoux (Layus)]

Your system generations are under /nix/var/nix/profiles.

You can `rm -i $(cd /nix/var/nix/profiles; ls *-link -1dtr | head -n -<# 
of versions to to keep> | grep -v $(readlink system) | xargs realpath 
-s)` :-)


and then do a normal gc.

-- Layus.

On 30/03/17 15:42, Azul wrote:


Hi there,

I would like to cleanup my oldest  'n' nix generations.

nix-collect-garbage seems to only provide me with a older than 'n' 
days option.


Any quick hacks to clean everything but keep my recent  'n' generations ?




___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev


___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

Re: [Nix-dev] garbage-collection of the last 'n' generations

[Domen Kožar]

https://github.com/NixOS/nix/pull/767

On Thu, Mar 30, 2017 at 4:01 PM, Profpatsch  wrote:

> On 17-03-30 02:42pm, Azul wrote:
> > Hi there,
> >
> > I would like to cleanup my oldest  'n' nix generations.
> >
> > nix-collect-garbage seems to only provide me with a older than 'n' days
> > option.
> >
> > Any quick hacks to clean everything but keep my recent  'n' generations ?
>
> Remove all system links from /nix/var/nix/profiles that you don’t want
> for i in $(seq 100 142); do rm "/nix/var/nix/profiles/system-$i-link";
> done
>
> Then perform a garbage collection
> nix-store --gc
>
> This works for all kinds of profiles (e.g. the result link from nix-build).
>
> --
> Proudly written in Mutt with Vim on NixOS.
> Q: Why is this email five sentences or less?
> A: http://five.sentenc.es
> May take up to five days to read your message. If it’s urgent, call me.
> ___
> nix-dev mailing list
> nix-dev@lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

[Nix-commits] [NixOS/nixpkgs] 09f24f: buildRustPackage: Fix "warning: file ... may be ge...

[Christian Kauhaus]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 09f24f628b64ada599616271ff4809eddb59eb0c
  
https://github.com/NixOS/nixpkgs/commit/09f24f628b64ada599616271ff4809eddb59eb0c
  Author: Christian Kauhaus 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/build-support/rust/default.nix

  Log Message:
  ---
  buildRustPackage: Fix "warning: file ... may be generated" (#24471)

Every Rust derivation used to emit a warning like the following:

```
setting SOURCE_DATE_EPOCH to timestamp 1490877042 of file 
cargo-6e0c18c/Cargo.lock
warning: file cargo-6e0c18c/Cargo.lock may be generated; SOURCE_DATE_EPOCH may 
be non-deterministic
```

The reason is that the dependencies are copied without preserving
timestamps. Changing the build script to timestamp-preserving copy
removes the warning.


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] c54588: redprl: 2016-09-22 -> 2017-03-28

[Joachim F]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: c54588d250394caf14a003470a3e70279cbe02d2
  
https://github.com/NixOS/nixpkgs/commit/c54588d250394caf14a003470a3e70279cbe02d2
  Author: James ‘Twey’ Kay 
  Date:   2017-03-28 (Tue, 28 Mar 2017)

  Changed paths:
M pkgs/applications/science/logic/redprl/default.nix

  Log Message:
  ---
  redprl: 2016-09-22 -> 2017-03-28


  Commit: e15b666f79a1e0c80abd36ca59fa734f6ba8be0a
  
https://github.com/NixOS/nixpkgs/commit/e15b666f79a1e0c80abd36ca59fa734f6ba8be0a
  Author: Joachim F 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/science/logic/redprl/default.nix

  Log Message:
  ---
  Merge pull request #24416 from Twey/redprl-2017-03-28

redprl: 2016-09-22 -> 2017-03-28


Compare: https://github.com/NixOS/nixpkgs/compare/20bf94424a9b...e15b666f79a1___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 3e2335: opera: 43.0.2442.991 -> 44.0.2510.857

[Joachim F]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 3e2335bc458a80926f24e048e0f790a45280cfd0
  
https://github.com/NixOS/nixpkgs/commit/3e2335bc458a80926f24e048e0f790a45280cfd0
  Author: Benjamin Smith 
  Date:   2017-03-29 (Wed, 29 Mar 2017)

  Changed paths:
M pkgs/applications/networking/browsers/opera/default.nix

  Log Message:
  ---
  opera: 43.0.2442.991 -> 44.0.2510.857


  Commit: eaddcd82f3f3e40c6436b91a6fc6e11e487b76f1
  
https://github.com/NixOS/nixpkgs/commit/eaddcd82f3f3e40c6436b91a6fc6e11e487b76f1
  Author: Joachim F 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/networking/browsers/opera/default.nix

  Log Message:
  ---
  Merge pull request #24447 from polynomial/update_opera

opera: 43.0.2442.991 -> 44.0.2510.857


Compare: https://github.com/NixOS/nixpkgs/compare/e7fdb09275cc...eaddcd82f3f3___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] bccc5a: swift: remove i686-linux from platforms, limit to ...

[Joachim F]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: bccc5ae82cef591b4f496bf58e1a104e448a9312
  
https://github.com/NixOS/nixpkgs/commit/bccc5ae82cef591b4f496bf58e1a104e448a9312
  Author: Will Dietz 
  Date:   2017-03-29 (Wed, 29 Mar 2017)

  Changed paths:
M pkgs/development/compilers/swift/default.nix

  Log Message:
  ---
  swift: remove i686-linux from platforms, limit to x86-64-linux

Don't know that other platforms will fail but it seems likely
since we're using build profile intended for 64bit Ubuntu.


  Commit: 20bf94424a9b812cf19abfba3466ac611f40c87d
  
https://github.com/NixOS/nixpkgs/commit/20bf94424a9b812cf19abfba3466ac611f40c87d
  Author: Joachim F 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/compilers/swift/default.nix

  Log Message:
  ---
  Merge pull request #24441 from dtzWill/fix/swift-64bit-only

swift: remove i686-linux from platforms, limit to x86-64-linux


Compare: https://github.com/NixOS/nixpkgs/compare/eaddcd82f3f3...20bf94424a9b___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] da1623: sylpheed: 3.5.0 -> 3.5.1

[Joachim F]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: da16238077e64cc86164e2fd205e3f51c04b1227
  
https://github.com/NixOS/nixpkgs/commit/da16238077e64cc86164e2fd205e3f51c04b1227
  Author: ndowens 
  Date:   2017-03-29 (Wed, 29 Mar 2017)

  Changed paths:
M pkgs/applications/networking/mailreaders/sylpheed/default.nix

  Log Message:
  ---
  sylpheed: 3.5.0 -> 3.5.1


  Commit: e7fdb09275cc77ae79450b2cde2abaa03308649f
  
https://github.com/NixOS/nixpkgs/commit/e7fdb09275cc77ae79450b2cde2abaa03308649f
  Author: Joachim F 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/networking/mailreaders/sylpheed/default.nix

  Log Message:
  ---
  Merge pull request #24459 from ndowens/sylpheed

sylpheed: 3.5.0 -> 3.5.1


Compare: https://github.com/NixOS/nixpkgs/compare/346fdd6e38f4...e7fdb09275cc___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 7fadcf: pidginsipe: 1.20.0 -> 1.22.0

[Joachim F]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 7fadcf3165051103a8467ba4eff0c124b757dc9a
  
https://github.com/NixOS/nixpkgs/commit/7fadcf3165051103a8467ba4eff0c124b757dc9a
  Author: Jens Grunert 
  Date:   2017-03-28 (Tue, 28 Mar 2017)

  Changed paths:
M 
pkgs/applications/networking/instant-messengers/pidgin-plugins/sipe/default.nix

  Log Message:
  ---
  pidginsipe: 1.20.0 -> 1.22.0


  Commit: 346fdd6e38f4623f289089d94c38f87da5f93bb1
  
https://github.com/NixOS/nixpkgs/commit/346fdd6e38f4623f289089d94c38f87da5f93bb1
  Author: Joachim F 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M 
pkgs/applications/networking/instant-messengers/pidgin-plugins/sipe/default.nix

  Log Message:
  ---
  Merge pull request #24413 from jensbin/pidginsipe

pidginsipe: 1.20.0 -> 1.22.0


Compare: https://github.com/NixOS/nixpkgs/compare/17132839c12c...346fdd6e38f4___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] d466d9: mate-common: 1.17.0 -> 1.18.0

[Joachim F]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: d466d9062373ae3a9a9d393b6f84f75099de05b6
  
https://github.com/NixOS/nixpkgs/commit/d466d9062373ae3a9a9d393b6f84f75099de05b6
  Author: romildo 
  Date:   2017-03-27 (Mon, 27 Mar 2017)

  Changed paths:
M pkgs/desktops/mate/mate-common/default.nix

  Log Message:
  ---
  mate-common: 1.17.0 -> 1.18.0


  Commit: a5c34e5689ce3510d79299a67fb4bc8d4a532d7c
  
https://github.com/NixOS/nixpkgs/commit/a5c34e5689ce3510d79299a67fb4bc8d4a532d7c
  Author: romildo 
  Date:   2017-03-27 (Mon, 27 Mar 2017)

  Changed paths:
M pkgs/desktops/mate/mate-icon-theme/default.nix

  Log Message:
  ---
  mate-icon-theme: 1.17.0 -> 1.18.0


  Commit: 23f373d7249e8370229f184ad3d40b586d2254d2
  
https://github.com/NixOS/nixpkgs/commit/23f373d7249e8370229f184ad3d40b586d2254d2
  Author: romildo 
  Date:   2017-03-27 (Mon, 27 Mar 2017)

  Changed paths:
M pkgs/desktops/mate/mate-icon-theme-faenza/default.nix

  Log Message:
  ---
  mate-icon-theme-faenza: 1.16.0 -> 1.18.0


  Commit: 55acc8708b920cd6d827b95660425b03f362d71d
  
https://github.com/NixOS/nixpkgs/commit/55acc8708b920cd6d827b95660425b03f362d71d
  Author: romildo 
  Date:   2017-03-27 (Mon, 27 Mar 2017)

  Changed paths:
M pkgs/desktops/mate/mate-themes/default.nix

  Log Message:
  ---
  mate-themes: 3.22.3 -> 3.22.7


  Commit: 8844d9b8667a01392cc421e77ae8353a886dc1f3
  
https://github.com/NixOS/nixpkgs/commit/8844d9b8667a01392cc421e77ae8353a886dc1f3
  Author: romildo 
  Date:   2017-03-27 (Mon, 27 Mar 2017)

  Changed paths:
M pkgs/desktops/mate/mate-desktop/default.nix

  Log Message:
  ---
  mate-desktop: 1.17.2 -> 1.18.0


  Commit: d9672293c2681ee867cc9288b68b91c4fa2efc05
  
https://github.com/NixOS/nixpkgs/commit/d9672293c2681ee867cc9288b68b91c4fa2efc05
  Author: romildo 
  Date:   2017-03-27 (Mon, 27 Mar 2017)

  Changed paths:
M pkgs/desktops/mate/mate-terminal/default.nix

  Log Message:
  ---
  mate-terminal: 1.17.0 -> 1.18.0


  Commit: 7bc9e508ba704918165c3c8ea2e6cbd011b4d530
  
https://github.com/NixOS/nixpkgs/commit/7bc9e508ba704918165c3c8ea2e6cbd011b4d530
  Author: romildo 
  Date:   2017-03-28 (Tue, 28 Mar 2017)

  Changed paths:
A pkgs/desktops/mate/caja/default.nix
M pkgs/desktops/mate/default.nix

  Log Message:
  ---
  caja: init at 1.18.0


  Commit: 17132839c12c5ed305c550cb697660be30ffe640
  
https://github.com/NixOS/nixpkgs/commit/17132839c12c5ed305c550cb697660be30ffe640
  Author: Joachim F 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
A pkgs/desktops/mate/caja/default.nix
M pkgs/desktops/mate/default.nix
M pkgs/desktops/mate/mate-common/default.nix
M pkgs/desktops/mate/mate-desktop/default.nix
M pkgs/desktops/mate/mate-icon-theme-faenza/default.nix
M pkgs/desktops/mate/mate-icon-theme/default.nix
M pkgs/desktops/mate/mate-terminal/default.nix
M pkgs/desktops/mate/mate-themes/default.nix

  Log Message:
  ---
  Merge pull request #24397 from romildo/upd.mate

mate: update packages to version 1.18.0


Compare: https://github.com/NixOS/nixpkgs/compare/a6b391791eea...17132839c12c___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 105288: rl-notes 17.03: notes about changes to torbrowser ...

[Joachim Fasting]

  Branch: refs/heads/release-17.03
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 10528867bdc89e7de468d2c42a5475cb7d77b283
  
https://github.com/NixOS/nixpkgs/commit/10528867bdc89e7de468d2c42a5475cb7d77b283
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/doc/manual/release-notes/rl-1703.xml

  Log Message:
  ---
  rl-notes 17.03: notes about changes to torbrowser user state


  Commit: fb614a239aa169a349c1d17ab3e55676432cbee8
  
https://github.com/NixOS/nixpkgs/commit/fb614a239aa169a349c1d17ab3e55676432cbee8
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/compilers/aliceml/default.nix

  Log Message:
  ---
  aliceml: mark as broken

Tried fixing it, but gave up ... Has likely been non-functional for a
while, without anybody noticing.

(cherry picked from commit ad902fbba1b6720fb37664b5726184d9586334c3)


Compare: https://github.com/NixOS/nixpkgs/compare/9d3ef695da9d...fb614a239aa1___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 9a75c6: elpa-packages: 2017-03-29

[Thomas Tuegel]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 9a75c6234a4ee50a9534113c0720573d180e6bfc
  
https://github.com/NixOS/nixpkgs/commit/9a75c6234a4ee50a9534113c0720573d180e6bfc
  Author: Michael Alan Dorman 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/editors/emacs-modes/elpa-generated.nix

  Log Message:
  ---
  elpa-packages: 2017-03-29


  Commit: f58c753ff333c739d280b7cef2a5469c798954d4
  
https://github.com/NixOS/nixpkgs/commit/f58c753ff333c739d280b7cef2a5469c798954d4
  Author: Michael Alan Dorman 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/editors/emacs-modes/melpa-stable-generated.nix

  Log Message:
  ---
  melpa-stable-packages: 2017-03-29

Removals:
 - vimgolf - new repo lacks tags


  Commit: b49e3db19b34766866cb712bc4babbd63e1a506a
  
https://github.com/NixOS/nixpkgs/commit/b49e3db19b34766866cb712bc4babbd63e1a506a
  Author: Michael Alan Dorman 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/editors/emacs-modes/melpa-generated.nix

  Log Message:
  ---
  melpa-packages: 2017-03-29


  Commit: a6b391791eea2df435c7e8f680d8af1f3a043bdc
  
https://github.com/NixOS/nixpkgs/commit/a6b391791eea2df435c7e8f680d8af1f3a043bdc
  Author: Thomas Tuegel 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/editors/emacs-modes/elpa-generated.nix
M pkgs/applications/editors/emacs-modes/melpa-generated.nix
M pkgs/applications/editors/emacs-modes/melpa-stable-generated.nix

  Log Message:
  ---
  Merge pull request #24470 from mdorman/emacs-updates

Automated Emacs package updates


Compare: https://github.com/NixOS/nixpkgs/compare/ad902fbba1b6...a6b391791eea___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] ad902f: aliceml: mark as broken

[Joachim Fasting]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: ad902fbba1b6720fb37664b5726184d9586334c3
  
https://github.com/NixOS/nixpkgs/commit/ad902fbba1b6720fb37664b5726184d9586334c3
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/compilers/aliceml/default.nix

  Log Message:
  ---
  aliceml: mark as broken

Tried fixing it, but gave up ... Has likely been non-functional for a
while, without anybody noticing.


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 9d3ef6: nixos/dnscrypt-proxy test: exercise plugin loading

[Joachim Fasting]

  Branch: refs/heads/release-17.03
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 9d3ef695da9d761c29bfa3cadfe96f846619f11f
  
https://github.com/NixOS/nixpkgs/commit/9d3ef695da9d761c29bfa3cadfe96f846619f11f
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/tests/dnscrypt-proxy.nix

  Log Message:
  ---
  nixos/dnscrypt-proxy test: exercise plugin loading

(cherry picked from commit 543f5263d2bcd6d35a61d8aa84e31179c2a0a32f)


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 543f52: nixos/dnscrypt-proxy test: exercise plugin loading

[Joachim Fasting]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 543f5263d2bcd6d35a61d8aa84e31179c2a0a32f
  
https://github.com/NixOS/nixpkgs/commit/543f5263d2bcd6d35a61d8aa84e31179c2a0a32f
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/tests/dnscrypt-proxy.nix

  Log Message:
  ---
  nixos/dnscrypt-proxy test: exercise plugin loading


  Commit: c504e14c874d10512a81c9e81a84d2d69dbc4408
  
https://github.com/NixOS/nixpkgs/commit/c504e14c874d10512a81c9e81a84d2d69dbc4408
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/doc/manual/release-notes/rl-1703.xml

  Log Message:
  ---
  rl-notes 17.03: add notes about changes to the dnscrypt-proxy interface

(cherry picked from commit 961367717662ca84daf01a1f9ee3f9404ae659d0)


Compare: https://github.com/NixOS/nixpkgs/compare/5d83ef6a91db...c504e14c874d___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] e8515d: nixos/dnscrypt-proxy docs: reword section on forwa...

[Joachim Fasting]

  Branch: refs/heads/release-17.03
  Home:   https://github.com/NixOS/nixpkgs
  Commit: e8515db770f256b7db9838076c8aa90f142ecd07
  
https://github.com/NixOS/nixpkgs/commit/e8515db770f256b7db9838076c8aa90f142ecd07
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/modules/services/networking/dnscrypt-proxy.xml

  Log Message:
  ---
  nixos/dnscrypt-proxy docs: reword section on forwarding

Newer versions of DNSCrypt proxy *can* cache lookups (via
plugin); make the wording more neutral wrt. why one might want
to run the proxy in a forwarding setup.

(cherry picked from commit 5279ec111fef20a04155537ec19d8f5b36a4d50e)


  Commit: 4bce01f198fd9a8119812fdc7f989bab448ba5e7
  
https://github.com/NixOS/nixpkgs/commit/4bce01f198fd9a8119812fdc7f989bab448ba5e7
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/modules/services/networking/dnscrypt-proxy.nix

  Log Message:
  ---
  nixos/dnscrypt-proxy: grant daemon access to load plugins

(cherry picked from commit bb6361b81a1177a829fdcfb54e008840a87a17e6)


  Commit: 57621032b1339939b846dfd5dbf6e517c406ba4b
  
https://github.com/NixOS/nixpkgs/commit/57621032b1339939b846dfd5dbf6e517c406ba4b
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/modules/services/networking/dnscrypt-proxy.nix

  Log Message:
  ---
  nixos/dnscrypt-proxy: replace unimportant options with extraArgs

Removes tcpOnly and ephemeralKeys: reifying them as nixos
options adds little beyond improved discoverability.  Until
17.09 we'll automatically translate these options into extraArgs
for convenience.

Unless reifying an option is necessary for conditional
computation or greatly simplifies configuration/reduces risk of
misconfiguration, it should go into extraArgs instead.

(cherry picked from commit 719813caf6309441fcf502d4c88aabddc7d5ca70)


  Commit: f1f6c704113f125c193e16f05bcb4d74e6f31b7b
  
https://github.com/NixOS/nixpkgs/commit/f1f6c704113f125c193e16f05bcb4d74e6f31b7b
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/modules/services/networking/dnscrypt-proxy.nix

  Log Message:
  ---
  nixos/dnscrypt-proxy: add example of how to use the cache plugin

(cherry picked from commit 540740598e6765e75a5f589928bb9b886f427341)


  Commit: e72a0a36b81ff561d9d04f2a7d1fd738db35fb43
  
https://github.com/NixOS/nixpkgs/commit/e72a0a36b81ff561d9d04f2a7d1fd738db35fb43
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/modules/services/networking/dnscrypt-proxy.nix

  Log Message:
  ---
  nixos/dnscrypt-proxy: remove the resolverList option

This option was initially added to make it easier to use an
up-to-date list, but now that we always use an up-to-date list
from upstream, there's no point to the option.

>From now on, you can either use a resolver listed by dnscrypt
upstream or a custom resolver.

(cherry picked from commit 472002f2164916f3271918aa0470fac205e94518)


  Commit: 961367717662ca84daf01a1f9ee3f9404ae659d0
  
https://github.com/NixOS/nixpkgs/commit/961367717662ca84daf01a1f9ee3f9404ae659d0
  Author: Joachim Fasting 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/doc/manual/release-notes/rl-1703.xml

  Log Message:
  ---
  rl-notes 17.03: add notes about changes to the dnscrypt-proxy interface


Compare: https://github.com/NixOS/nixpkgs/compare/30581300d717...961367717662___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

Re: [Nix-dev] Typing nix − funding campaign

[Ludovic Courtès]

Hello,

Théophane Hufschmitt  skribis:

> Wed 29 Mar 17 − 17:25, Mateusz Kowalczyk(fuuze...@fuuzetsu.co.uk) a écrit:
>> I'm sure you've answered this ad nauseum before but I wonder how you're
>> going to type sets? They are bread-and-butter in nixpkgs. Presumably
>> they will be typed on their fields with the standard subtyping, like
>> anonymous records.
>
> I didn't talk about records, because they are a quite difficult topic,
> and I don't exactly know what their typing will look like in the end.

The problem is that attribute sets are often used like records, but they
are not records at all.  Rather, they’re roughly hash tables where the
key is a string/symbol.

In Guix we use actual records where needed so that we can verify basic
properties at compilation time, such as field names.  Record types are
disjoint from one another, which allows at least for run-time type
checking.

Ludo’.

___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

[Nix-commits] [NixOS/nixpkgs] c1f922: asdf: add pinned versions 2.26, 3.1; provide quick...

[Michael Raskin]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: c1f922b0b5641433f1aba67ab7c9a319391b0975
  
https://github.com/NixOS/nixpkgs/commit/c1f922b0b5641433f1aba67ab7c9a319391b0975
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
A pkgs/development/lisp-modules/asdf/2.26.nix
A pkgs/development/lisp-modules/asdf/3.1.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  asdf: add pinned versions 2.26, 3.1; provide quicklispPackages with ASDF 3.1


  Commit: 953fc6c0a057797c225f8cda787c4348f2b6c2cd
  
https://github.com/NixOS/nixpkgs/commit/953fc6c0a057797c225f8cda787c4348f2b6c2cd
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/lisp-modules/clwrapper/cl-wrapper.sh
M pkgs/development/lisp-modules/clwrapper/default.nix

  Log Message:
  ---
  clwrapper: better support for ensuring noninteractive execution


  Commit: 5d83ef6a91db6668814b13f6829774ba4c04b72a
  
https://github.com/NixOS/nixpkgs/commit/5d83ef6a91db6668814b13f6829774ba4c04b72a
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/lisp-modules/quicklisp-to-nix-overrides.nix

  Log Message:
  ---
  quicklispPackages.iolib: try loading the system


Compare: https://github.com/NixOS/nixpkgs/compare/8641a0ace932...5d83ef6a91db___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 867267: pycharm-community: 2016.3.2 -> 2017.1

[Robin Gloster]

  Branch: refs/heads/release-17.03
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 867267989e7b385d3127d2e3937a103241247ff6
  
https://github.com/NixOS/nixpkgs/commit/867267989e7b385d3127d2e3937a103241247ff6
  Author: Aleksey Zhukov 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/editors/idea/default.nix

  Log Message:
  ---
  pycharm-community: 2016.3.2 -> 2017.1

(cherry picked from commit 5030fafdeeffbe5e74413457767065e9441d951c)


  Commit: 202cc67311a2361a44b607e64fc91b225c466af0
  
https://github.com/NixOS/nixpkgs/commit/202cc67311a2361a44b607e64fc91b225c466af0
  Author: Aleksey Zhukov 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/editors/idea/default.nix

  Log Message:
  ---
  pycharm-professional: 2016.3.2 -> 2017.1

(cherry picked from commit 43dc7604c18cf0855390a7d1a82135ff790b023d)


  Commit: 335c15e1bc87ca98a66f99080bc98187f5c682f1
  
https://github.com/NixOS/nixpkgs/commit/335c15e1bc87ca98a66f99080bc98187f5c682f1
  Author: Vasiliy Solovey 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/editors/idea/default.nix

  Log Message:
  ---
  webstorm: 2016.3.3 -> 2017.1

(cherry picked from commit 97941b54f9e272a0e1702e1d128ca41d097ad907)


  Commit: 4d6c02daee3b695e16c900a855c2fceeb0d3388a
  
https://github.com/NixOS/nixpkgs/commit/4d6c02daee3b695e16c900a855c2fceeb0d3388a
  Author: Peter Hoeg 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/misc/gcalcli/default.nix

  Log Message:
  ---
  gcalcli: fix notifications on linux

Couple of things:

 - fix the path to notify-send
 - add a standard icon to the notification
 - rename the notification from "gcalcli" to "Calendar"

Lastly, there are no tests, so do not try to run them.

(cherry picked from commit f67ec45de6cd503d175c46c74465c72c61846984)


  Commit: 5614ef4ff2ff5e60a0ab5d72d1d27555f8350222
  
https://github.com/NixOS/nixpkgs/commit/5614ef4ff2ff5e60a0ab5d72d1d27555f8350222
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/games/hawkthorne/default.nix

  Log Message:
  ---
  hawkthorne: mark as broken

(cherry picked from commit b5ad5c3d809a99a047af47e6bea7c9888d28645f)


  Commit: 7dd7bd45b29410060b5be57fe3c8bb8e229433c0
  
https://github.com/NixOS/nixpkgs/commit/7dd7bd45b29410060b5be57fe3c8bb8e229433c0
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
R pkgs/development/tools/java/jclasslib/builder.sh
R pkgs/development/tools/java/jclasslib/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  jclasslib: remove

(cherry picked from commit 2b7128808d4c0755ccb08b500966278c22b1be6c)


  Commit: 915863eeb84b932db1ad5be16923f6a21cfec77b
  
https://github.com/NixOS/nixpkgs/commit/915863eeb84b932db1ad5be16923f6a21cfec77b
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/science/math/sage/default.nix

  Log Message:
  ---
  sage: mark as broken

(cherry picked from commit f87de53883a183d9d249e9a613b72a7e04dfc034)


  Commit: 30581300d717366eed73b38b5b6e2b7bcfc368e0
  
https://github.com/NixOS/nixpkgs/commit/30581300d717366eed73b38b5b6e2b7bcfc368e0
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/modules/module-list.nix
R nixos/modules/services/backup/sitecopy-backup.nix
R pkgs/tools/networking/sitecopy/default.nix
R pkgs/tools/networking/sitecopy/neon-29.patch
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  sitecopy: remove

(cherry picked from commit a79891f6b2ddeba15e3c409ff4c769b56e3ab5aa)


Compare: https://github.com/NixOS/nixpkgs/compare/c15756b2bbd0...30581300d717___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 8641a0: quicklisp-to-nix: support / in the system name

[Michael Raskin]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 8641a0ace93265e38872c709a1fe2b0f2353d0b7
  
https://github.com/NixOS/nixpkgs/commit/8641a0ace93265e38872c709a1fe2b0f2353d0b7
  Author: Michael Raskin <7c6f4...@mail.ru>
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/lisp-modules/define-package.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/idna.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/iolib.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/iolib_slash_asdf.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/iolib_slash_base.nix
A 
pkgs/development/lisp-modules/quicklisp-to-nix-output/iolib_slash_common-lisp.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/iolib_slash_conf.nix
A 
pkgs/development/lisp-modules/quicklisp-to-nix-output/iolib_slash_grovel.nix
A 
pkgs/development/lisp-modules/quicklisp-to-nix-output/iolib_slash_multiplex.nix
A 
pkgs/development/lisp-modules/quicklisp-to-nix-output/iolib_slash_sockets.nix
A 
pkgs/development/lisp-modules/quicklisp-to-nix-output/iolib_slash_streams.nix
A 
pkgs/development/lisp-modules/quicklisp-to-nix-output/iolib_slash_syscalls.nix
A pkgs/development/lisp-modules/quicklisp-to-nix-output/swap-bytes.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-overrides.nix
M pkgs/development/lisp-modules/quicklisp-to-nix-systems.txt
M pkgs/development/lisp-modules/quicklisp-to-nix.nix
M pkgs/development/lisp-modules/quicklisp-to-nix/invocation.emb
M pkgs/development/lisp-modules/quicklisp-to-nix/nix-package.emb
M pkgs/development/lisp-modules/quicklisp-to-nix/ql-to-nix.lisp

  Log Message:
  ---
  quicklisp-to-nix: support / in the system name

Add some more packages


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] db3292: guileLint: mark as broken

[Robin Gloster]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: db329251b44b7871d3fa436c4df9353e78931093
  
https://github.com/NixOS/nixpkgs/commit/db329251b44b7871d3fa436c4df9353e78931093
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/tools/guile/guile-lint/default.nix

  Log Message:
  ---
  guileLint: mark as broken


  Commit: b5ad5c3d809a99a047af47e6bea7c9888d28645f
  
https://github.com/NixOS/nixpkgs/commit/b5ad5c3d809a99a047af47e6bea7c9888d28645f
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/games/hawkthorne/default.nix

  Log Message:
  ---
  hawkthorne: mark as broken


  Commit: 2b7128808d4c0755ccb08b500966278c22b1be6c
  
https://github.com/NixOS/nixpkgs/commit/2b7128808d4c0755ccb08b500966278c22b1be6c
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
R pkgs/development/tools/java/jclasslib/builder.sh
R pkgs/development/tools/java/jclasslib/default.nix
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  jclasslib: remove


  Commit: f87de53883a183d9d249e9a613b72a7e04dfc034
  
https://github.com/NixOS/nixpkgs/commit/f87de53883a183d9d249e9a613b72a7e04dfc034
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/science/math/sage/default.nix

  Log Message:
  ---
  sage: mark as broken


  Commit: a79891f6b2ddeba15e3c409ff4c769b56e3ab5aa
  
https://github.com/NixOS/nixpkgs/commit/a79891f6b2ddeba15e3c409ff4c769b56e3ab5aa
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M nixos/modules/module-list.nix
R nixos/modules/services/backup/sitecopy-backup.nix
R pkgs/tools/networking/sitecopy/default.nix
R pkgs/tools/networking/sitecopy/neon-29.patch
M pkgs/top-level/all-packages.nix

  Log Message:
  ---
  sitecopy: remove


  Commit: d7f3e5a8f0bddc8eaf9e0cffd9183bd28f71e26b
  
https://github.com/NixOS/nixpkgs/commit/d7f3e5a8f0bddc8eaf9e0cffd9183bd28f71e26b
  Author: Robin Gloster 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/data/documentation/rnrs/common.nix

  Log Message:
  ---
  rXrs: mark as broken (X ∈ {3, 4, 5})


Compare: https://github.com/NixOS/nixpkgs/compare/029c57f4a188...d7f3e5a8f0bd___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 97941b: webstorm: 2016.3.3 -> 2017.1

[Jörg Thalheim]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 97941b54f9e272a0e1702e1d128ca41d097ad907
  
https://github.com/NixOS/nixpkgs/commit/97941b54f9e272a0e1702e1d128ca41d097ad907
  Author: Vasiliy Solovey 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/editors/idea/default.nix

  Log Message:
  ---
  webstorm: 2016.3.3 -> 2017.1


  Commit: 7a3da5194366d2266f48fa3b4517e821858dfbcb
  
https://github.com/NixOS/nixpkgs/commit/7a3da5194366d2266f48fa3b4517e821858dfbcb
  Author: Jörg Thalheim 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/editors/idea/default.nix

  Log Message:
  ---
  Merge pull request #24452 from miltador/webstorm

webstorm: 2016.3.3 -> 2017.1


Compare: https://github.com/NixOS/nixpkgs/compare/9e439658d7f2...7a3da5194366___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 5030fa: pycharm-community: 2016.3.2 -> 2017.1

[Jörg Thalheim]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 5030fafdeeffbe5e74413457767065e9441d951c
  
https://github.com/NixOS/nixpkgs/commit/5030fafdeeffbe5e74413457767065e9441d951c
  Author: Aleksey Zhukov 
  Date:   2017-03-29 (Wed, 29 Mar 2017)

  Changed paths:
M pkgs/applications/editors/idea/default.nix

  Log Message:
  ---
  pycharm-community: 2016.3.2 -> 2017.1


  Commit: 43dc7604c18cf0855390a7d1a82135ff790b023d
  
https://github.com/NixOS/nixpkgs/commit/43dc7604c18cf0855390a7d1a82135ff790b023d
  Author: Aleksey Zhukov 
  Date:   2017-03-29 (Wed, 29 Mar 2017)

  Changed paths:
M pkgs/applications/editors/idea/default.nix

  Log Message:
  ---
  pycharm-professional: 2016.3.2 -> 2017.1


  Commit: 9e439658d7f2969486532f550bf3d81fc5733a1c
  
https://github.com/NixOS/nixpkgs/commit/9e439658d7f2969486532f550bf3d81fc5733a1c
  Author: Jörg Thalheim 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/applications/editors/idea/default.nix

  Log Message:
  ---
  Merge pull request #24449 from drdaeman/pycharm-2017.1

PyCharm 2016.3.2 -> 2017.1


Compare: https://github.com/NixOS/nixpkgs/compare/586fd024fa93...9e439658d7f2___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 2cef2c: bitlbee-facebook: 2015-08-27 → 1.1.0

[Jörg Thalheim]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 2cef2c58ead2a9469495c08b8e49087f9b3d28cd
  
https://github.com/NixOS/nixpkgs/commit/2cef2c58ead2a9469495c08b8e49087f9b3d28cd
  Author: Michal Rus 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M 
pkgs/applications/networking/instant-messengers/bitlbee-facebook/default.nix

  Log Message:
  ---
  bitlbee-facebook: 2015-08-27 → 1.1.0


  Commit: 586fd024fa9363fee75363abadd6c5a76c06a036
  
https://github.com/NixOS/nixpkgs/commit/586fd024fa9363fee75363abadd6c5a76c06a036
  Author: Jörg Thalheim 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M 
pkgs/applications/networking/instant-messengers/bitlbee-facebook/default.nix

  Log Message:
  ---
  Merge pull request #24454 from michalrus/bitlbee-facebook

bitlbee-facebook: 2015-08-27 → 1.1.0


Compare: https://github.com/NixOS/nixpkgs/compare/79f70e6d88b8...586fd024fa93___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] b083a3: rustRegistry: 2017-03-22 -> 2017-03-29

[Jörg Thalheim]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: b083a374aae922d840cade623c435dcccb791bbc
  
https://github.com/NixOS/nixpkgs/commit/b083a374aae922d840cade623c435dcccb791bbc
  Author: c74d <857...@gmail.com>
  Date:   2017-03-29 (Wed, 29 Mar 2017)

  Changed paths:
M pkgs/top-level/rust-packages.nix

  Log Message:
  ---
  rustRegistry: 2017-03-22 -> 2017-03-29

Update the `rustRegistry` to a more recent version. I have tested this
change per nixpkgs manual section 11.1 ("Making patches").


  Commit: eb6a1f1f4103869df6fd948c8c1e7dc46a99a7e1
  
https://github.com/NixOS/nixpkgs/commit/eb6a1f1f4103869df6fd948c8c1e7dc46a99a7e1
  Author: c74d <857...@gmail.com>
  Date:   2017-03-29 (Wed, 29 Mar 2017)

  Changed paths:
M pkgs/development/tools/rust/rustfmt/default.nix

  Log Message:
  ---
  rustfmt: 0.8 -> 0.8.1

Update the `rustfmt` package from version 0.8 to version 0.8.1.

I have tested this change per nixpkgs manual section 11.1 ("Making
patches").


  Commit: 79f70e6d88b8b6525a6d8b6228119b5df4f6b0b7
  
https://github.com/NixOS/nixpkgs/commit/79f70e6d88b8b6525a6d8b6228119b5df4f6b0b7
  Author: Jörg Thalheim 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/tools/rust/rustfmt/default.nix
M pkgs/top-level/rust-packages.nix

  Log Message:
  ---
  Merge pull request #24455 from 8573/8573/pkg/update/rustfmt/0.8.1/1

rustfmt: 0.8 -> 0.8.1


Compare: https://github.com/NixOS/nixpkgs/compare/ded28760732c...79f70e6d88b8___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

Re: [Nix-dev] Typing nix − funding campaign

[Arseniy Alekseyev]

Regarding subtying, I wonder if you're familiar with [1]. This was
described to me as "the right approach to subtyping". I can't myself judge,
but it does sound cool.

1. https://www.cl.cam.ac.uk/~sd601/thesis.pdf

On 30 March 2017 at 08:05, Théophane Hufschmitt  wrote:

> Hi Mateusz,
>
> Wed 29 Mar 17 − 17:25, Mateusz Kowalczyk(fuuze...@fuuzetsu.co.uk) a écrit:
> > I'm sure you've answered this ad nauseum before but I wonder how you're
> > going to type sets? They are bread-and-butter in nixpkgs. Presumably
> > they will be typed on their fields with the standard subtyping, like
> > anonymous records.
>
> I didn't talk about records, because they are a quite difficult topic,
> and I don't exactly know what their typing will look like in the end.
>
> The problem is that the classical row-type approach (like described in
> [3] for example) which is used to type anonymous records in ML-like
> languages doesn't fit at all with union and intersection types.
> There is an existing formalism that deals with monomorphic records in
> this context (described in the chapter 9 of [1] − in french − and −
> slightly more explained, but maybe less complete − in section 4.5 of
> [2]).  The extension of this formalism to polymorphic records is the
> current work of a Phd student (so far everything seems to works without
> problem, but I don't want to talk too much about it without being sure).
>
>
> > Secondly, I wonder about the motivation for the typing of `if` with
> > intersections. It seems counter-intuitive to have it in the type-system.
> > Why not provide an explicit union type as part of some standard library?
> > I would have thought that most people expect `if` to have `Bool -> a ->
> > a -> a` type. Error messages suffer because it becomes unclear whether
> > the caller to `if` is expecting wrong type or the `if` is providing
> > wrong type. I don't think that sort of `if` usage is common in nixpkgs
> > (at least not so common to justify weird typing as opposed to just
> > fixing the uses which in turn could be detected if we don't have this
> > typing rule).
>
> Were it just up to me, I would have rewritten the nix language with full
> algebraic datatypes and a proper Hindley-Milner type system ;) (dhall,
> I'm looking at you).
> The problem with this is that it would require rewriting a large part of
> nixpkgs (especially rewriting the whole nixos module system which rely
> on ad-hoc polymorphism a lot), which is not possible.
> That sort of usage of `if` isn't that common indeed, but it appears in
> critical places (the fact that nixos modules can have different forms
> for example leads to necessary typecases that couldn't be typed without
> refining the type environment inside the `if`s, or the `types.either`
> construct for example).
> And to be honnest, with union types, you can have singleton types for
> free (*ie* to each value you associate a type that contains only this
> value), and the typing rules for `if`s become really nice.
>
>
> Hope that answers your questions (if not, I'll be happy to explain
> myself more)
>
> --
> Théophane Hufschmitt
>
> [1]: http://www.diku.dk/hjemmesider/ansatte/henglein/
> papers/frisch2004c.pdf
> [2]: https://www.irif.fr/~gc/papers/contravarianceagain.pdf
> [3]: http://gallium.inria.fr/~remy/ftp/taoop1.pdf
>
> ___
> nix-dev mailing list
> nix-dev@lists.science.uu.nl
> http://lists.science.uu.nl/mailman/listinfo/nix-dev
>
>
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

Re: [Nix-dev] Typing nix − funding campaign

[Théophane Hufschmitt]

Thu 30 Mar 17 − 00:23, Jeaye(cont...@jeaye.com) a écrit:
> Congrats on the funding!

Thanks :)

> As someone who's been looking for more static validation of my Nix 
> expressions, this is an exciting change. I must admit, however, that I wonder 
> if Nix is just not the "right" tool for the job. I didn't see anyone else in 
> this thread mention it, to my surprise, so I'll bite: if you have some 
> funding and some time, why not integrate an existing language, with a 
> working, mature, static type system instead?
> 
> This is where I think Guix made a better choice: many people already know 
> Scheme and are comfortable with it. If Haskell, for example, has the kind of 
> type system we're seeking, what benefit do we get for sticking with Nix? Only 
> the sunken cost?
> 
> If it isn't clear, I think that purely functional package management is a 
> wonderful thing, but I don't think a new (Nix) language is the best way to 
> use it.

I don't think a dedicated (and new) language is a bad think because
nixpkgs is a quite hudge codebase (and could be much bigger) where most
of the code follows exactly the same few patterns (calls to
`mkDerivation` or nixos module declarations), so I think the cost of
maintaining a language optimized for those patterns is worth it (for
scheme, lisp users tend to think that it is flexible enough to fit as a
perfect DSL for any use case, so if this is indeed true, it also is an
excellent choice − I always wanted to try some lisp but never found the
strenght to fight those cohorts of parens so I couldn't make my own
opinion on this).
And the real cost of switching to a new language would probably be −
much more than the sinking cost − the unavoidable split of the community
(which already isn't that big...).


(And for haskell in particular − at least GHC-haskell −, I really
wouldn't like it for nixpkgs because I *really* wouln't want nix to
depend on something as huge as GHC).

That being said, I agree that nix is somehow weird (and I agree even
more after having worked a bit on the grammar), and I would have by far
preferred something closer to classical functional languages.

-- 
Théophane Hufschmitt


signature.asc
Description: PGP signature
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

Re: [Nix-dev] Typing nix − funding campaign

[Théophane Hufschmitt]

Wed 29 Mar 17 − 19:45, Danylo Hlynskyi(abcz2.upr...@gmail.com) a écrit:
> But I'm too interested on how to specify type for `if` without introducing
> local lambda (e.g., will there be special syntax for this).

I'll add some type annotations of course (To be honnest, I doubt the
second example could ever be typed that precisely without any
annotation ; in the best case, it would probably have a type like
`(bool|int) -> (string|bool)`). I don't know what the actual syntax
would be (I hope I'll be able to make may case for introducing them
directly into the language, if not they will be included into comments).

But if your question was "what's the type of `if isInt x then x+1 else
!x`, then the answer is "it depends on the type of x in the context".
Depending on the type `τ` of x, it could have several types, like

- If `τ` is a subtype of `int`: `int`
- If `τ` is a subtype of `bool`: `bool`
- If `τ` is a subtype of `int|bool`: `int|bool`

(or even more precise: If `τ` is a subtype of `true`, then the `if`
can be given the type `false` because `!` has type
`(true -> false)&(false -> true)`)

-- 
Théophane Hufschmitt


signature.asc
Description: PGP signature
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

[Nix-commits] [NixOS/nixpkgs] 4c0d7d: Get rid of all `with { inherit... }` and just used...

[John Ericson]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 4c0d7da1837356047aabfed4661daf4307821b75
  
https://github.com/NixOS/nixpkgs/commit/4c0d7da1837356047aabfed4661daf4307821b75
  Author: John Ericson 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M lib/attrsets.nix
M lib/types.nix
M pkgs/applications/editors/codeblocks/default.nix
M pkgs/applications/networking/p2p/transmission/default.nix
M pkgs/applications/office/libreoffice/default.nix
M pkgs/applications/office/libreoffice/still.nix
M pkgs/development/libraries/cairo/default.nix
M pkgs/development/libraries/freetype/default.nix
M pkgs/development/libraries/gmp/5.1.x.nix
M pkgs/development/libraries/gmp/6.x.nix
M pkgs/development/libraries/libav/default.nix
M pkgs/development/libraries/libgsf/default.nix
M pkgs/development/libraries/nghttp2/default.nix
M pkgs/development/mobile/androidenv/androidsdk.nix
M pkgs/development/tools/misc/binutils/default.nix
M pkgs/games/oilrush/default.nix
M pkgs/servers/coturn/default.nix
M pkgs/servers/dns/knot-dns/default.nix
M pkgs/tools/misc/hdf5/default.nix

  Log Message:
  ---
  Get rid of all `with { inherit... }` and just used `let inherit...`

The old forms presumably predates, or were made in ignorance of,
`let inherit`. This way is better style as the scoping as more lexical,
something which Nix can (or might already!) take advantage of.


  Commit: 166fc028a43e3894b9e0c9d5d7b42eaf359cb598
  
https://github.com/NixOS/nixpkgs/commit/166fc028a43e3894b9e0c9d5d7b42eaf359cb598
  Author: John Ericson 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M lib/attrsets.nix
M lib/types.nix
M pkgs/applications/editors/codeblocks/default.nix
M pkgs/applications/networking/p2p/transmission/default.nix
M pkgs/applications/office/libreoffice/default.nix
M pkgs/applications/office/libreoffice/still.nix
M pkgs/development/libraries/cairo/default.nix
M pkgs/development/libraries/freetype/default.nix
M pkgs/development/libraries/gmp/5.1.x.nix
M pkgs/development/libraries/gmp/6.x.nix
M pkgs/development/libraries/libav/default.nix
M pkgs/development/libraries/libgsf/default.nix
M pkgs/development/libraries/nghttp2/default.nix
M pkgs/development/mobile/androidenv/androidsdk.nix
M pkgs/development/tools/misc/binutils/default.nix
M pkgs/games/oilrush/default.nix
M pkgs/servers/coturn/default.nix
M pkgs/servers/dns/knot-dns/default.nix
M pkgs/tools/misc/hdf5/default.nix

  Log Message:
  ---
  Merge pull request #24465 from Ericson2314/no-with-literal

Get rid of all `with { inherit... }` and just used `let inherit...`


Compare: https://github.com/NixOS/nixpkgs/compare/2a3cd13d732c...166fc028a43e___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

Re: [Nix-dev] Typing nix − funding campaign

[Jeaye]

Congrats on the funding!

As someone who's been looking for more static validation of my Nix expressions, 
this is an exciting change. I must admit, however, that I wonder if Nix is just 
not the "right" tool for the job. I didn't see anyone else in this thread 
mention it, to my surprise, so I'll bite: if you have some funding and some 
time, why not integrate an existing language, with a working, mature, static 
type system instead?

This is where I think Guix made a better choice: many people already know 
Scheme and are comfortable with it. If Haskell, for example, has the kind of 
type system we're seeking, what benefit do we get for sticking with Nix? Only 
the sunken cost?

If it isn't clear, I think that purely functional package management is a 
wonderful thing, but I don't think a new (Nix) language is the best way to use 
it.


signature.asc
Description: PGP signature
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev

[Nix-commits] [NixOS/nixpkgs] 2a3cd1: slang: 2.3.0 -> 2.3.1a

[Charles Strahan]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 2a3cd13d732ca8e49518a0314d1e003bf16af0bf
  
https://github.com/NixOS/nixpkgs/commit/2a3cd13d732ca8e49518a0314d1e003bf16af0bf
  Author: Charles Strahan 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/development/libraries/slang/default.nix

  Log Message:
  ---
  slang: 2.3.0 -> 2.3.1a


___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

[Nix-commits] [NixOS/nixpkgs] 835a69: vim-elixir: 2017-02-21 -> 2017-03-29

[Arseniy Seroka]

  Branch: refs/heads/master
  Home:   https://github.com/NixOS/nixpkgs
  Commit: 835a692e9c588411e6292b25e942375d2c4ea656
  
https://github.com/NixOS/nixpkgs/commit/835a692e9c588411e6292b25e942375d2c4ea656
  Author: Kamil Chmielewski 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/misc/vim-plugins/default.nix

  Log Message:
  ---
  vim-elixir: 2017-02-21 -> 2017-03-29


  Commit: a2a152c0834f66600a5d2db7819e4a514842c996
  
https://github.com/NixOS/nixpkgs/commit/a2a152c0834f66600a5d2db7819e4a514842c996
  Author: Arseniy Seroka 
  Date:   2017-03-30 (Thu, 30 Mar 2017)

  Changed paths:
M pkgs/misc/vim-plugins/default.nix

  Log Message:
  ---
  Merge pull request #24463 from kamilchm/vim-elixir

vim-elixir: 2017-02-21 -> 2017-03-29


Compare: https://github.com/NixOS/nixpkgs/compare/0843ad10fd5c...a2a152c0834f___
nix-commits mailing list
nix-comm...@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-commits

Re: [Nix-dev] Typing nix − funding campaign

[Théophane Hufschmitt]

Hi Mateusz,

Wed 29 Mar 17 − 17:25, Mateusz Kowalczyk(fuuze...@fuuzetsu.co.uk) a écrit:
> I'm sure you've answered this ad nauseum before but I wonder how you're
> going to type sets? They are bread-and-butter in nixpkgs. Presumably
> they will be typed on their fields with the standard subtyping, like
> anonymous records.

I didn't talk about records, because they are a quite difficult topic,
and I don't exactly know what their typing will look like in the end.

The problem is that the classical row-type approach (like described in
[3] for example) which is used to type anonymous records in ML-like
languages doesn't fit at all with union and intersection types.
There is an existing formalism that deals with monomorphic records in
this context (described in the chapter 9 of [1] − in french − and −
slightly more explained, but maybe less complete − in section 4.5 of
[2]).  The extension of this formalism to polymorphic records is the
current work of a Phd student (so far everything seems to works without
problem, but I don't want to talk too much about it without being sure).


> Secondly, I wonder about the motivation for the typing of `if` with
> intersections. It seems counter-intuitive to have it in the type-system.
> Why not provide an explicit union type as part of some standard library?
> I would have thought that most people expect `if` to have `Bool -> a ->
> a -> a` type. Error messages suffer because it becomes unclear whether
> the caller to `if` is expecting wrong type or the `if` is providing
> wrong type. I don't think that sort of `if` usage is common in nixpkgs
> (at least not so common to justify weird typing as opposed to just
> fixing the uses which in turn could be detected if we don't have this
> typing rule).

Were it just up to me, I would have rewritten the nix language with full
algebraic datatypes and a proper Hindley-Milner type system ;) (dhall,
I'm looking at you).
The problem with this is that it would require rewriting a large part of
nixpkgs (especially rewriting the whole nixos module system which rely
on ad-hoc polymorphism a lot), which is not possible.
That sort of usage of `if` isn't that common indeed, but it appears in
critical places (the fact that nixos modules can have different forms
for example leads to necessary typecases that couldn't be typed without
refining the type environment inside the `if`s, or the `types.either`
construct for example).
And to be honnest, with union types, you can have singleton types for
free (*ie* to each value you associate a type that contains only this
value), and the typing rules for `if`s become really nice.


Hope that answers your questions (if not, I'll be happy to explain
myself more)

-- 
Théophane Hufschmitt

[1]: http://www.diku.dk/hjemmesider/ansatte/henglein/papers/frisch2004c.pdf
[2]: https://www.irif.fr/~gc/papers/contravarianceagain.pdf
[3]: http://gallium.inria.fr/~remy/ftp/taoop1.pdf


signature.asc
Description: PGP signature
___
nix-dev mailing list
nix-dev@lists.science.uu.nl
http://lists.science.uu.nl/mailman/listinfo/nix-dev