nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-12 00:33:10 +00:00
Code Issues Packages Projects Releases Wiki Activity
64,669 Commits 187 Branches 125 Tags 8.6 GiB
24bb5d1a94
Commit Graph

64669 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Austin Seipp
2dfb657b94 nixpkgs: picosat 936 -> 960, add myself as a maintainer 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-06-14 19:48:12 -05:00
Austin Seipp
44ef5a3ab0 cvc4: regenerate ./configure on rebuild 
Otherwise some absurd error from ./configure crops up.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-06-14 19:48:11 -05:00
Austin Seipp
da76434dbd nixpkgs: yices 2.2.1 -> 2.3.1, now with source 
It's still under a non-commercial license, but the source build is waay
better than the binary build. Can probably work on OS X too now.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-06-14 19:48:11 -05:00
Austin Seipp
3d181a3175 nixpkgs: abc-verifier 20150406 -> 20150614 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-06-14 19:48:11 -05:00
Austin Seipp
6cfc2caaeb nixpkgs/cvc4: touchups, add myself as maintainer 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-06-14 19:48:11 -05:00
Henry Till
faa90fad3f mr: update from 1.20141024 to 1.20150503 2015-06-14 22:54:31 +02:00
Mateusz Kowalczyk
b32a78a97a Merge pull request #8326 from Chattered/master 
Add Tales of Maj'eyal game.
 2015-06-14 21:53:36 +01:00
Mateusz Kowalczyk
2cee7610ba Merge pull request #8333 from titanous/bump-makemkv 
makemkv: 1.9.3 -> 1.9.4
 2015-06-14 21:47:54 +01:00
Eric Merritt
dcffd28527 ocp-build: upgrade to 1.99.9-beta 
This also allows ocp-build to build for ocaml 4.02 and greater
 2015-06-14 13:33:18 -07:00
Jonathan Rudenberg
853e87909f makemkv: 1.9.3 -> 1.9.4 2015-06-14 16:31:29 -04:00
Michael Raskin
d9354c6a2a Add xwinmosaic window switcher 2015-06-14 23:26:58 +03:00
Michael Raskin
649b0affe1 Adding Skippy-XD window switcher 2015-06-14 23:26:58 +03:00
Michael Raskin
a6d54b3fdd A comment about the license 2015-06-14 23:26:58 +03:00
Michael Raskin
14695867cb Add ratmen X11 menu generator 2015-06-14 23:26:58 +03:00
Pascal Wittmann
6a2fb8b856 Merge pull request #8330 from andrewrk/libebur128 
add libebur128 package
 2015-06-14 22:13:26 +02:00
Andrew Kelley
cf9e72369e add libebur128 package 2015-06-14 20:00:22 +00:00
Pascal Wittmann
4e0fb6578a strongswan: update from 5.2.1 to 5.3.2, fixes CVE-2015-4171 2015-06-14 21:44:18 +02:00
Jascha Geerds
a2841a6a2b Merge pull request #8279 from geerds/mailnag 
Add mailnag package
 2015-06-14 21:44:05 +02:00
Austin Seipp
1ee742b0ef nixpkgs: afl 1.80b -> 1.83b 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2015-06-14 14:28:00 -05:00
Pascal Wittmann
23393964bb intel-gpu-tools: update from 1.10 to 1.11 2015-06-14 21:24:24 +02:00
Vladimír Čunát
a9c3392836 bmon: fix build by including a proper header 2015-06-14 20:40:35 +02:00
Bjørn Forsman
903183d9e4 gtkglextmm: unbreak build 
* Add missing build inputs: pangox_compat, libXmu
* Add patch from debian to fix build with newer gtk
 2015-06-14 19:53:01 +02:00
