Commit Graph

11861 Commits

Author SHA1 Message Date
Austin Seipp
e146a02d14 nixpkgs: Add cryptol2 expression
This is just a convenient shorthand so people don't have to spell out
haskellPackages.cryptol

Note that the top-level expression is named 'cryptol2' but the package
isn't. That's because Cryptol is a library and other things could depend
on it (hence the vanilla name), but also the full name will be
disambiguated as 'haskell-cryptol-ghc7.6.3' anyway.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-25 11:07:18 -05:00
Oliver Charles
282a662a32 Merge pull request #2392 from cstrahan/capnproto
capnproto: Add package
2014-04-25 17:06:20 +01:00
Charles Strahan
604a4b680c capnproto: Add package 2014-04-25 11:18:18 -04:00
Mihaly Barasz
8bb3f19c6b Add tz Haskell package 2014-04-25 16:21:50 +02:00
Mihaly Barasz
2d37f8ecf0 Add tzdata Haskell package 2014-04-25 16:21:50 +02:00
mornfall
abe9fb340e Merge pull request #2390 from ertes/ertes-haskell-jack
haskell: Added enumset and jack.
2014-04-25 14:28:13 +02:00
Shea Levy
e85b164df8 Add php 5.3 variant with fpm support 2014-04-25 08:19:45 -04:00
Ertugrul Söylemez
a3a2222fec haskell: Added enumset 0.0.4 and jack 0.7.0.2. 2014-04-25 14:03:57 +02:00
Oliver Charles
5de0ca50d7 Merge pull request #2389 from bennofs/haskell-ghc-gc-tune
haskell-ghc-gc-tune: new expression
2014-04-25 12:12:57 +01:00
Austin Seipp
5401849e3a cryptol v2.0.0
This comes with several extra libraries, including GraphSCC, monadLib,
presburger, process and smtLib, all required as build dependencies. But
otherwise totally automated via cabal2nix.

Next up is CVC4 (a total pain in the ass to package) for proving/SAT
support.

I have another WIP branch for the unfree 1.x series which I may (or may
not) add later as it has external verification tech at the moment.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-25 05:42:00 -05:00
Benno Fünfstück
027319708e haskell-ghc-gc-tune: new expression 2014-04-25 12:33:07 +02:00
aszlig
33eced411f
python-django: Update to 1.4.11, 1.5.6 and 1.6.3.
This fixes CVE-2014-0472, details can be found at:

http://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2014-0472
https://www.djangoproject.com/weblog/2014/apr/21/security/

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
(cherry picked from commit 4a0c468043)
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-04-25 12:30:23 +02:00
Oliver Charles
cb82334421 Merge pull request #2336 from jwiegley/cabal
Add expression for cabal-install 1.20.0.0
2014-04-25 10:55:12 +01:00
Rob Vermaas
477b9a9bbb Merge pull request #2363 from wizeman/u/nethogs
nethogs: Add package
2014-04-25 11:34:22 +02:00
Oliver Charles
954bc3131e haskellPackages.wreq: New expression 2014-04-25 10:33:23 +01:00
Oliver Charles
2fde59d20f Merge pull request #2356 from hrdinka/haskell-msgpack
haskell-msgpack: add version 0.7.2.5
2014-04-25 10:31:45 +01:00
Oliver Charles
4ccda3324f Merge pull request #2369 from fmap/master
New package: lists and its dependency, list-extras (Haskell.)
2014-04-25 10:18:57 +01:00
Shea Levy
c7f2d87a56 Add haskell-http-kit 2014-04-24 13:06:01 -04:00
Eelco Dolstra
d304b277bd Silence some Hydra evaluation warnings 2014-04-24 15:40:55 +02:00
Rickard Nilsson
7336218a9e postfix: Add version 2.11.0 as nixpkgs.postfix211
I think this version should replace the current nixpkgs.postfix,
but it could potentially break stuff since the version jump is
big (2.8 -> 2.11).
2014-04-24 11:56:54 +02:00
vi
a16098995a New package: lists and its dependency, list-extras (Haskell.) 2014-04-24 17:41:40 +08:00
Chaddaï Fouché
31b58dccfe Added TeXmaker package : an advanced editor for latex 2014-04-24 10:59:29 +02:00
Mathijs Kwik
1a877418d4 node-packages: upgrade all generated expressions 2014-04-24 08:05:44 +02:00
Ricardo M. Correia
347db30cb8 nethogs: Add package
nethogs is a small 'net top' tool, grouping bandwidth by process.
2014-04-23 17:54:04 +02:00
Shea Levy
a3b1f48c5d Add gcc-4.9.0 2014-04-23 10:45:00 -04:00
Christoph Hrdinka
6b1d20abe8 haskell-msgpack: add version 0.7.2.5 2014-04-23 10:06:19 +02:00
Ricardo M. Correia
419a71e1e5 spl, zfs: Add git versions, based on recent commits
Upstream has not been tagging new versions for a long time, but we need
compatibility with newer kernels. The 0.6.2 versions already have a bunch of
backported compatibility patches, but 3.14 kernels need even more.

