Commit Graph

43391 Commits

Author SHA1 Message Date
Peter Simons
23168b84e4 haskell-sdl2: update to version 1.1.2 2014-10-13 09:12:24 +02:00
Peter Simons
a7597f5aad haskell-intervals: update to version 0.7.0.1 2014-10-13 09:12:24 +02:00
Peter Simons
e68525310e haskell-defaults.nix: disable tf-random for GHC 6.10.x 2014-10-13 09:12:24 +02:00
Peter Simons
a0698ad5c2 haskell-BNFC: update to version 2.7.1 2014-10-13 09:12:24 +02:00
Peter Simons
9137b133fc haskell-hexpat: update to version 0.20.7 2014-10-13 09:12:24 +02:00
Peter Simons
dc8ee9f729 haskell-here: update to version 1.2.6 2014-10-13 09:12:23 +02:00
Peter Simons
085d5e5da2 haskell-gtksourceview2: update to version 0.13.1.0 2014-10-13 09:12:23 +02:00
Peter Simons
60daf4b54d haskell-gtk3: update to version 0.13.0.2 2014-10-13 09:12:23 +02:00
Peter Simons
3ddd4143dc haskell-gtk2hs-buildtools: update to version 0.13.0.2 2014-10-13 09:12:23 +02:00
Peter Simons
06d020fe07 haskell-gtk: update to version 0.13.0.2 2014-10-13 09:12:23 +02:00
Peter Simons
e84bc7a27c haskell-glib: update to version 0.13.0.4 2014-10-13 09:12:23 +02:00
Peter Simons
9a15c062bb haskell-gio: update to version 0.13.0.1 2014-10-13 09:12:23 +02:00
Peter Simons
64188a69b0 haskell-ghc-vis: update to version 0.7.2.5 2014-10-13 09:12:22 +02:00
Peter Simons
5ad41ff67b haskell-ghc-mod: update to version 5.1.1.0 2014-10-13 09:12:22 +02:00
Peter Simons
4d4ccf7096 haskell-ghc-heap-view: update to version 0.5.3 2014-10-13 09:12:22 +02:00
Peter Simons
1b0c802770 haskell-generic-aeson: update to version 0.2.0.1 2014-10-13 09:12:22 +02:00
Peter Simons
7642a1e451 haskell-free-game: update to version 1.1.79 2014-10-13 09:12:22 +02:00
Peter Simons
d149f92f60 haskell-fb: update to version 1.0.6 2014-10-13 09:12:22 +02:00
Peter Simons
6a5a8f8665 haskell-exception-transformers: update to version 0.3.0.4 2014-10-13 09:12:22 +02:00
Peter Simons
850e8ad834 haskell-exception-mtl: update to version 0.3.0.5 2014-10-13 09:12:21 +02:00
Peter Simons
242da2eb6d haskell-enclosed-exceptions: update to version 1.0.1 2014-10-13 09:12:21 +02:00
Peter Simons
4829fc216d haskell-ekg: update to version 0.4.0.3 2014-10-13 09:12:21 +02:00
Peter Simons
4c1edd1934 haskell-ekg-core: update to version 0.1.0.2 2014-10-13 09:12:21 +02:00
Peter Simons
b80a6912a9 haskell-ekg-carbon: update to version 1.0.2 2014-10-13 09:12:21 +02:00
Peter Simons
f09c37e518 haskell-direct-sqlite: update to version 2.3.14 2014-10-13 09:12:21 +02:00
Peter Simons
b42a36e697 haskell-clock: update to version 0.4.1.3 2014-10-13 09:09:33 +02:00
Peter Simons
21e49f67b3 haskell-cereal: update to version 0.4.1.0 2014-10-13 09:09:33 +02:00
Peter Simons
b3a684e84f haskell-cairo: update to version 0.13.0.3 2014-10-13 09:09:33 +02:00
Peter Simons
8a20c0a46b haskell-acid-state: update to version 0.12.3 2014-10-13 09:09:33 +02:00
Peter Simons
442a32cbd2 haskell-NumInstances: update to version 1.4 2014-10-13 09:09:33 +02:00
Peter Simons
114abbf3d2 haskell-HaskellNet: update to version 0.4 2014-10-13 09:09:33 +02:00
Peter Simons
8f0a3ba14c haskell-HaskellNet-SSL: update to version 0.2.5.1 2014-10-13 09:09:33 +02:00
Peter Simons
a3b1e5c91a haskell-GLUtil: update to version 0.8.2 2014-10-13 09:09:33 +02:00
Peter Simons
e08054d1b6 haskell-Boolean: update to version 0.2.3 2014-10-13 09:09:33 +02:00
Peter Simons
b2a93071f6 haskell-epic: update to version 0.9.3.2 2014-10-13 09:09:33 +02:00
Peter Simons
2b9b1bcb27 haskell-aeson: update to version 0.8.0.1 2014-10-13 09:09:33 +02:00
Jaka Hudoklin
dd0758ab6b Merge pull request #4392 from cstrahan/logstash
logstash service improvements
2014-10-12 23:02:52 +02:00
Jaka Hudoklin
42da129d34 Merge pull request #4456 from robberer/pkgs/fritzing
fritzing: add version 0.9.0b
2014-10-12 22:58:45 +02:00
Jaka Hudoklin
ed53f57c9f Merge pull request #4475 from matejc/megaglest
megaglest: new package
2014-10-12 22:57:56 +02:00
Peter Simons
1907146ab9 Merge pull request #4501 from edwtjo/cmdtheline-patch
haskellPackages.cmdtheline: apply System.{Cmd -> Process} patch
2014-10-12 21:55:36 +02:00
Edward Tjörnhammar
e485bfd213 haskellPackages.cmdtheline: apply System.{Cmd -> Process} patch 2014-10-12 21:52:48 +02:00
Peter Simons
1658c545d4 Merge pull request #4502 from grwlf/screen-256color
screen: enable 256 colors
2014-10-12 21:45:58 +02:00
Bjørn Forsman
61388880d8 lua-packages.nix: whitespace fixes 2014-10-12 21:06:20 +02:00
Sergey Mironov
efcb363ea9 screen: enable 256 colors 2014-10-12 20:47:47 +04:00
Peter Simons
525a850511 thc-hydra: don't call this package "hydra"; that name is taken in NixOS 2014-10-12 17:34:49 +02:00
Aristid Breitkreuz
e6277bd958 the sha256 of cups 1.5.4 was that of a HTML (broken in md5->sha256 update) 2014-10-12 16:52:54 +02:00
taku0
7175fdcd71 oraclejdk: bump to 8u20
Closes #4492
2014-10-12 15:43:44 +01:00
Vincent Laporte
fe1d8d0015 cvc4: new derivation
CVC4 is an efficient open-source automatic theorem prover for
satisfiability modulo theories (SMT) problems.

Homepage: http://cvc4.cs.nyu.edu/web/
2014-10-12 16:21:02 +02:00
Vincent Laporte
af7cb557fb libantlr3c: new derivation
libantlr3c is the C runtime library of ANTLR v3

Homepage: http://www.antlr3.org/
2014-10-12 16:21:02 +02:00
Vincent Laporte
531b44562a why3: update from 0.83 to 0.85 2014-10-12 16:21:02 +02:00