Branch: refs/heads/release-17.03
Home: https://github.com/NixOS/nixpkgs
Commit: c15756b2bbd0021318fc99f89ff3a8f9c6f9e11c
https://github.com/NixOS/nixpkgs/commit/c15756b2bbd0021318fc99f89ff3a8f9c6f9e11c
Author: NWDD
Date: 2017-03-30 (Thu, 30 Mar 2017)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 0843ad10fd5cf984b36cf7e6533a518cab299af4
https://github.com/NixOS/nixpkgs/commit/0843ad10fd5cf984b36cf7e6533a518cab299af4
Author: Peter Hoeg
Date: 2017-03-30 (Thu, 30 Mar 2017)
Changed
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 5bb5ce050bce7b388694e733bed4f60a09896daf
https://github.com/NixOS/nixpkgs/commit/5bb5ce050bce7b388694e733bed4f60a09896daf
Author: Peter Hoeg
Date: 2017-03-30 (Thu, 30 Mar 2017)
Changed
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 2f020cf7c1aba4e2b02f55395f069e8072d75b68
https://github.com/NixOS/nixpkgs/commit/2f020cf7c1aba4e2b02f55395f069e8072d75b68
Author: regnat
Date: 2017-03-30 (Thu, 30 Mar 2017)
Changed
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 24c616c4b67b0be370938868ca2f995ee651ace7
https://github.com/NixOS/nixpkgs/commit/24c616c4b67b0be370938868ca2f995ee651ace7
Author: Matthew Maurer
Date: 2017-03-30 (Thu, 30 Mar
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 49f1abec15ce5fd081df196caf86554bcc82643b
https://github.com/NixOS/nixpkgs/commit/49f1abec15ce5fd081df196caf86554bcc82643b
Author: Tuomas Tynkkynen
Date: 2017-03-30 (Thu, 30 Mar 2017)
Branch: refs/heads/release-17.03
Home: https://github.com/NixOS/nixpkgs
Commit: 6e0cd0281fde6300db5e96c9ed5ee98f39d7edad
https://github.com/NixOS/nixpkgs/commit/6e0cd0281fde6300db5e96c9ed5ee98f39d7edad
Author: Robin Gloster
Date: 2017-03-30 (Thu, 30 Mar 2017)
Branch: refs/heads/release-17.03
Home: https://github.com/NixOS/nixpkgs
Commit: a3a984d2cc8331756962a7d1a3cb4583e04f0395
https://github.com/NixOS/nixpkgs/commit/a3a984d2cc8331756962a7d1a3cb4583e04f0395
Author: Robin Gloster
Date: 2017-03-29 (Wed, 29 Mar 2017)
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 07101f743e3abfb1599d2fc71c6fb9f7acc3ad9e
https://github.com/NixOS/nixpkgs/commit/07101f743e3abfb1599d2fc71c6fb9f7acc3ad9e
Author: Herwig Hochleitner
Date: 2017-03-29 (Wed, 29
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 08c87eed00c7478a03d965570feb50c8f317ce5f
https://github.com/NixOS/nixpkgs/commit/08c87eed00c7478a03d965570feb50c8f317ce5f
Author: Vincent Laporte
Date: 2017-03-29 (Wed, 29 Mar
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 1258bf9d2cb29e414b3cea488e16be7a190049f9
https://github.com/NixOS/nixpkgs/commit/1258bf9d2cb29e414b3cea488e16be7a190049f9
Author: Michael Raskin <7c6f4...@mail.ru>
Date: 2017-03-29 (Wed, 29 Mar 2017)
Branch: refs/heads/release-17.03
Home: https://github.com/NixOS/nixpkgs
Commit: 1447e5590670ebb273af9d4011246595b5c1cf16
https://github.com/NixOS/nixpkgs/commit/1447e5590670ebb273af9d4011246595b5c1cf16
Author: Eelco Dolstra
Date: 2017-03-29 (Wed, 29 Mar
Branch: refs/heads/master
Home: https://github.com/NixOS/nixops
Commit: 55ceaa95206cee6a97d531c2050f39e7f111ab2b
https://github.com/NixOS/nixops/commit/55ceaa95206cee6a97d531c2050f39e7f111ab2b
Author: Drew Hess
Date: 2017-03-29 (Wed, 29 Mar 2017)
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 060bd50003201673f99222c489b2125338c606bb
https://github.com/NixOS/nixpkgs/commit/060bd50003201673f99222c489b2125338c606bb
Author: Vladimír Čunát
Date: 2017-03-29 (Wed, 29 Mar
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: c46e2d1903248c546e8b6ec5f190a1f1a3515f98
https://github.com/NixOS/nixpkgs/commit/c46e2d1903248c546e8b6ec5f190a1f1a3515f98
Author: Evan Danaher
Date: 2017-03-28 (Tue, 28 Mar 2017)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 2ab1c0611f2230e40c1c7866f83694ee4199f139
https://github.com/NixOS/nixpkgs/commit/2ab1c0611f2230e40c1c7866f83694ee4199f139
Author: Peter Simons
Date: 2017-03-29 (Wed, 29 Mar 2017)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 1af70c331ce54687faa3e8aeb31b8dde43ac6b8e
https://github.com/NixOS/nixpkgs/commit/1af70c331ce54687faa3e8aeb31b8dde43ac6b8e
Author: Michael Raskin <7c6f4...@mail.ru>
Date: 2017-03-29 (Wed, 29 Mar 2017)
Branch: refs/heads/master
Home: https://github.com/NixOS/hydra
Commit: 5962367ffc235d3c44dad8596c5984c9c1d95539
https://github.com/NixOS/hydra/commit/5962367ffc235d3c44dad8596c5984c9c1d95539
Author: Shea Levy
Date: 2016-08-17 (Wed, 17 Aug 2016)
Changed
That looks like a feature of gradual typing: unless you exlicitly specify
type annotations, it can infer type, be it ?, ? -> ? or more complicated.
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).
2017-03-29
On 03/28/2017 10:45 AM, Théophane Hufschmitt wrote:
> Hi everyone,
>
> My internship has now started, and I'll try to post regular updates on
> https://typing-nix.regnat.ovh/ as promised. So if you're interested,
> just follow the rss :)
>
>> --
>> Théophane Hufschmitt
>
Hi,
I'm sure you've
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 94c61cee6607a07a2a4ff8b5215246f9b8b71fe4
https://github.com/NixOS/nixpkgs/commit/94c61cee6607a07a2a4ff8b5215246f9b8b71fe4
Author: Amos Bird
Date: 2017-03-29 (Wed, 29 Mar 2017)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: a57bcd38b49bfe9d048b12de3c839bc72b298d2e
https://github.com/NixOS/nixpkgs/commit/a57bcd38b49bfe9d048b12de3c839bc72b298d2e
Author: Eelco Dolstra
Date: 2017-03-29 (Wed, 29 Mar 2017)
Branch: refs/heads/release-17.03
Home: https://github.com/NixOS/nixpkgs
Commit: f164d27053d78dc2cab1c4c384d943146a93ae61
https://github.com/NixOS/nixpkgs/commit/f164d27053d78dc2cab1c4c384d943146a93ae61
Author: Frederik Rietdijk
Date: 2017-03-29 (Wed, 29 Mar
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: ffd29517dd05e92dbc8a71d3dde835862b48f121
https://github.com/NixOS/nixpkgs/commit/ffd29517dd05e92dbc8a71d3dde835862b48f121
Author: Frederik Rietdijk
Date: 2017-03-29 (Wed, 29 Mar 2017)
Branch: refs/heads/release-17.03
Home: https://github.com/NixOS/nixpkgs
Commit: e38604916eb826bbfab31f94098379246c250885
https://github.com/NixOS/nixpkgs/commit/e38604916eb826bbfab31f94098379246c250885
Author: Dan Peebles
Date: 2017-03-29 (Wed, 29 Mar 2017)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 35dfdc9277511351cb757317e9cac0dc47473596
https://github.com/NixOS/nixpkgs/commit/35dfdc9277511351cb757317e9cac0dc47473596
Author: Rob Vermaas
Date: 2017-03-29 (Wed, 29 Mar 2017)
Branch: refs/heads/release-17.03
Home: https://github.com/NixOS/nixpkgs
Commit: f79be2cfa321617314aa253a8a6341a2f0ab7816
https://github.com/NixOS/nixpkgs/commit/f79be2cfa321617314aa253a8a6341a2f0ab7816
Author: Rob Vermaas
Date: 2017-03-29 (Wed, 29 Mar
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 6f721ce534d18730a29e3b632274ed11e20b42fd
https://github.com/NixOS/nixpkgs/commit/6f721ce534d18730a29e3b632274ed11e20b42fd
Author: Matthew Daiter
Date: 2017-03-29 (Wed, 29 Mar 2017)
Branch: refs/heads/release-17.03
Home: https://github.com/NixOS/nixpkgs
Commit: 2afbc4e014135a6c73685ae5fc3e1542d55ad2fb
https://github.com/NixOS/nixpkgs/commit/2afbc4e014135a6c73685ae5fc3e1542d55ad2fb
Author: Thomas Tuegel
Date: 2017-03-29 (Wed, 29 Mar
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 1d8d6d564d18f0d7b4ac659c0c2a6a2084ff546e
https://github.com/NixOS/nixpkgs/commit/1d8d6d564d18f0d7b4ac659c0c2a6a2084ff546e
Author: Thomas Tuegel
Date: 2017-03-29 (Wed, 29 Mar 2017)
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 9363db49ce71be2f551e650e4144e1db7ba56c41
https://github.com/NixOS/nixpkgs/commit/9363db49ce71be2f551e650e4144e1db7ba56c41
Author: Sebastian Hagen
Date: 2017-03-29 (Wed, 29
On 29 March 2017 at 13:30, Profpatsch wrote:
> On 17-03-25 11:47pm, Ertugrul Söylemez wrote:
>> >> Issue pulseSupport -> does it make sense to have a global 'enable
>> >> pulse for all packgages' config.pulseSupport = true flag?
>> >>
>> >> packages could be using:
On 17-03-28 10:03pm, zimbatm wrote:
> Hi everyone,
>
> RFC 004 is now ready for wider reviews if you care to take a look:
>
> https://github.com/NixOS/rfcs/pull/4
For posterity, the responses are exactly
the kind of bikeshedding I feared would come out of RFCs.
But maybe it is for the best?
I
On 17-03-25 11:47pm, Ertugrul Söylemez wrote:
> >> Issue pulseSupport -> does it make sense to have a global 'enable
> >> pulse for all packgages' config.pulseSupport = true flag?
> >>
> >> packages could be using: config.pulseSupport or false to disable by
> >> default then.
> >
> > In my
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 3e298d2536e4d0843cf5466bc19675a093e43434
https://github.com/NixOS/nixpkgs/commit/3e298d2536e4d0843cf5466bc19675a093e43434
Author: Nicolò Balzarotti
Date: 2017-03-29 (Wed, 29 Mar
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 11e84f51b3efafc106904540935b9cbad0bd340b
https://github.com/NixOS/nixpkgs/commit/11e84f51b3efafc106904540935b9cbad0bd340b
Author: Jean-Pierre PRUNARET
Date: 2017-03-29
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 4e47e8500584a6769ca4e8b0207f55d09222e803
https://github.com/NixOS/nixpkgs/commit/4e47e8500584a6769ca4e8b0207f55d09222e803
Author: Matthew Maurer
Date: 2017-03-29 (Wed, 29 Mar
Branch: refs/heads/release-17.03
Home: https://github.com/NixOS/nixpkgs
Commit: 035534973b37b0e2bde0b82d6f6752d271e4f8fd
https://github.com/NixOS/nixpkgs/commit/035534973b37b0e2bde0b82d6f6752d271e4f8fd
Author: Marius Bakke
Date: 2017-03-29 (Wed, 29 Mar
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 3c7b0d37ae68b0db3b14efa079aa36742edb5714
https://github.com/NixOS/nixpkgs/commit/3c7b0d37ae68b0db3b14efa079aa36742edb5714
Author: Matthew Maurer
Date: 2017-03-29 (Wed, 29 Mar
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 078412521e4fbbec261b3a1a0a8296bfad0a47c3
https://github.com/NixOS/nixpkgs/commit/078412521e4fbbec261b3a1a0a8296bfad0a47c3
Author: Frederik Rietdijk
Date: 2017-03-29 (Wed, 29 Mar 2017)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: b4716ea7a2bd666b0c432aca43a2646fcf547b0c
https://github.com/NixOS/nixpkgs/commit/b4716ea7a2bd666b0c432aca43a2646fcf547b0c
Author: Matthew Maurer
Date: 2017-03-29 (Wed, 29 Mar
41 matches
Mail list logo