Also, the git versions have fixed a bunch of crashes and other bugs, so perhaps
we should just bite the bullet and just use recent git versions (as sometimes
upstream recommends, when people run into bugs).

This adds a new "boot.zfs.useGit" boolean option, so that a user can
easily opt into using the git versions.
2014-04-23 01:42:52 +02:00
John Wiegley
7ce39b067a Add expression for sage 2014-04-22 14:10:36 -05:00
aszlig
52769d5c17
perl-dbix-class: Fix tests with newer SQLite.
Our version of SQLite causes the tests to fail, so I'm hereby adding a
patch from dbsrgits/dbix-class@ed5550d36 with the hunk for the Changes
file dropped.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-04-22 16:27:28 +02:00
Eelco Dolstra
19e9d25e8f Remove KDE 4.11 2014-04-21 18:13:17 +02:00
Eelco Dolstra
ee798c5c0f Use KDE 4.12 2014-04-21 18:13:17 +02:00
aszlig
625d7b9043
Merge pull request #1928 from 'cross-win-osx'.
This includes a lot of fixes for cross-building to Windows and Mac OS X
and could possibly fix things even for non-cross-builds, like for
example OpenSSL on Windows.

The main reason for merging this in 14.04 already is that we already
have runInWindowsVM in master and it doesn't work until we actually
cross-build Cygwin's setup binary as the upstream version is a fast
moving target which gets _overwritten_ on every new release.

Conflicts:
	pkgs/top-level/all-packages.nix
2014-04-21 10:00:35 +02:00
aszlig
cdd1c9caa5
Merge branch 'chromium-refactor', closes #1798.
This implements some longstanding work of getting the Chromium
derivation more modular. Unfortunately, I didn't manage to decrease the
compile time, which was one of the primary goal for doing the refactor.
A main reason this didn't work out well was the fact that most bundled
libraries are so heavily patched that it's not possible within a limited
time frame to decouple it from the main derivation.

