Commit graph

6575 commits

Author SHA1 Message Date
Vladimír Čunát 4241e30874 Merge pull request #2719 from wizeman/u/transmission-upd
transmission: Update from 2.82 -> 2.83 + fixes
2014-05-22 21:11:34 +02:00
Ricardo M. Correia 5255e5692e flashplayer: Update from 11.2.202.356 -> 11.2.202.359 2014-05-22 20:15:29 +02:00
Ricardo M. Correia 68d93de10c chromium: Update stable channel from 34.0.1847.132 -> 35.0.1916.114 2014-05-22 20:10:10 +02:00
Ricardo M. Correia f9daf50214 transmission: Fix compilation due to missing systemd dependency 2014-05-22 19:46:07 +02:00
Ricardo M. Correia 1ab0cd1242 transmission: Update from 2.82 -> 2.83 2014-05-22 19:46:07 +02:00
Rob Vermaas 5abc5dea27 lynx: update from 2.8.7 to 2.8.8 2014-05-22 12:57:17 +02:00
Eelco Dolstra 1e6c82825a gimp: Fix download URL 2014-05-22 12:11:52 +02:00
Peter Simons 8de29ff4e1 haskell-git-annex: update to version 5.20140517 2014-05-21 23:04:30 +02:00
Peter Simons 6eeb989a35 xmobar: re-generate with cabal2nix 2014-05-21 16:12:06 +02:00
Eelco Dolstra 4844969689 blender: Make JACK support optional. 2014-05-19 21:47:11 +02:00
Eelco Dolstra 8b89cba9c6 firefox: Update to 29.0.1 2014-05-19 16:04:46 +02:00
Austin Seipp 3d32e49058 btsync: fix my stupidity
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-18 16:33:33 -05:00
Austin Seipp de96d25294 qemu: 1.7.1 -> 2.0.0
The patch for CVE-2014-0150 is still required.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-18 15:52:44 -05:00
Austin Seipp 7fbe238a49 btsync: 1.3.93 -> 1.3.94
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-18 15:28:50 -05:00
Benno Fünfstück 8b6300822b virtualbox: update 4.3.10 -> 4.3.12
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-18 08:33:25 -05:00
Austin Seipp 7d16157c87 Merge pull request #2478 from Fuuzetsu/cantata
cantata: create version 1.3.4
2014-05-18 08:25:27 -05:00
Austin Seipp b9cdc8be1f Merge pull request #2683 from robberer/bump/keepnote
keepnote: update to version 0.7.8
2014-05-18 07:46:33 -05:00
Robert Stark 53ab15b560 keepnote: update to version 0.7.8 2014-05-18 13:43:21 +02:00
Vladimír Čunát 8e9ead8656 berlios.de probably shut down, replace it
The shutdown was announced years ago, only now it stopped working.
2014-05-18 13:30:27 +02:00
Austin Seipp aae821493d Revert "virtualbox: update 4.3.10 -> 4.3.12"
This reverts commit a0ae412a10.

