Commit Graph

21543 Commits

Author SHA1 Message Date
John Wiegley
8dd9fd7b20 haskellPackages.intern: new expression 2015-01-02 15:32:21 -06:00
John Wiegley
f742da0a31 liquidhaskell: new expression 2015-01-02 15:29:01 -06:00
William A. Kennington III
ab18f1509a gperftools: 2.2.1 -> 2.3 2015-01-02 10:47:41 -08:00
William A. Kennington III
085f7e2d42 ldb: 1.1.18 -> 1.1.19 2015-01-02 10:43:55 -08:00
William A. Kennington III
a909b4f58a tdb: 1.3.3 -> 1.3.4 2015-01-02 10:43:55 -08:00
William A. Kennington III
9a56a86f5e libu2f-host: 0.0.1 -> 0.0.2 2015-01-02 10:43:54 -08:00
William A. Kennington III
ffee9f6a92 nss: Fix gentoo patch to specify library path in nss.pc 2015-01-02 00:24:49 -08:00
William A. Kennington III
c66cc0719f heimdal: Fix spacing 2015-01-02 00:24:49 -08:00
Vincent Laporte
0ed2a253f1 Adds hop 2.5.1
HOP is a multi-tier programming language for the Web 2.0 and the
so-called diffuse Web.

Homepage: http://hop.inria.fr/
2015-01-02 00:01:40 +01:00
Vincent Laporte
5d36f5831c bigloo: propagate gmp build input 2015-01-01 23:55:30 +01:00
Peter Simons
9b8ff2f5f2 Update Cabal to version 1.20.0.3 and cabal-install to version 1.20.0.6. 2015-01-01 23:07:41 +01:00
Peter Simons
493067d4bd haskell-HsOpenSSL: update to version 0.11.1 2015-01-01 23:07:41 +01:00
Peter Simons
90912aab74 haskell-HaTeX: update to version 3.16.0.0 2015-01-01 23:07:41 +01:00
Peter Simons
e30a2d6a0b haskell-webkitgtk3: re-generate with cabal2nix 2015-01-01 23:07:41 +01:00
Peter Simons
735436c0c1 elm-make: re-generate with cabal2nix 2015-01-01 23:07:41 +01:00
Peter Simons
37ae6de95d s6: don't depend on GNU Make 4.0
The website gives no indication that version 4.x is required to build
this package, and even it if were, then there should be an override in
all-packages.nix instead of referring to the 'gnumake40' attribute
directly in this expression.
2015-01-01 20:36:58 +01:00
Peter Simons
ac55bb22be gnumake: add version 4.1 2015-01-01 20:36:58 +01:00
Bjørn Forsman
e4dd2dcad4 libsigrok: install missing firmware files
Without this, hardware that requires firmware (e.g. Saleae Logic) is
unuseable.

Example error that this fixes:

  sr: ezusb: Unable to open firmware file /nix/store/rqgppsz3gwy8jailflf3049fzyzrgkdb-libsigrok-0.3.0/share/sigrok-firmware/fx2lafw-saleae-logic.fw for reading: No such file or directory
  sr: fx2lafw: Firmware upload failed for device 0.