Bjørn Forsman
74d5adcb4d nixos: move environment.{variables => sessionVariables}.MODULE_DIR 
This solves the problem that modprobe does not know about $MODULE_DIR
when run via sudo, and instead wrongly tries to read /lib/modules/:

  $ sudo strace -efile modprobe foo |& grep modules
  open("/lib/modules/3.14.37/modules.softdep", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
  open("/lib/modules/3.14.37/modules.dep.bin", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
  open("/lib/modules/3.14.37/modules.dep.bin", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)
  open("/lib/modules/3.14.37/modules.alias.bin", O_RDONLY|O_CLOEXEC) = -1 ENOENT (No such file or directory)

Without this patch, one would have to use sudo -E (preserves environment
vars). But that option is reserved for sudo users with extra rights
(SETENV), so it's not a solution.

environment.sessionVariables are set by PAM, so they are included in the
environment used by sudo.
 2015-06-14 18:56:58 +02:00
Phil Scott
279c426f05 Add Tales of Maj'eyal game. 2015-06-14 17:44:38 +01:00
Jascha Geerds
8ae4d0b1e1 Add mailnag package 2015-06-14 18:31:48 +02:00
Arseniy Seroka
c72bbc5b8e teamviewer: add option to accept license 2015-06-14 18:29:19 +03:00
Domen Kožar
a2deb7a2c9 Merge pull request #8322 from unaizalakain/master 
The user specified in the conf should run MPD
 2015-06-14 11:41:36 +02:00
Michael Raskin
5d5bb71567 Update PostgreSQL to latest point-releases 2015-06-14 11:37:33 +03:00
Michael Raskin
14e7d5440b Update Sysdig, adding new dependencies 2015-06-14 11:23:56 +03:00
Michael Raskin
f39c3ebf04 Update GlusterFS, adding new dependencies 2015-06-14 11:23:42 +03:00
Michael Raskin
2b35cccc5b Update dd_rescue and switch to bzip2 releases 2015-06-14 11:23:18 +03:00
Michael Raskin
000162daed Update FreeIPMI 2015-06-14 11:22:56 +03:00
Michael Raskin
9c726f502d Update getmail 2015-06-14 11:22:40 +03:00
Michael Raskin
de7c3eef17 Update Asymptote 2015-06-14 11:22:32 +03:00
Michael Raskin
ed145cb07f Update Nginx unstable 2015-06-14 11:22:23 +03:00
Michael Raskin
59126fb3f8 Update golly 2015-06-14 11:22:07 +03:00
Michael Raskin
dc84b5118e Update qpdfview 2015-06-14 11:21:55 +03:00
Michael Raskin
59cbed7a02 Update eudev 2015-06-14 11:21:44 +03:00
Michael Raskin
b32174dcc6 Update SlimerJS 2015-06-14 11:21:36 +03:00
Michael Raskin
2fe7bf8d55 Update CL-Launch 2015-06-14 11:21:27 +03:00
Dan Peebles
10e75453b2 Factor the NixOS channel building code out into its own file, so I can use it elsewhere 2015-06-13 21:55:29 -04:00
Dan Peebles
ebde5fd9d4 Use the right nix when doing things in our amazoninit 2015-06-13 21:26:50 -04:00
Robert Scott
6fa931421e add package for django-pipeline 2015-06-13 23:39:08 +02:00
Unai Zalakain
8811724ec9 The user specified in the conf should run MPD 2015-06-13 23:24:19 +02:00
Siarhei Zirukin
fc964a15cb mpg123: 1.19.0 -> 1.22.2 2015-06-13 23:24:13 +02:00
Arseniy Seroka
52f84a0400 Merge pull request #8320 from cwoac/mediatomb_interfaces 
Allow setting mediatomb interface
 2015-06-13 22:22:39 +02:00
Oliver Matthews
2434ee4aab Allow setting mediatomb interface 2015-06-13 15:16:28 +00:00
Thomas Tuegel
95b02f6459 kf510.kinit: fix library path 2015-06-13 10:12:13 -05:00
Thomas Tuegel
af6c270b6d pinentry: find moc when qt4 enabled 2015-06-13 10:12:13 -05:00
Thomas Tuegel
64a507bd9b plasma53.plasma-workspace: fix missing paths 2015-06-13 10:12:12 -05:00