Charles Strahan
604a4b680c
capnproto: Add package
2014-04-25 11:18:18 -04: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
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
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
f7de4f099f
Merge pull request #2347 from vbmithr/ocaml-pcre
...
Updated OCaml package pcre
2014-04-25 10:31:18 +01:00
Oliver Charles
61d74e4c8c
Merge pull request #2345 from vbmithr/master
...
Updated OCaml package findlib
2014-04-25 10:31:04 +01:00
Oliver Charles
d6a3bb64d2
Merge pull request #2361 from vbmithr/ocaml_react
...
Updated react to 1.0.1
2014-04-25 10:25:58 +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
vi
a16098995a
New package: lists and its dependency, list-extras (Haskell.)
2014-04-24 17:41:40 +08:00
Mathijs Kwik
d2edc329e1
neoload: upgrade to 4.1.4 and fix mem issues
2014-04-24 08:05:44 +02:00
Mathijs Kwik
925c75c68d
node.js - use bundled v8 :14.04-bugfix:
...
node needs v8 3.14, which is no longer maintained.
They bundle an in-tree version which does receive backports.
2014-04-24 08:05:44 +02:00
Domen Kožar
7eabca3409
Merge pull request #2315 from lethalman/gnome3
...
gedit, libmediaart, fix xdg-user-dirs, enable GI in grilo, prioritize nautilus mimetype, seahorse, gnome-music, glade, gnome-documents
2014-04-24 01:16:54 +02:00
Luca Bruno
fcd67236f3
accountsservice: fix creating data under /var/lib
2014-04-23 23:19:48 +02:00
Bjørn Forsman
83d0fd3078
thrift: unbreak build
...
Add a tiny patch (already upstream) that fixes this build error:
<flex>/lib/libfl.so: undefined reference to `yylex'
2014-04-23 21:51:21 +02:00
Vincent Bernardoff
b0a6bb414d
Updated react to 1.0.1
2014-04-23 17:02:46 +02:00
Shea Levy
a3b1f48c5d
Add gcc-4.9.0
2014-04-23 10:45:00 -04:00
Eelco Dolstra
dbd332d147
Fix meta.maintainer -> meta.maintainers
2014-04-23 14:26:32 +02:00
Peter Simons
0753d64478
haskell-hlint: update to version 1.8.61
2014-04-23 11:17:11 +02:00
Peter Simons
c6d74cd5a6
haskell-yesod-static: update to version 1.2.2.5
2014-04-23 11:17:10 +02:00
Peter Simons
8ca9e5975d
haskell-yesod-core: update to version 1.2.14
2014-04-23 11:17:10 +02:00
Peter Simons
5d36a8cc53
haskell-yesod-bin: update to version 1.2.8.1
2014-04-23 11:17:10 +02:00
Peter Simons
d698efaace
haskell-yaml: update to version 0.8.8.2
2014-04-23 11:17:10 +02:00
Peter Simons
40ecb7d787
haskell-warp: update to version 2.1.4.1
2014-04-23 11:17:10 +02:00
Peter Simons
0f3cbb71ad
haskell-vcswrapper: update to version 0.0.4
2014-04-23 11:17:10 +02:00
Peter Simons
751fb11e26
haskell-vcsgui: update to version 0.0.4
2014-04-23 11:17:10 +02:00
Peter Simons
17b1fd5652
haskell-uulib: update to version 0.9.16
2014-04-23 11:17:10 +02:00
Peter Simons
d414e49375
haskell-testing-feat: update to version 0.4.0.2
2014-04-23 11:17:10 +02:00
Peter Simons
8080a35f32
haskell-test-framework-quickcheck2: update to version 0.3.0.3
2014-04-23 11:17:10 +02:00
Peter Simons
e73b6253f0
haskell-terminal-progress-bar: update to version 0.0.1.4
2014-04-23 11:17:10 +02:00
Peter Simons
4817cf0253
haskell-syb-with-class: update to version 0.6.1.5
2014-04-23 11:17:10 +02:00
Peter Simons
92cc1addfd
haskell-svgcairo: update to version 0.12.5.2
2014-04-23 11:17:10 +02:00
Peter Simons
fa61d4ae42
haskell-snap-server: update to version 0.9.4.3
2014-04-23 11:17:10 +02:00
Peter Simons
d7e5724db1
haskell-snap-loader-static: update to version 0.9.0.2
2014-04-23 11:17:10 +02:00
Peter Simons
9d4cfd51d5
haskell-simple-sendfile: update to version 0.2.14
2014-04-23 11:17:10 +02:00
Peter Simons
808b19b3fc
haskell-simple-reflect: update to version 0.3.2
2014-04-23 11:17:10 +02:00
Peter Simons
8455e75173
haskell-resourcet: update to version 1.1.2
2014-04-23 11:17:10 +02:00
Peter Simons
f5df3851af
haskell-pipes: update to version 4.1.1
2014-04-23 11:17:10 +02:00
Peter Simons
2e36bcbb61
haskell-pem: update to version 0.2.2
2014-04-23 11:17:09 +02:00
Peter Simons
6e3e9fce30
haskell-pcre-light: update to version 0.4.0.1
2014-04-23 11:17:09 +02:00
Peter Simons
a5fdc77c4c
haskell-ncurses: update to version 0.2.8
2014-04-23 11:17:09 +02:00
Peter Simons
9425cf9206
haskell-monoid-transformer: update to version 0.0.3
2014-04-23 11:17:09 +02:00
Peter Simons
2bfb9a5458
haskell-midi: update to version 0.2.1.2
2014-04-23 11:17:09 +02:00
Peter Simons
c12db35f57
haskell-linear: update to version 1.10.1.1
2014-04-23 11:17:09 +02:00
Peter Simons
94c86ba55a
haskell-lifted-async: update to version 0.1.2
2014-04-23 11:17:09 +02:00
Peter Simons
0615619335
haskell-language-ecmascript: update to version 0.16.2
2014-04-23 11:17:09 +02:00
Peter Simons
b7223cbda7
haskell-language-c: update to version 0.4.5
2014-04-23 11:17:09 +02:00
Peter Simons
61072c89ab
haskell-io-streams: update to version 1.1.4.3
2014-04-23 11:17:09 +02:00
Peter Simons
64f7da41cf
haskell-http-reverse-proxy: update to version 0.3.1.6
2014-04-23 11:17:09 +02:00