However, it should now be easier to build other derivations that build
upon Chromium, like libcef. Also, it finally adds support for the
non-free PepperAPI Flash and PDF plugins and support for fetching the
corresponding versions through the updater.
2014-04-21 09:50:50 +02:00
Shea Levy
5701e4e15a Add buildLocalCabalWithArgs for providing extra arguments to callPackage 2014-04-20 22:57:03 -04:00
Rickard Nilsson
6b634673f9 Add remarkjs 0.6.4, a markdown-driven slideshow tool
Also, add required node packages (and update generated node pkgs).
2014-04-21 01:27:23 +02:00
John Wiegley
a07455dd16 Add expression for cabal-install 1.20.0.0 2014-04-20 14:04:41 -05:00
AndersonTorres
31a94915d2 mpv: minor updates and cleanup
E.g. parameterize lua.
2014-04-20 19:46:21 +02:00
Eelco Dolstra
4e8c2f0ff9 Merge branch 'systemd-update' 2014-04-20 19:31:01 +02:00
Eelco Dolstra
a0c0dfb647 Revert accidental change 2014-04-20 19:29:53 +02:00
Matt Whiteley
552d66cd9e Add swig-3.x 2014-04-20 11:30:31 +01:00
Eelco Dolstra
c95cea4bfd Tarball: Check whether Nixpkgs evaluation doesn't depend on its path 2014-04-20 00:08:52 +02:00
Eelco Dolstra
5c2bd5dffc Remove obsolete line 2014-04-20 00:08:52 +02:00
Eelco Dolstra
0a256cc0ee Firewall: Only start if we have CAP_NET_ADMIN 2014-04-19 23:02:59 +02:00
John Wiegley
1337f5f84c Do not build CUPS support for ghostscript on Darwin 2014-04-19 14:22:35 +01:00
John Wiegley
599c2775dd Add expression for xml-lens 2014-04-19 11:21:15 +01:00
AndersonTorres
cf8459fecf Dillo: new package
Dillo is a lightweight, fast web browser.
2014-04-19 11:08:39 +01:00
Roelof Wobben
a6a90cad1b new package: muffin 2014-04-19 10:39:30 +01:00
Domen Kožar
85992ec738 Merge pull request #1507 from offlinehacker/pkgs/node_webkit/add
Add node-webkit, app runtime based on Chromium and node.js
2014-04-19 05:35:20 +02:00
aszlig
4c8ec5e12e
v8: Bring back old version 3.14.
The current version of v8 breaks builds of nodejs, mongodb and
rethinkdb. So let's bring back the old package with annoying _3_14
version suffix so hopefully the corresponding maintainers will get rid
of that dependency :-)

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-04-19 03:58:44 +02:00
aszlig
88a939c2d1
chromium: Decouple browser from default.nix.
This currently only passes through the arguments and is nothing more
than the foundation of the new structure. In essence, I want to have a
really small default.nix which is then going down into the respective
subparts that are isolated from each other.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-04-19 03:58:41 +02:00
aszlig
33acfbe917
minizip: New package based on zlib derivation.
This is needed by Chromium and is part of the zlib source tree in
contrib/, so let's propagate the version of zlib and use the same source
tree.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-04-19 03:58:40 +02:00
Michael Raskin
f45bcfb5e9 Merge pull request #2298 from jwiegley/hfsevents
Add hfsevents expression, and make fsnotify use it on darwin
2014-04-18 10:42:16 -07:00
Michael Raskin
b4b62ef776 Merge pull request #2314 from iyzsong/kakasi
add kakasi, a Kanji to Hiragana, Katakana or Romaji converter
2014-04-18 10:31:48 -07:00
Michael Raskin
97a3a803e1 Merge pull request #2313 from 1126/master
Adding pamixer.
2014-04-18 10:31:25 -07:00
Michael Raskin
b1fad4ab9b Merge pull request #2279 from kowey/master
megam: New package
2014-04-18 10:19:44 -07:00
Michael Raskin
07053c040a Merge pull request #2271 from lethalman/apparix
apparix: new package
2014-04-18 10:17:44 -07:00
Michael Raskin
6cdce9deec Merge pull request #2220 from taku0/thunderbird-bin-24.0.0
add thunderbird-bin: the binary package for Thunderbird mail client
2014-04-18 10:16:35 -07:00
Michael Raskin
d31cf5329e Merge pull request #2075 from iyzsong/webkit
get rid of old webkit packages
2014-04-18 10:10:29 -07:00
Michael Raskin
1fbba069fd Merge pull request #2241 from roelof1967/master
new package: cinnamon-control-center
2014-04-18 10:06:49 -07:00
_1126
25f7565657 Merge branch 'pamixer' 2014-04-18 16:09:50 +02:00
_1126
96257ea486 Adding pamixer. 2014-04-18 16:09:34 +02:00
宋文武
c796adfd65 add kakasi, a Kanji to Hiragana, Katakana or Romaji converter 2014-04-18 22:07:17 +08:00
Eelco Dolstra
da774bced5 Remove dhcpcd_without_udev attribute 2014-04-18 15:36:06 +02:00
Sander van der Burg
104c841c85 Move su to the base packages of chrootenv builder 2014-04-18 13:30:24 +02:00
Rok Garbas
7aa3790f34 adding development version of weechat (alongside stable) 2014-04-17 22:22:54 +01:00
Mathijs Kwik
8ca0bbe1a9 bedup: fix hash 2014-04-17 17:48:43 +02:00
Mathijs Kwik
28b3318a04 bedup: fix public github url 2014-04-17 09:08:33 +02:00
John Wiegley
0556bc0fcb Add hfsevents expression, and make fsnotify use it on darwin 2014-04-16 16:43:32 -05:00
John Wiegley
df56712700 The timeparsers library requires convertible == 1.0.* 2014-04-16 13:09:31 -05:00
Eelco Dolstra
5e16621afc IO::Socket::SSL: Update to 1.981
Required by "git send-email".
2014-04-16 18:43:39 +02:00
Domen Kožar
3a9f28ee08 Merge pull request #2185 from lethalman/gnome3
tracker, licenses.cc-by-30, gnome-user-docs, upgrade sushi, gnome-keyring service, gnome-user-share, gnome-tweak-tool, gnome-shell-extensions, xdg-user-dirs
2014-04-16 18:08:00 +02:00
Eelco Dolstra
c13d582c78 Make dbus overridable 2014-04-16 16:44:27 +02:00
Luca Bruno
92a831a4ec xdg-user-dirs: new package
A tool to help manage well known user directories
like the desktop folder and the music folder

