Commit graph

45229 commits

Author SHA1 Message Date
John Wiegley
0cf6e55a70 proofgeneral_4_3_pre: Add expression needed for current prooftree 2014-06-20 22:31:55 -07:00
Paul Colomiets
11e25f1a3e Implement per-user socket units 2014-06-20 17:41:14 -04:00
Austin Seipp
4d0d891644 Merge pull request #3019 from matejc/syncthing0815
syncthing: update from 0.8.11 to 0.8.15
2014-06-20 16:41:09 -05:00
Austin Seipp
5a84af7b32 Merge pull request #3026 from ttuegel/zotero
Update zotero 4.0.20 -> 4.0.21.1
2014-06-20 16:40:32 -05:00
Shea Levy
a87301092b Merge branch 'php-zmq' of git://github.com/proger/nixpkgs
php-packages: add zmq
2014-06-20 17:27:11 -04:00
Florian Friesdorf
333b6bdfee python nose-1.3.3 2014-06-20 20:43:24 +02:00
Peter Simons
ca9f7f47ec libgnome: add libogg some more 2014-06-20 18:51:32 +02:00
Peter Simons
9c1a803019 libgnome: fix build by adding missing libogg 2014-06-20 18:40:14 +02:00
Peter Simons
16b07cfc4f haskell-MonadCatchIO-transformers: update to version 0.3.1.1 2014-06-20 17:16:04 +02:00
Peter Simons
8a1f4d4e24 haskell-MonadCatchIO-mtl: jailbreak to support latest MonadCatchIO-transformers 2014-06-20 17:16:04 +02:00
Peter Simons
006eca8947 haskell-keter: update to version 1.3.2 2014-06-20 16:56:00 +02:00
Peter Simons
4c1621decf haskell-yesod-test: update to version 1.2.3.1 2014-06-20 16:56:00 +02:00
Peter Simons
435e9144c0 haskell-yesod-form: update to version 1.3.11 2014-06-20 16:56:00 +02:00
Peter Simons
89797dd671 haskell-yesod-core: update to version 1.2.17 2014-06-20 16:56:00 +02:00
Peter Simons
c861de5615 haskell-yesod-bin: update to version 1.2.11 2014-06-20 16:55:59 +02:00
Peter Simons
dd451edb4f haskell-wai-extra: update to version 3.0.0.1 2014-06-20 16:55:59 +02:00
Peter Simons
44853ef4d2 haskell-vinyl: update to version 0.4.2 2014-06-20 16:55:59 +02:00
Peter Simons
b99b0f3ca2 haskell-vector-space: update to version 0.8.7 2014-06-20 16:55:59 +02:00
Peter Simons
8a0186e65b haskell-twitter-conduit: update to version 0.0.4 2014-06-20 16:55:59 +02:00
Peter Simons
d78aa3621b haskell-syntactic: update to version 1.13 2014-06-20 16:55:59 +02:00
Peter Simons
ed16672aa9 haskell-snap-cors: update to version 1.2.5 2014-06-20 16:55:59 +02:00
Peter Simons
aa59970042 haskell-scotty: update to version 0.8.1 2014-06-20 16:55:59 +02:00
Peter Simons
3662aab37a haskell-robots-txt: update to version 0.4.1.0 2014-06-20 16:55:58 +02:00
Peter Simons
b76e86c782 haskell-purescript: update to version 0.5.2.4 2014-06-20 16:55:58 +02:00
Peter Simons
35d53b368f haskell-mono-traversable: update to version 0.6.0.3 2014-06-20 16:55:58 +02:00
Peter Simons
54ef970c6b haskell-language-c-quote: update to version 0.8.0 2014-06-20 16:55:58 +02:00
Peter Simons
c4dcee2dd0 haskell-http-conduit: update to version 2.1.2.3 2014-06-20 16:55:58 +02:00
Peter Simons
54cd793305 haskell-http-client: update to version 0.3.3.2 2014-06-20 16:55:58 +02:00
Peter Simons
e9387206da haskell-http-client-tls: update to version 0.2.1.2 2014-06-20 16:55:58 +02:00
Peter Simons
ca89435a5d haskell-highlighting-kate: update to version 0.5.8.3 2014-06-20 16:55:58 +02:00
Peter Simons
1554bcf3b4 haskell-haxr: update to version 3000.10.3 2014-06-20 16:55:57 +02:00
Peter Simons
99ee851046 haskell-haskell-packages: update to version 0.2.4.1 2014-06-20 16:55:57 +02:00
Peter Simons
8ca2a7c9c3 haskell-fay: update to version 0.20.1.1 2014-06-20 16:55:57 +02:00
Peter Simons
6b8539aa44 haskell-dns: update to version 1.4.0 2014-06-20 16:55:57 +02:00
Peter Simons
2a88d3e56b haskell-data-lens-light: update to version 0.1.2 2014-06-20 16:55:57 +02:00
Peter Simons
c3ac79a5cb haskell-cryptohash: update to version 0.11.6 2014-06-20 16:55:57 +02:00
Peter Simons
2536eea460 haskell-amqp: update to version 0.9 2014-06-20 16:55:57 +02:00
Peter Simons
46abd4dfbc haskell-SHA: update to version 1.6.4.1 2014-06-20 16:55:56 +02:00
Peter Simons
6587a30c4a haskell-websockets: re-generate with cabal2nix 2014-06-20 16:55:56 +02:00
Peter Simons
80ffd99100 haskell-tcache-AWS: re-generate with cabal2nix 2014-06-20 16:55:56 +02:00
Peter Simons
18283ac861 haskell-fb: re-generate with cabal2nix 2014-06-20 16:55:56 +02:00
Peter Simons
6dcbc2ef9f haskell-platform-2009.2.0.2: un-break the expression to try and fix it 2014-06-20 16:55:56 +02:00
Peter Simons
011e696f6d haskell-platform-2010.1.0.0: un-break the expression to try and fix it 2014-06-20 16:55:56 +02:00
Peter Simons
f25e9c435d haskell-yesod-auth: update to version 1.3.1.1 2014-06-20 16:55:56 +02:00
Peter Simons
a2570f8448 haskell-twitter-conduit: update to version 0.0.3 2014-06-20 16:55:56 +02:00
Peter Simons
fa20bf6fc7 haskell-string-combinators: update to version 0.6.0.5 2014-06-20 16:55:55 +02:00
Peter Simons
aa01efc665 haskell-snaplet-redis: update to version 0.1.3.2 2014-06-20 16:55:55 +02:00
Peter Simons
3ee3329c1f haskell-shelly: update to version 1.5.4.1 2014-06-20 16:55:55 +02:00
Peter Simons
d783e5c32d haskell-recursion-schemes: update to version 4.1 2014-06-20 16:55:55 +02:00
Peter Simons
a161d10071 haskell-rank1dynamic: update to version 0.2.0.0 2014-06-20 16:55:55 +02:00