Branch: refs/heads/staging-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: bb961e1f9df365b2aa84518f164e316a310533ef
https://github.com/NixOS/nixpkgs/commit/bb961e1f9df365b2aa84518f164e316a310533ef
Author: Shea Levy
Date: 2016-10-03 (Mon, 03 Oct 2016)
Branch: refs/heads/staging-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: f87c1cdba21b63c27cebf6db3f4b743cc81a7379
https://github.com/NixOS/nixpkgs/commit/f87c1cdba21b63c27cebf6db3f4b743cc81a7379
Author: Jörg Thalheim
Date: 2016-10-06 (Thu, 06 Oct
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 3bee7844ebc1d448c2e84b7011f9406e2cdc2e79
https://github.com/NixOS/nixpkgs/commit/3bee7844ebc1d448c2e84b7011f9406e2cdc2e79
Author: Graham Christensen
Date: 2016-10-05 (Wed, 05
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 66d622fbd0f2561b841b629179ffb914eff8147f
https://github.com/NixOS/nixpkgs/commit/66d622fbd0f2561b841b629179ffb914eff8147f
Author: Graham Christensen
Date: 2016-10-05 (Wed, 05 Oct
Branch: refs/heads/staging
Home: https://github.com/NixOS/nixpkgs
Commit: 7defda8356cc6444be2d40ff085dfee421a51a97
https://github.com/NixOS/nixpkgs/commit/7defda8356cc6444be2d40ff085dfee421a51a97
Author: Thomas Tuegel
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 0dd13814519dcad8dbf2fd48937784a2c45f4a68
https://github.com/NixOS/nixpkgs/commit/0dd13814519dcad8dbf2fd48937784a2c45f4a68
Author: Graham Christensen
Date: 2016-10-05 (Wed, 05 Oct
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: db2e9b274c392b904ed51c2f7d8ac6420c70995b
https://github.com/NixOS/nixpkgs/commit/db2e9b274c392b904ed51c2f7d8ac6420c70995b
Author: Graham Christensen
Date: 2016-10-05 (Wed, 05 Oct
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 988d77d6c39fc1c04bc52a1ac99fe456991462fb
https://github.com/NixOS/nixpkgs/commit/988d77d6c39fc1c04bc52a1ac99fe456991462fb
Author: Graham Christensen
Date: 2016-10-05 (Wed, 05
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 3ea14eebc8e314247c63786c8906a7c9dce0abd8
https://github.com/NixOS/nixpkgs/commit/3ea14eebc8e314247c63786c8906a7c9dce0abd8
Author: Graham Christensen
Date: 2016-10-05 (Wed, 05
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 387fc044752e288ce4815f39956660bf185ab771
https://github.com/NixOS/nixpkgs/commit/387fc044752e288ce4815f39956660bf185ab771
Author: Graham Christensen
Date: 2016-10-05 (Wed, 05 Oct
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: dcb316431dcd6f0ca5bcb98c1b7723b420183f94
https://github.com/NixOS/nixpkgs/commit/dcb316431dcd6f0ca5bcb98c1b7723b420183f94
Author: Jörg Thalheim
Date: 2016-10-06 (Thu, 06 Oct
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: c684eb756a015456c584975bbe099a299ce34763
https://github.com/NixOS/nixpkgs/commit/c684eb756a015456c584975bbe099a299ce34763
Author: Jörg Thalheim
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/staging
Home: https://github.com/NixOS/nixpkgs
Commit: 5e066e2bcb115f9aafc83ce38540190932e8cc0a
https://github.com/NixOS/nixpkgs/commit/5e066e2bcb115f9aafc83ce38540190932e8cc0a
Author: Alexander Ried
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 5baecbc4afd739ec5c6e8fab99447e5b4cbf5cf8
https://github.com/NixOS/nixpkgs/commit/5baecbc4afd739ec5c6e8fab99447e5b4cbf5cf8
Author: Michael Lieberman
Date: 2016-10-05 (Wed, 05 Oct
Branch: refs/heads/master
Home: https://github.com/NixOS/nix
Commit: c6a929986aa25860cd93da9b7ab4488144934ead
https://github.com/NixOS/nix/commit/c6a929986aa25860cd93da9b7ab4488144934ead
Author: Eelco Dolstra
Date: 2016-10-05 (Wed, 05 Oct 2016)
Changed
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: d839cac8b28c8950532f00ca21cfff9e4671e7eb
https://github.com/NixOS/nixpkgs/commit/d839cac8b28c8950532f00ca21cfff9e4671e7eb
Author: Peter Simons
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 75df6107da2cc042db0c847e68a591ccb5b869e8
https://github.com/NixOS/nixpkgs/commit/75df6107da2cc042db0c847e68a591ccb5b869e8
Author: Peter Simons
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: ff81b74833768d3b5b77f688237d1fdea876e64e
https://github.com/NixOS/nixpkgs/commit/ff81b74833768d3b5b77f688237d1fdea876e64e
Author: Alexander Ried
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: cd1ec18b421c3dbbaabfc64f4f5d30371f84e7e1
https://github.com/NixOS/nixpkgs/commit/cd1ec18b421c3dbbaabfc64f4f5d30371f84e7e1
Author: Robin Gloster
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 96fbdf859498fdd4441bc091a12715c751cc76a1
https://github.com/NixOS/nixpkgs/commit/96fbdf859498fdd4441bc091a12715c751cc76a1
Author: Alexander Ried
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 079f3ea032e259b76ce66b65bc51e4625cca79a2
https://github.com/NixOS/nixpkgs/commit/079f3ea032e259b76ce66b65bc51e4625cca79a2
Author: Kirill Boltaev
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 1978d0045889689d3fa8f7bb686a54dd08de95d0
https://github.com/NixOS/nixpkgs/commit/1978d0045889689d3fa8f7bb686a54dd08de95d0
Author: Kirill Boltaev
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/staging
Home: https://github.com/NixOS/nixpkgs
Commit: 293d1d09ef299cd445b62747d9abb2500bf6a35b
https://github.com/NixOS/nixpkgs/commit/293d1d09ef299cd445b62747d9abb2500bf6a35b
Author: Yuxuan Shui
Date: 2016-10-02 (Sun, 02 Oct 2016)
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: b2845139a121bb591aa0d38d560b927cdc57b384
https://github.com/NixOS/nixpkgs/commit/b2845139a121bb591aa0d38d560b927cdc57b384
Author: Peter Simons
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 2a2a3c796aa3e339248519ffed099525545f1b5c
https://github.com/NixOS/nixpkgs/commit/2a2a3c796aa3e339248519ffed099525545f1b5c
Author: Peter Simons
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixops
Commit: b1498448d60a6802bdf980f3822629300e2fbbde
https://github.com/NixOS/nixops/commit/b1498448d60a6802bdf980f3822629300e2fbbde
Author: Peter Hoeg
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: dec4ec07bdf453183902f59b6271291a0c15359c
https://github.com/NixOS/nixpkgs/commit/dec4ec07bdf453183902f59b6271291a0c15359c
Author: Corbin
Date: 2016-10-04 (Tue, 04 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 8a4bb467a475cffba31e818aaaf319d2a4c70b6b
https://github.com/NixOS/nixpkgs/commit/8a4bb467a475cffba31e818aaaf319d2a4c70b6b
Author: Frederik Rietdijk
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 370ba763447bf2878083c145a00ff94ea5bba4e9
https://github.com/NixOS/nixpkgs/commit/370ba763447bf2878083c145a00ff94ea5bba4e9
Author: Bjørn Forsman
Date: 2016-10-05 (Wed, 05
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 5a6626f47c7bab0232b865a2ef7570b426c56412
https://github.com/NixOS/nixpkgs/commit/5a6626f47c7bab0232b865a2ef7570b426c56412
Author: Peter Hoeg
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: aafbd405776e50ee349035b950f512a57c9fd28f
https://github.com/NixOS/nixpkgs/commit/aafbd405776e50ee349035b950f512a57c9fd28f
Author: Markus Hauck
Date: 2016-10-04 (Tue, 04 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: b0d77698bfb18d435a99ff2ffe4ca807cb0f9002
https://github.com/NixOS/nixpkgs/commit/b0d77698bfb18d435a99ff2ffe4ca807cb0f9002
Author: Bjørn Forsman
Date: 2016-10-05 (Wed, 05 Oct
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: e380a84ad93ab60f8751fe8a430558372e6a7734
https://github.com/NixOS/nixpkgs/commit/e380a84ad93ab60f8751fe8a430558372e6a7734
Author: Lancelot SIX
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 43e76a7396107660675fc3d28178049d3759718b
https://github.com/NixOS/nixpkgs/commit/43e76a7396107660675fc3d28178049d3759718b
Author: Lancelot SIX
Date: 2016-10-05 (Wed, 05 Oct
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 1abc6dc1f3e1ca7ed55ec53ce6500fab84c61a0c
https://github.com/NixOS/nixpkgs/commit/1abc6dc1f3e1ca7ed55ec53ce6500fab84c61a0c
Author: Lancelot SIX
Date: 2016-10-05 (Wed,
Branch: refs/heads/master
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
Branch: refs/heads/python-wip
Home: https://github.com/NixOS/nixpkgs
Commit: bde9e11f5dfd306a30265d1ca89ff5a461d870b5
https://github.com/NixOS/nixpkgs/commit/bde9e11f5dfd306a30265d1ca89ff5a461d870b5
Author: Frederik Rietdijk
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 3cb65da139d02fd7b08cd0d4c53fd1770b639774
https://github.com/NixOS/nixpkgs/commit/3cb65da139d02fd7b08cd0d4c53fd1770b639774
Author: Vincent Laporte
Date: 2016-10-03 (Mon, 03 Oct
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: e4bdbfc247187990e21ecbd2618f73593b2cd413
https://github.com/NixOS/nixpkgs/commit/e4bdbfc247187990e21ecbd2618f73593b2cd413
Author: Edward Tjörnhammar
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 2fb5289d83a664d946d711841b44ee65b838c2ba
https://github.com/NixOS/nixpkgs/commit/2fb5289d83a664d946d711841b44ee65b838c2ba
Author: Frederik Rietdijk
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/python-wip
Home: https://github.com/NixOS/nixpkgs
Commit: 6db60676ac7b0459648f9409d80c0a9d021b96bb
https://github.com/NixOS/nixpkgs/commit/6db60676ac7b0459648f9409d80c0a9d021b96bb
Author: Frederik Rietdijk
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 64f7b415be4d65ef8056d8141e298d088e4c1a89
https://github.com/NixOS/nixpkgs/commit/64f7b415be4d65ef8056d8141e298d088e4c1a89
Author: Andrew Abbott
Date: 2016-10-05 (Wed, 05 Oct
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 23913912c387607d74e473b7a67ee85c78676e99
https://github.com/NixOS/nixpkgs/commit/23913912c387607d74e473b7a67ee85c78676e99
Author: Profpatsch
Date: 2016-10-04 (Tue, 04 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 4e91e8cb3d7947d37738486453c7d7875eaadc80
https://github.com/NixOS/nixpkgs/commit/4e91e8cb3d7947d37738486453c7d7875eaadc80
Author: Alexander Ried
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: 2bed2b568ed3e38ac3231bd1820803ae252396af
https://github.com/NixOS/nixpkgs/commit/2bed2b568ed3e38ac3231bd1820803ae252396af
Author: Franz Pletz
Date: 2016-10-05 (Wed, 05
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 7e9a2c345be641c0aea4b235a43c35541f8efbb6
https://github.com/NixOS/nixpkgs/commit/7e9a2c345be641c0aea4b235a43c35541f8efbb6
Author: Franz Pletz
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/python-wip
Home: https://github.com/NixOS/nixpkgs
Commit: 0abc704b6a6f3d32129763841eff31eea12c189a
https://github.com/NixOS/nixpkgs/commit/0abc704b6a6f3d32129763841eff31eea12c189a
Author: Frederik Rietdijk
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 74e52576e0f8f230e2fe79ef7b77eeddcf8a58e8
https://github.com/NixOS/nixpkgs/commit/74e52576e0f8f230e2fe79ef7b77eeddcf8a58e8
Author: Lancelot SIX
Date: 2016-10-05 (Wed, 05 Oct
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: f94072196dfa4da3e23e8b65e67c38792013d19e
https://github.com/NixOS/nixpkgs/commit/f94072196dfa4da3e23e8b65e67c38792013d19e
Author: Philip Potter
Date: 2016-10-05 (Wed, 05 Oct
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 0a0347c589b5f6b752037c2b770b83ed7b2ab72d
https://github.com/NixOS/nixpkgs/commit/0a0347c589b5f6b752037c2b770b83ed7b2ab72d
Author: Alexander Ried
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/python-wip
Home: https://github.com/NixOS/nixpkgs
Commit: fdad18aa87ed00d1e1214e6a3f85db2f47fdfda5
https://github.com/NixOS/nixpkgs/commit/fdad18aa87ed00d1e1214e6a3f85db2f47fdfda5
Author: Frederik Rietdijk
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/release-16.09
Home: https://github.com/NixOS/nixpkgs
Commit: a65c90ba4329f3e3dc878eeb2e2716eee23b3230
https://github.com/NixOS/nixpkgs/commit/a65c90ba4329f3e3dc878eeb2e2716eee23b3230
Author: Lluís Batlle i Rossell
Date: 2016-10-05 (Wed, 05
Thanks for the help guys, now I have a working solution using
nix-shell. However I wonder why using nix-shell is necessary for Coq
(coqtop, coqc etc.) to have access to installed libraries?
On Wed, Oct 5, 2016 at 12:00 AM, Tomasz Czyż wrote:
> how did you install it?
I
Branch: refs/heads/python-wip
Home: https://github.com/NixOS/nixpkgs
Commit: 04314a36f9143ca0087927cc94ffad5b026c5990
https://github.com/NixOS/nixpkgs/commit/04314a36f9143ca0087927cc94ffad5b026c5990
Author: Frederik Rietdijk
Date: 2016-10-05 (Wed, 05 Oct 2016)
Hello Tomasz,
On Mon, Oct 03, 2016 at 09:33:24AM +0100, Tomasz Czyż wrote:
> By looking at errors you pasted I assume you are not using proper
> configuration or default configuration is used when you don't provide any.
> And by default probably paths are set to /var/lib which is writeable only
>
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 4e576faa1ce004bb61b778dce71944cfb52f940c
https://github.com/NixOS/nixpkgs/commit/4e576faa1ce004bb61b778dce71944cfb52f940c
Author: Peter Simons
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 3e646865f4eb5216117dc49f3c9fb4a02ad2313b
https://github.com/NixOS/nixpkgs/commit/3e646865f4eb5216117dc49f3c9fb4a02ad2313b
Author: Kirill Boltaev
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 717fbc2ad0b6d66de445f1cf8bf7bae32f946f85
https://github.com/NixOS/nixpkgs/commit/717fbc2ad0b6d66de445f1cf8bf7bae32f946f85
Author: Andrew Abbott
Date: 2016-10-05 (Wed, 05 Oct
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: 5f0edde4b11d2400524984181ce6a62816bb0ec4
https://github.com/NixOS/nixpkgs/commit/5f0edde4b11d2400524984181ce6a62816bb0ec4
Author: Gleb Peregud
Date: 2016-10-05 (Wed, 05 Oct 2016)
Branch: refs/heads/master
Home: https://github.com/NixOS/nixpkgs
Commit: eda85e161fa4e2474160d968d302d5c0c37eb339
https://github.com/NixOS/nixpkgs/commit/eda85e161fa4e2474160d968d302d5c0c37eb339
Author: Maciek Starzyk
Date: 2016-10-03 (Mon, 03 Oct 2016)
60 matches
Mail list logo