It snuck by me in #2677. I'll test it more first.
2014-05-17 16:45:58 -05:00
Austin Seipp 9d2a85badb Merge pull request #2677 from bennofs/xmobar-mpd
haskell-xmobar: build with mpd support
2014-05-17 16:45:03 -05:00
Austin Seipp a0c6f07be4 Merge pull request #2604 from wkennington/master.notbit
notbit: Bump version and add more configuration options
2014-05-17 16:44:27 -05:00
Austin Seipp 3c8e1a9e47 Merge pull request #2680 from ellis/libR.so
R: install lib/libR.so for use by other programs such as RStudio
2014-05-17 16:41:42 -05:00
Austin Seipp 453f93cc92 Merge pull request #2514 from jwiegley/coq
Make Coq buildable on any Unix
2014-05-17 14:49:57 -05:00
Ellis Whitehead a257d14925 R: install lib/libR.so for use by other programs such as RStudio 2014-05-17 21:35:02 +02:00
Austin Seipp 552db25e7f nixpkgs: add abc version 040509
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-17 14:09:09 -05:00
Benno Fünfstück a7b67d93c1 haskell-xmobar: build with mpd support 2014-05-17 21:00:28 +02:00
Kirill Elagin d15c34f677 zathura: mupdf plugin 2014-05-17 16:46:20 +04:00
Kirill Elagin a422c021b6 mupdf: build a shared library instead 2014-05-17 16:14:42 +04:00
Kirill Elagin fec634c25a mupdf: build with -fpic 2014-05-17 16:14:07 +04:00
Peter Simons e2d1b8c60b leksah: remove broken package 2014-05-17 12:56:52 +02:00
Benno Fünfstück a0ae412a10 virtualbox: update 4.3.10 -> 4.3.12 2014-05-17 12:28:33 +02:00
Vladimír Čunát f77e2dcb38 mupdf: fix patch hash by fetchpatch
Thanks to @kirelagin for reporting on IRC.
2014-05-17 12:15:41 +02:00
Bjørn Forsman b8ca39e2f2 cgit: improve a comment 2014-05-17 11:01:57 +02:00
Vladimír Čunát 137eae0b55 Merge #2630: add and use fetchpatch
fetchpatch is fetchurl that determinizes the patch.
Some parts of generated patches change from time to time, e.g. see #1983 and
http://comments.gmane.org/gmane.linux.distributions.nixos/12815
Using fetchpatch should prevent the hash from changing.

Conflicts (auto-solved):
	pkgs/development/libraries/haskell/gitit/default.nix
2014-05-17 07:31:03 +02:00
Vladimír Čunát 4ac818601e blender: fix build and minor update to 2.70a
It seems it needs to explicitly know python version in case of 3.4.
2014-05-16 22:55:55 +02:00
Rob Vermaas 1fb624c17c Merge pull request #2662 from wkennington/master.mumble
mumble: Update 1.2.5 -> 1.2.6
2014-05-16 09:15:14 +02:00
Rob Vermaas 41b6eb3c2d Merge pull request #2655 from hrdinka/syncthing
syncthing: update to version 0.8.5
2014-05-16 09:10:23 +02:00
William A. Kennington III 4eee3b66bc mumble: Update 1.2.5 -> 1.2.6 2014-05-15 15:08:39 -05:00
Georges Dubus 658c136615 add Posterazor (close #2538)
@vcunat patched for newer gcc.
2014-05-15 21:32:21 +02:00
Jordan Patterson 4b668bb554 rxvt-unicode: update to 9.20, fixing CVE-2014-3121 (close #2649) 2014-05-15 20:57:57 +02:00
Linquize 10fa1bcf66 git: Update to 1.9.3 2014-05-15 16:15:09 +02:00
Christoph Hrdinka 8fbe635fa6 syncthing: update to version 0.8.5 2014-05-15 13:37:24 +02:00
Jason "Don" O'Conal 4debe3c927 weechat: do not hard code python prefix 2014-05-15 08:27:40 +10:00
Jason "Don" O'Conal 1048dbc33c weechatDevel: update to latest 2014-05-15 08:26:33 +10:00
AndersonTorres 2e950bd72e 8086tiny: update to 1.25
Locally build BIOS support
2014-05-14 22:40:09 +02:00
Benjamin Podszun 2ce5162252 Bump virt-viewer to 0.6.0, from the 2009 version 2014-05-14 22:24:01 +02:00
Austin Seipp 349b5f1397 Merge pull request #2646 from evolarium/awesome
Update Awesome WM to 3.5.5
2014-05-14 14:58:38 -05:00
Austin Seipp aaf7f570c1 Merge pull request #2438 from falsifian/gnunet_deps
fix GNUnet missing dependencies
2014-05-14 14:56:25 -05:00
Jordan Patterson 26f2d67a65 Update Awesome WM to 3.5.5
Fix LGI test
Prefix LD_LIBRARY_PATH instead of clobbering it
2014-05-14 12:25:26 -06:00
Peter Simons fd0f9e6fc1 Re-write the Haskell Platform out of haskell-defaults.nix.
1) Packages formerly called haskell-haskell-platform-ghcXYZ-VVVV.X.Y.Z are
    now called haskell-platform-VVVV.X.Y.Z. The latest version can be
    installed by running "nix-env -i haskell-platform".

 2) The attributes haskellPackages_ghcXYZ.haskellPlatform no longer exist.
    Instead, we have attributes like haskellPlatformPackages."2012_4_0_0".
    (The last numeric bit must be quoted when used in a Nix file, but not on
    the command line to nix-env, nix-build, etc.) The latest Platform has a
    top-level alias called simply haskellPlatform.

 3) The haskellPackages_ghcXYZ package sets offer the latest version of every
    library that GHC x.y.z can compile. For example, if 2.7 is the latest
    version of QuickCheck and if GHC 7.0.4 can compile that version, then
    haskellPackages_ghc704.QuickCheck refers to version 2.7.

 4) All intermediate GHC releases were dropped from all-packages.nix to
    simplify our configuration. What remains is a haskellPackages_ghcXYZ set
    for the latest version of every major release branch, i.e. GHC 6.10.4,
    6.12.3, 7.0.4, 7.2.2, 7.4.2, 7.6.3, 7.8.2, and 7.9.x (HEAD snapshot).

 5) The ghcXYZPrefs functions in haskell-defaults.nix now inherit overrides
    from newer to older compilers, i.e. an override configured for GHC 7.0.4
    will automatically apply to GHC 6.12.3 and 6.10.4, too. This change has
    reduced the redundancy in those configuration functions. The downside is
    that overriding an attribute for only one particular GHC version has become
    more difficult. In practice, this case doesn't occur much, though.

 6) The 'cabal' builder has a brand-new argument called 'extension'. That
    function is "self : super : {}" by default and users can override it to
    mess with the attribute set passed to cabal.mkDerivation. An example use
    would be the definition of darcs in all-packages.nix:

    | darcs = haskellPackages.darcs.override {
    |   cabal = haskellPackages.cabal.override {
    |     extension = self : super : {
    |       isLibrary = false;
    |       configureFlags = "-f-library " + super.configureFlags or "";
    |     };
    |   };
    | };

    In this case, extension disables building the library part of the package
    to give us an executable-only version that has no dependencies on GHC or
    any other Haskell packages.

    The 'self' argument refers to the final version of the attribute set and
    'super' refers to the original attribute set.

