Petr Rockai
ed5bd26574
STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).
2014-01-25 16:33:12 +01:00
Petr Rockai
e3fae16a29
emacs: Allow non-GTK X11 builds (--with-x-toolkit=lucid).
2014-01-25 16:30:14 +01:00
Petr Rockai
251fc454ba
mpc: (mpd client) Update to 0.25.
2014-01-25 16:30:14 +01:00
Petr Rockai
28f0ec6540
linux-perf: Fix build (unportable shell hack broke).
2014-01-25 16:30:14 +01:00
Petr Rockai
3718a90806
haskell bytestring-progress: Disable haddock to avoid a build failure.
2014-01-25 16:30:14 +01:00
Vladimír Čunát
83b354e4f9
linuxHeaders: add meta, incl. platforms = linux;
...
Noted by @mornfall. The built package has ~5 MB uncompressed,
but just the Linux tarball has ~40 MB compressed...
2014-01-25 15:35:52 +01:00
Eelco Dolstra
07a3993e14
libreoffice: Fix path to Ant
2014-01-25 14:19:42 +01:00
Bjørn Forsman
958d6636a7
networkmanager: fix path to 'openconnect' binary
...
Without this the openconnect VPN plugin doesn't work:
NetworkManager[830]: <warn> VPN connection 'Foo VPN' failed to connect: 'Could not find openconnect binary.'.
2014-01-25 13:59:10 +01:00
Peter Simons
a1f7094b98
Merge pull request #1583 from MarcWeber/submit/drop-myhasktags
...
drop myhasktags, current hackage version has everything my version had
2014-01-25 04:24:12 -08:00
Bjørn Forsman
4d027a44f6
openconnect: update from 5.01 to 5.02 (CVE-2013-7098)
...
OpenConnect v5.02 - 2014-01-01:
* Fix XML POST issues with authgroups by falling back to old style login.
* Fix --cookie-on-stdin with cookies from ocserv.
* Fix reconnection to wrong host after redirect.
* Reduce limit of queued packets on DTLS socket, to fix VoIP latency.
* Fix Solaris build breakage due to missing <string.h> includes.
* Include path in <group-access> node.
* Include supporting CA certificates from PKCS#11 tokens (with GnuTLS 3.2.7+).
* Fix possible heap overflow if MTU is increased on reconnection (CVE-2013-7098).
2014-01-25 13:21:44 +01:00
mornfall
f732a2eaed
Merge pull request #1591 from ocharles/perlPackages.LWPUserAgentMockable
...
perlPackages.LWPUserAgentMockable: Disable tests
2014-01-25 03:58:06 -08:00
Oliver Charles
ee26cdd389
perlPackages.LWPUserAgentMockable: Disable tests
...
These tests need network connectivity, which isn't available in a
chroot'ed environment (at least, it's not available on Hydra build machines).
2014-01-25 11:56:02 +00:00
mornfall
5dfd396f18
Merge pull request #1590 from ocharles/perlPackages.HTMLFormHandler
...
perlPackages.HTMLFormHandler: Upgrade to 0.40055
2014-01-25 03:53:10 -08:00
Oliver Charles
0ff30b7925
perlPackages.HTMLFormHandler: Upgrade to 0.40055
2014-01-25 11:46:03 +00:00
mornfall
249859ba1f
Merge pull request #1589 from ocharles/haskellPackages.aridane
...
haskellPackages.ariadne: Fix dependencies to allow building
2014-01-25 03:41:00 -08:00
Oliver Charles
c3b4e87f25
haskellPackages.ariadne: Fix dependencies to allow building
2014-01-25 11:27:33 +00:00
Domen Kožar
e591cfbec2
Merge pull request #1585 from brodul/beep-1.3
...
Added beep 1.3
2014-01-25 03:24:16 -08:00
mornfall
1dd0e05866
Merge pull request #1587 from aristidb/master
...
support -Q in nixos-rebuild
2014-01-25 02:36:22 -08:00
Oliver Charles
8ab1160079
pythonPackages.tarsnapper: New expression
2014-01-25 10:30:35 +00:00
Aristid Breitkreuz
5d3d6b3799
support -Q in nixos-rebuild
2014-01-25 11:20:25 +01:00
Andraz Brodnik
47ac1f38cd
Added beep to top-level.
2014-01-25 10:35:02 +01:00
Andraz Brodnik
0121ee33d8
Add the beep-1.3.
2014-01-25 10:35:02 +01:00
Bjørn Forsman
c72ce740bc
cgal: expression cleanup
2014-01-25 10:19:04 +01:00
Bjørn Forsman
97352b1342
cgal: update from 3.9 to 4.3 (really)
...
The previous version bump didn't actually do anything; it changed the
version/url but didn't change the hash. For some reason the (new) URL
returned the same old package with the same old hash (or so it seems).
This time the package is really updated, as can be seen from the version
number in $cgal/include/CGAL/version.h.
This change unbreaks openscad.
2014-01-25 10:18:58 +01:00
Eelco Dolstra
458d0a92c9
junixsocket: Add
2014-01-25 03:04:46 +01:00
Eelco Dolstra
1b598da460
Drop unnecessary setting of java.home
2014-01-25 03:04:46 +01:00
Eelco Dolstra
981cac8e10
openjdk: Hackery to ensure that tools.jar is found
...
HotSpot uses the absolute path of libjvm.so to determine the java.home
property (ignoring $JAVA_HOME), which is in turn used by
ToolProvider.getSystemJavaCompiler() to load tools.jar. So we need to
do some trickery to ensure that if java gets invoked from the jdk
output (ratherthan the jre output), it finds libjvm.so in the jdk output.
2014-01-25 03:04:46 +01:00
Eelco Dolstra
e07ce3314d
Fix some "meta.licenses" attributes
2014-01-25 03:04:46 +01:00
Eelco Dolstra
a17b090f99
junit: Update to 4.11
2014-01-25 03:04:46 +01:00
Domen Kožar
29a29c6438
Merge pull request #1582 from ttuegel/networkmanager
...
networkmanager: load modules required for PPTP
2014-01-24 07:28:07 -08:00
Thomas Tuegel
7b743fcaab
networkmanager: load modules required for PPTP
2014-01-24 09:22:59 -06:00
Rob Vermaas
13e13f279b
Do not assume a .rev attribute in available in src in maven-build.nix
2014-01-24 15:52:31 +01:00
Domen Kožar
f2d6166781
python-libarchive: 3.0.4-5 -> 3.1.2-1
2014-01-24 14:33:41 +01:00
Domen Kožar
8a5c65abf4
mailpile: update dev version
2014-01-24 14:33:40 +01:00
Domen Kožar
c4cb65187e
i3: 4.6 -> 4.7.2
2014-01-24 14:33:40 +01:00
Domen Kožar
a5b054e18a
xfce4-screenshooter: add platforms.linux
2014-01-24 14:33:40 +01:00
Peter Simons
a86f119dfc
haskell-either: disable the documentation build on GHC 7.4.x or earlier
2014-01-24 00:58:50 +01:00
Domen Kožar
c30f725707
Merge pull request #1580 from NixOS/docs/README
...
add most basic README.md
2014-01-23 15:40:58 -08:00
Domen Kožar
b73b4bfd61
Update README.md
2014-01-24 00:08:00 +01:00
Domen Kožar
97b519a515
add most basic README.md
2014-01-24 00:07:05 +01:00
Peter Simons
6968277785
maude: build with bison 2.x; version 3.x causes compiler errors
2014-01-23 23:28:20 +01:00
Vladimír Čunát
12235ed36e
remove .topmsg ( close #1578 )
2014-01-23 22:30:07 +01:00
Vladimír Čunát
343cd5b1ef
midori: minor update 0.5.6 -> .7
2014-01-23 22:29:25 +01:00
Song Wenwu
04a55b5e14
webkitgtk: update to 2.2.4, enable html5 video support
2014-01-23 22:29:24 +01:00
Nixpkgs Monitor
7a211df849
wget: update from 1.14 to 1.15
2014-01-23 21:10:55 +02:00
Evgeny Egorochkin
862ac34bdd
wineUnstable: update from 1.7.10 to 1.7.11
2014-01-23 21:04:01 +02:00
Evgeny Egorochkin
f8f8e8d4d2
clamav: update from 0.98 to 0.98.1
2014-01-23 20:55:31 +02:00
Evgeny Egorochkin
f0081dcc02
youtubeDL: update from 2014.01.08 to 2014.01.20
2014-01-23 20:52:59 +02:00
Sander van der Burg
b25529a4ad
titaniumsdk: colored output makes a web server think that logs are in raw format. So disable it
2014-01-23 17:11:16 +01:00
Sander van der Burg
1a24278161
titaniumsdk: Add additional login simulation for the ipa target
2014-01-23 15:11:46 +01:00