2015-01-01 20:04:49 +01:00
Peter Simons
e0def54ca4 Merge pull request #5513 from k0ral/webkitgtk3
New haskell package: webkitgtk3
2015-01-01 19:50:16 +01:00
Peter Simons
0a0965f2ac elm-reactor: mark broken
http://hydra.cryp.to/build/297517/nixlog/2/raw
2015-01-01 18:15:50 +01:00
Peter Simons
f5f3c5b5f6 haskell-hask: mark broken
http://hydra.cryp.to/build/298269/nixlog/1/raw
2015-01-01 18:14:55 +01:00
Michael Raskin
3ee63790df Using the OpenJDK currency date patch for icedtea 2015-01-01 15:45:35 +01:00
Raffael Mancini
7aef1f02aa ipopt: fix build after minor gcc update (close #5519)
The configure script only checks for a specific version to enable a fix in
finding cstdlib and cstring.
2015-01-01 15:45:35 +01:00
William A. Kennington III
307823a88a svrcore: Add derivation 2015-01-01 15:45:35 +01:00
Eelco Dolstra
8af48d9428 gdb: Fix manpages 2015-01-01 15:45:35 +01:00
Michael Raskin
c40f4e6204 libmwaw: 0.3.3->0.3.4 2015-01-01 15:45:34 +01:00
Michael Raskin
8b9357d6bb librevenge: 0.0.1->0.0.2 2015-01-01 15:45:34 +01:00
Michael Raskin
98c5e13707 mdds: 0.11.1 -> 0.11.2 2015-01-01 15:45:34 +01:00
Michael Raskin
4fe7b8904e libgphoto2: 2.5.5.1 -> 2.5.6 2015-01-01 15:45:34 +01:00
Vincent Laporte
c0fe8aa939 ocaml-camlpdf: update from 1.7.2 to 2.1.1 2015-01-01 15:45:34 +01:00
Karn Kallio
330a4a28dd openjdk : Patch to extend valid currency change dates to 20 years. 2015-01-01 15:45:33 +01:00
Oliver Charles
1bfd620a4d haskellPackages.netwire: Update to 5.0.1 2015-01-01 15:45:32 +01:00
William A. Kennington III
fbac211a2c cyrus_sasl: Enable kerberos 2015-01-01 15:45:32 +01:00
William A. Kennington III
41a4f1fa3b krb5: 1.12.2 -> 1.13 2015-01-01 15:45:32 +01:00
William A. Kennington III
1444a6806e heimdal: Update build 2015-01-01 15:45:32 +01:00
William A. Kennington III
5fe743930a kerberos: Use default kerberos instead of krb5 2015-01-01 15:45:32 +01:00
Tobias Geerinckx-Rice
56692eec7c Fix user-facing typos (mainly in descriptions) 2015-01-01 15:45:32 +01:00
koral
fa4b210d3f webkitgtk: added optional geoclue2 dependency. 2015-01-01 15:45:31 +01:00
koral
01a48ead88 webkitgtk: 2.6.2 -> 2.6.4 2015-01-01 15:45:31 +01:00
Ricardo M. Correia
24bb7dc46f rustcMaster: Update from 0.13.0-pre-2604-g2f3cff6 -> 0.13.0-pre-2763-g6366631 2015-01-01 15:45:31 +01:00
Vincent Laporte
0f05b01dce Adds ocaml-ojquery-0.1
jQuery Binding for Eliom

Homepage: http://ocsigen.org/ojquery/
2015-01-01 15:45:31 +01:00
Vincent Laporte
8f2588f0ce Adds ocaml-magick-0.34
This package aims to provide the ImageMagick methods to OCaml

Homepage: http://www.linux-nantes.org/~fmonnier/OCaml/ImageMagick/
2015-01-01 15:45:31 +01:00
Vincent Laporte
4c4768c4b0 Adds ocaml-safepass-1.3
OCaml-safepass is a library offering facilities for the safe storage of
user passwords. By "safe" we mean that passwords are salted and hashed
using the Bcrypt algorithm. Salting prevents rainbow-table based
attacks, whereas hashing by a very time-consuming algorithm such as
Bcrypt renders brute-force password cracking impractical.

Homepage: http://ocaml-safepass.forge.ocamlcore.org/
2015-01-01 15:45:31 +01:00
Peter Simons
e9eb8b491b haskell-sdl2: re-enable Haddock phase
GHC 7.8.4 fixed https://github.com/haskell-game/sdl2/issues/31.
2015-01-01 15:45:31 +01:00
Matej Cotman
3c96afe0b1 etcd: upgrade server and ctl 2015-01-01 15:45:31 +01:00
Tom Hunger
c53b959c0e Update elm to 0.14.
Note that elm has a different package split: The old Elm 0.13 package
is now elm-compiler, elm-make and elm-package.

Instead of invoking "elm" one now has to use "elm-make".

I kept the 0.13 version of elm around in case someone depends
on it.
2015-01-01 15:45:30 +01:00
Vincent Laporte
56d651d347 Adds ocaml-uuseg
Uuseg is an OCaml library for segmenting Unicode text. It implements the
locale independent Unicode text segmentation algorithms to detect
grapheme cluster, word and sentence boundaries and the Unicode line
breaking algorithm to detect line break opportunities.

Homepage: http://erratique.ch/software/uuseg
2015-01-01 15:45:30 +01:00
Alexander Kjeldaas
f98df44ada Eradicate gzip -9 without -n 2015-01-01 15:45:30 +01:00
Vladimír Čunát
1d7bdfac8e libcaca: add another mirror
The original does not work ATM.
2015-01-01 15:45:29 +01:00
Thomas Tuegel
53317799ec suitesparse: add version 4.4.1 2015-01-01 15:45:29 +01:00