Note that ...

 - Haskell Platform packages always provide the Haddock binary that came with
   the compiler.

 - Haskell Platform 2009.2.0.2 is broken because of build failures in cgi and
   cabal-install.

 - Haskell Platform 2010.1.0.0 is broken becasue of build failures in cgi.
2014-05-14 14:59:52 +02:00
Jason "Don" O'Conal 1c1ce3868b weechat: support notification_center.py script 2014-05-14 14:46:39 +10:00
Jason "Don" O'Conal 1e752993db weechat: fix build on darwin 2014-05-14 11:31:43 +10:00
Austin Seipp 21cb0c9bbb Merge pull request #2621 from CodeBlock/fldigi
Package hamlib and fldigi; Bump perlPackages.ExtUtilsMakeMaker
2014-05-13 19:45:34 -05:00
Austin Seipp 738622282b Merge pull request #2622 from CodeBlock/minimodem
Add minimodem package
2014-05-13 19:43:52 -05:00
William A. Kennington III 10773e1917 notbit: Bump to git-faf0930 2014-05-13 16:38:12 -05:00
Vladimír Čunát 93e65a4d53 codeblocks: fix eval on non-linux, minor refactoring 2014-05-13 20:07:13 +02:00
Linquize 977248ba15 codeblocks: new package 13.12 (close #2533)
@vcunat: minor refactoring.
2014-05-13 12:59:19 +02:00
AndersonTorres 64948222ba Aegisub: update to 3.1.3 (close #2550)
New dependencies: icu, intltool, boost (default = 1.55), wxGTK 3.0
Fixes a bug on Boost detection
@vcunat: minor refactoring.
2014-05-13 12:28:47 +02:00
Rickard Nilsson dd592d7ef3 spotify: Fix missing src url for qt. Add missing dependencies. 2014-05-13 12:04:45 +02:00
lethalman e4361dfa02 Merge pull request #2624 from lethalman/uzbl
uzbl: Add gsettings_desktop_schemas as build input. Closes #2332
2014-05-13 12:03:26 +02:00
Russell O'Connor 5bbcebf2db Bump coq version to 8.4pl4. 2014-05-12 22:17:00 -04:00
Luca Bruno f63b1038e9 uzbl: Add gsettings_desktop_schemas as build input. Closes #2332 2014-05-12 10:32:46 +02:00
Ricky Elrod 6e2fe51190 Add minimodem package
Signed-off-by: Ricky Elrod <ricky@elrod.me>
2014-05-11 18:44:38 -04:00
Ricky Elrod 0c45c81812 Use name and pname to follow conventions
Signed-off-by: Ricky Elrod <ricky@elrod.me>
2014-05-11 18:17:12 -04:00
Ricky Elrod 913e340c9a Add fldigi package
Signed-off-by: Ricky Elrod <ricky@elrod.me>
2014-05-11 18:03:33 -04:00
Thomas Tuegel b4c8981064 sane: add mkSaneConfig 2014-05-11 14:01:07 -05:00
cillianderoiste 885a2d9c53 Merge pull request #2410 from pSub/potrace
Add potrace-1.11, a tool for tracing bitmaps
2014-05-11 14:46:12 +02:00
Cillian de Róiste 68325d8eae setbfree: build the GUI 2014-05-11 12:51:29 +02:00
cillianderoiste 7adc00b8bc Merge pull request #2484 from chexxor/feature/bump-docker-0.10.0
Bump docker version to 0.10.0
2014-05-11 10:33:43 +02:00
cillianderoiste ca5e65c4bd Merge pull request #2371 from iyzsong/herbstluftwm
herbstluftwm: update to 0.6.2
2014-05-11 10:31:14 +02:00
Bjørn Forsman cb7c920e24 virt-manager: add missing gsettings schema
Without this it'll complain and abort when clicking "Take Screenshot" or
"Browse Local" when creating a new VM and looking for an CD-ROM image to boot
from:

GLib-GIO-ERROR **: Settings schema 'org.gtk.Settings.FileChooser' is not installed
2014-05-11 01:03:27 +02:00
Mathijs Kwik 06c8438bd8 conkeror: upgrade to latest snapshot 2014-05-10 12:23:45 +02:00
Rob Vermaas c7b8dd8581 Merge pull request #2506 from ikervagyok/mutt
Updated to mutt-1.5.23
2014-05-09 15:15:02 +02:00
Pascal Wittmann 8b0d0e3601 Add potrace-1.11, a tool for tracing bitmaps 2014-05-09 14:23:00 +02:00
Emery Hemingway 265c489391 rsyncd: default read/write permissions should be nobody:nogroup 2014-05-09 13:31:52 +02:00
Mateusz Kowalczyk a9f85aa4e9 cantata: create version 1.3.4 2014-05-09 03:22:45 +02:00
Vladimír Čunát 08834b061c pidgin-sipe: fix build by updating
Also add platforms (linux).
2014-05-08 23:59:42 +02:00
Benjamin Podszun 0008a4b6c4 sylpheed: 3.2 (2012) -> 3.4.1 (2014) (close #2558)
vcunat fixed eval and tested it runs.
2014-05-08 23:35:51 +02:00
Benjamin Podszun 07a5187063 taskwarrior: bump to 2.3.0 (close #2567)
vcunat fixed the evaluation
2014-05-08 23:17:08 +02:00
Benjamin Podszun ae6a65e811 nixpkgs: Bump filezilla to 3.8.0 (close #2578) 2014-05-08 22:46:32 +02:00
Thomas Tuegel 3a9917bf18 zotero: version bump 4.0.19 -> 4.0.20 (close #2581) 2014-05-08 22:31:56 +02:00
Vladimír Čunát 84031981a5 dropbox-cli: use stable URL, version 1.6.2
Thanks to @darklajid for reporting and testing on IRC.
2014-05-08 17:00:16 +02:00
Eelco Dolstra 46b77d3bb4 fetchurl_gnome -> fetchurlGnome 2014-05-08 15:30:17 +02:00
Benjamin Podszun 313900d819 nixpkgs: Bump feh to 2.11 2014-05-08 13:15:09 +02:00
Peter Simons c61d607340 tkgate: rewrite expressions to get along without the broken 'libiconvOrLibc' attribute 2014-05-07 23:11:51 +02:00
Rob Vermaas 31428612c2 Upgrade rtmpdump and get_iplayer 2014-05-07 20:56:37 +02:00
宋文武 a819e8f4ef midori: fix build (close #2542) 2014-05-06 22:07:33 +02:00
Cillian de Róiste 7c2c5987d1 Add setBfree a DSP tonewheel organ emulator 2014-05-05 22:57:48 +02:00
Bjørn Forsman d2587a014f eclipse: add Eclipse IDE for C/C++ Developers 4.3.2 2014-05-05 22:39:37 +02:00
Edward Tjörnhammar ec2d52fca8 idea 13.1.1 -> 13.1.2 2014-05-05 21:30:25 +02:00
aszlig 3de5e16627
chromium: Fix userns sandbox patch for version 36.
This fixes build for version 36, which i accidentally broke in commit
f6e31fadd8.

The reason this happened, was that my Hydra didn't pick up the latest
commit and I actually tested and built the parent commit instead of the
update commit.

So, this commit is the real "builds fine, tested" for all channels.

Also, the sandbox client initalization has moved into
setuid_sandbox_client.cc, so we need to move the lookup of the
CHROMIUM_SANDBOX_BINARY_PATH environment variable there.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-05-05 20:45:54 +02:00
aszlig 4f3085d5f8
chromium/source: Propagate system attribute.
The system attribute was already there in the function head of the
shared update helper but it actually wasn't used and thus later the
import of <nixpkgs> was done using builtins.currentSystem instead of the
system attribute inherited from the source derivation.

Now we correctly propagate the attribute, so that even when running a
64bit kernel you can run a 32bit Chromium with binary plugins.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-05-05 20:45:53 +02:00
Peter Simons 409de114d2 Merge pull request #2511 from AndersonTorres/aegisub-update
Aegisub: update to version 3.1.3
2014-05-05 10:52:45 +02:00
John Wiegley 0a6b317071 Make Coq buildable on any Unix 2014-05-05 00:58:23 -05:00
AndersonTorres 14152efc5f Aegisub: update to version 3.1.3 2014-05-04 23:53:56 -03:00
Lengyel Balázs fed4f39c73 Updated to mutt-1.5.23 2014-05-05 00:21:31 +02:00
Peter Simons ef05fad51a R: don't restrict meta.platforms to Linux; other architectures should build fine 2014-05-04 22:04:44 +02:00
Peter Simons a9258080b1 R: don't install the "recommended packages"
These packages come with R, but if we install them as part of this build, then
we cannot update them without re-building R as well. Instead, we add those
packages to the R environment through the r-wrapper. This means that
recommended packages can be updated in cran-packgaes.nix, and those updates
have an effect on the installation without re-building R itself.
2014-05-04 21:12:34 +02:00
Domen Kožar a9a3cbfae3 xbmc: 12.3 -> 13.0
- add support for vaapi, bluray
- depend on gnutls
- by default enable pulseaudio
2014-05-04 18:04:22 +02:00
aszlig f6e31fadd8
chromium: Update all channels to latest versions.
With this commit, the following new upstream versions are introduced:

stable: 34.0.1847.116 -> 34.0.1847.132 (builds fine, tested)
beta:   35.0.1916.47  -> 35.0.1916.86  (builds fine, tested)
dev:    36.0.1941.0   -> 36.0.1964.2   (builds fine, tested)

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-05-04 14:50:07 +02:00
aszlig 17807c8b6c
chromium: Link against pulse instead of dlopen().
This fixes the issue of Chromium not being able to load the pulseaudio
librarp

We could also propagate the build inputs, but it would end up being the
same as just directoly linking against the library.

Thanks to @aristidb for noticing this in #2421:

https://github.com/NixOS/nixpkgs/pull/2421#issuecomment-42113656

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-05-04 14:50:07 +02:00
cillianderoiste c1181af456 Merge pull request #2397 from Fuuzetsu/mpv-0.3.8
Bump mpv to 0.3.8
2014-05-04 13:07:24 +02:00
Wout Mertens d93b1f80c0 Add Handbrake 0.9.9: DVD ripper
This packaging splices off the unfree faac library and forces handbrake
to use the (more recent/patched) versions of libraries in Nixpkgs.
Produces the CLI HandbrakeCLI and optionally the GTK+ version ghb.
2014-05-04 01:56:49 +02:00
Peter Simons f9f19ee938 haskell-xmonad-contrib: update to version 0.11.3 2014-05-03 20:03:30 +02:00
Alex Berg 47090c9bdc Bump docker version to 0.10.0. 2014-05-03 17:03:33 +02:00
Cillian de Róiste 849f6788ac darktable: update from 1.4.1 to 1.4.2 2014-05-03 15:16:12 +02:00
Vladimír Čunát 8c918bdc2c rsync: fix CVE-2014-2855 by upstream patch 2014-05-03 11:31:28 +02:00
Peter Simons 2b11ec44e8 haskell-hledger-irr: update to version 0.1.1.4 2014-05-03 10:53:21 +02:00
Michael Raskin 4c55ae8588 Update TPTP and make URL set robust to moving old versions to archive 2014-05-03 00:53:46 +04:00
Michael Raskin 87304674a6 Update JWM to an easily available version 2014-05-03 00:42:12 +04:00
Michael Raskin 6548fbfb28 Use the working source for GNU ARch 2014-05-03 00:20:08 +04:00
宋文武 cccaf8c091 midori: update from 0.5.7 to 0.5.8 2014-05-02 21:31:05 +02:00
taku0 af0139d7d4 Update thunderbird-bin to version 24.5.0 2014-05-02 21:21:29 +02:00
Austin Seipp 7d58646b08 z3/verifast: update license
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 19:09:24 -05:00
Peter Simons a77e380454 xmonad-contrib: patch to fix build with GHC 7.8.2 2014-05-01 22:28:13 +02:00
Peter Simons 4700996bc7 haskell-sloane: update to version 1.7.1 2014-05-01 21:57:03 +02:00
Emery Hemingway 3b1a171c05 qtbitcointrader: initial expression 2014-05-01 15:50:57 +02:00
Vladimír Čunát d4e1bd4aa6 libreoffice: fix build after mesa update
This is because it uses vanilla pkgconfig,
so it needs Reqires.private deps from mesa during configuration.
2014-05-01 13:08:05 +02:00
Peter Simons 0293dc9fbd Merge pull request #2357 from Chaddai/texstudio
Texstudio : advanced editor for LaTeX
2014-05-01 13:06:06 +02:00
Peter Simons b9921ab08a ledger-3.0.nix: cosmetic fix of syntax highlighting in Emacs 2014-05-01 12:58:30 +02:00
Peter Simons c10a424bdd ledger-2.6.3: rename the derivation to "ledger2" to allow installing
this version instead of ledger 3.x (which doesn't support reading
GNUCash files)

Discussed in <https://github.com/NixOS/nixpkgs/pull/2305>.
2014-05-01 12:56:45 +02:00
Austin Seipp 6d52463bd3 nixpkgs: add alt-ergo 0.95.2
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:42:31 -05:00
Austin Seipp 4ee4f76176 nixpkgs: add why3 0.83
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:39 -05:00
Austin Seipp d1a32414cd nixpkgs: add ltl2ba 1.1
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-01 02:30:34 -05:00
Moritz Ulrich 444538ca8f syncthing: Bump to 0.8.2.
Tested this in two containers running 0.7.1 before. Upgraded fine and
kept working without configuration changes.
2014-04-30 23:52:54 +02:00
Eelco Dolstra 8f5ebe495c chatzilla: Update to 0.9.90.1
Also, make it work with recent Firefoxes.
2014-04-30 17:02:12 +02:00
Eelco Dolstra 0ac20f0726 flashplayer: Update to 11.2.202.356
CVE-2014-0515
2014-04-30 15:52:43 +02:00
Thomas Tuegel 7896a84849 qvim: add lua support 2014-04-29 22:19:58 +02:00
Eelco Dolstra fe4bc3cc80 Fix evaluation error
http://hydra.nixos.org/build/10697257
2014-04-29 20:40:28 +02:00
Eelco Dolstra 1235f693ee firefox: Update to 29.0 2014-04-29 18:46:06 +02:00
Austin Seipp c8f82b4ee8 spark: 0.9.0 -> 0.9.1
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 10:34:28 -05:00
Chaddaï Fouché 600bd22f27 Adding myself as maintainer of texstudio 2014-04-29 16:49:21 +02:00
Chaddaï Fouché ce82a2d6d9 Cleaning up the description and fixing qt to qt4 2014-04-29 16:49:20 +02:00
Chaddaï Fouché ed3a809a3d Add the necessary preConfigure so that TeXstudio compile (find poppler-qt4.h) 2014-04-29 16:48:22 +02:00
Chaddaï Fouché 89595fbcea Creation of a new package for texstudio, an editor for LaTeX documents 2014-04-29 16:48:22 +02:00
Peter Simons 551cae1aa0 haskell-git-annex: update to version 5.20140421 2014-04-29 01:35:45 +02:00
Peter Simons 6c5d7a63ac haskell-sloane: update to version 1.7 2014-04-29 01:35:45 +02:00
Peter Simons 3f23727e09 haskell-arbtt: update to version 0.8 2014-04-29 01:35:45 +02:00
Peter Simons 1d7f7ad92f Merge pull request #2353 from jwiegley/sage
Add expression for sage
2014-04-28 22:46:27 +02:00
Peter Simons 3445df42a4 Merge pull request #2368 from Chaddai/texmaker
TeXmaker
2014-04-28 22:42:47 +02:00
Austin Seipp aaa0304a45 nixpkgs: verifast 13.11.14
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 13:46:27 -05:00
Eelco Dolstra 39faed1f2f qemu: Apply patch for CVE-2014-0150, CVE-2014-2894 2014-04-28 14:37:46 +02:00
Eelco Dolstra 0af5d11a6f qemu-image: Remove (obsolete) 2014-04-28 14:34:34 +02:00
James Cook c372dc74c2 gnunet: add libgnurl and GnuTLS as dependencies
libgnurl is essential for bootstrapping (needed to download a hostlist).
GnuTLS is needed by gnunet-gns-proxy.

Also sort dependencies alphabetically.
2014-04-27 22:50:59 -07:00
Austin Seipp 0f1f2115e9 hol_light: fix script, upgrade to r189
This also tweaks the version number to just use the SVN revision (rather
than date), since it's unambiguous and increasing anyway.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 13:31:36 -05:00
Austin Seipp da0c8f33ef nixpkgs: yices 2.2.1
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-27 13:05:40 -05:00
aszlig d8f8f31726
chromium: Fix desktop icon and duplicate entry.
This should fix the desktop icon location for both desktop entries (the
one from the Chromium derivation itself and the wrapper) and renames the
name of the file so that it gets overridden by the wrappers desktop item
so we don't end up having two of them.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-04-27 18:52:28 +02:00
Austin Seipp 9ef104cbad cryptol-mode: 0.1.0
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-26 12:51:08 -05:00
Peter Simons 06f59807e6 qfsm: update meta.platforms settings for the new logic 2014-04-26 15:54:52 +02:00