http://freedesktop.org/wiki/Software/xdg-user-dirs
2014-04-16 15:02:27 +02:00
Michael Raskin
f44a3235a9 Use IcedTea for VUE, not Oracle JRE 2014-04-16 14:47:33 +04:00
Lluís Batlle i Rossell
44bda71b88 Adding ghdl 0.31 mcode flavour
This allows having a recent ghdl, without building it with gcc.
The major drawback is the speed.
2014-04-16 10:35:45 +02:00
Peter Simons
d4097e4e0e Merge pull request #2273 from jwiegley/cabal-delete
Add expression for cabal-delete
2014-04-16 10:17:29 +02:00
William A. Kennington III
171a58bcd6 cpupower: Add package to replace cpufrequtils 2014-04-16 01:09:57 +02:00
Eelco Dolstra
ee9c068b0c systemd: Update to 212
Note that systemd no longer depends on dbus, so we're rid of the
cyclic dependency problem between systemd and dbus.

This commit incorporates from wkennington's systemd branch
(203dcff45002a63f6be75c65f1017021318cc839,
1f842558a95947261ece66f707bfa24faf5a9d88).
2014-04-16 00:59:26 +02:00
Eelco Dolstra
a37edbbb63 linux-headers: Add 3.14 2014-04-15 16:59:19 +02:00
Eelco Dolstra
0fc9f65ff2 linux-headers-2.6.28: Remove, no longer used 2014-04-15 16:50:29 +02:00
Peter Simons
e572b5c104 Merge pull request #2253 from jwiegley/watch
Add a recipe for installing "watch" from procps (#2227)
2014-04-15 16:12:27 +02:00
Shea Levy
f0d7c3841e Update node packages, add pure-css 2014-04-15 09:26:58 -04:00
Eric Kow
9e457049e4 megam: New package
Maximum Entropy (GA) Model Optimization Package
2014-04-15 14:00:56 +01:00
Oliver Charles
253f83ea2d Merge pull request #2275 from jwiegley/haskell-utils
Three new Haskell tools: rehoo, una, cabal-meta
2014-04-15 12:38:14 +01:00
Eelco Dolstra
9646ddc5a3 Archive::Cpio: Add to channel 2014-04-15 12:49:25 +02:00
John Wiegley
f2690384c9 Three new Haskell tools: rehoo, una, cabal-meta 2014-04-15 04:32:06 -05:00
John Wiegley
00d5f3ab79 Add expression for cabal-delete 2014-04-15 04:16:55 -05:00
Lukas Toth
f5fa89f198 haskellPackages.Unixutils: New expression 2014-04-15 10:43:38 +02:00
Lukas Toth
66e750190f haskellPackages.bzlib: New expression 2014-04-15 10:43:38 +02:00
Lukas Toth
cf63d8953c haskellPackages.Extra: New expression 2014-04-15 10:43:38 +02:00
Lukas Toth
1ae0fec71b haskellPackages.ipprint: New expression 2014-04-15 10:43:38 +02:00
Luca Bruno
8decc8fc2f apparix: new package
Add directory bookmarks, distant listing, and distant editing to the command line

http://micans.org/apparix
2014-04-15 10:41:55 +02:00
Peter Simons
16e236b02e Merge pull request #2269 from jwiegley/leafnode
Add leafnode for unix systems
2014-04-15 10:26:04 +02:00
Oliver Charles
1c3b20e7cc Merge pull request #2268 from jwiegley/sizes
Add the Haskell system utility "sizes" (take two)
2014-04-15 08:56:22 +01:00
John Wiegley
8ee52f3856 Add leafnode for unix systems 2014-04-15 02:54:58 -05:00
John Wiegley
d5898b3733 Add the Haskell system utility "sizes" 2014-04-15 02:28:02 -05:00
Mathijs Kwik
5ab600ab00 add pythonPackages.bedup (btrfs deduplication tool) 2014-04-15 09:22:16 +02:00
Mathijs Kwik
1daddde5dd add pythonPackages.contextlib2 2014-04-15 09:22:16 +02:00
Austin Seipp
6376ac57d8 emacsPackages: add cryptol-mode
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-14 18:23:51 -05:00
John Wiegley
7a59054dce Add a recipe for installing "watch" from procps (#2227) 2014-04-14 09:10:10 -05:00