Commit Graph

6508 Commits

Author SHA1 Message Date
Peter Simons
33c1a9599c haskell-optparse-applicative: update to version 0.8.1 2014-05-07 19:13:04 +02:00
Peter Simons
2fda5952a8 haskell-monad-logger: update to version 0.3.6.1 2014-05-07 19:13:04 +02:00
Peter Simons
0c60cac67f haskell-http-client: update to version 0.3.2.2 2014-05-07 19:13:04 +02:00
Peter Simons
375c29810d haskell-html-conduit: update to version 1.1.0.5 2014-05-07 19:13:04 +02:00
Peter Simons
8d6975cc75 haskell-hourglass: update to version 0.1.2 2014-05-07 19:13:04 +02:00
Peter Simons
32ca02ffac haskell-gtk-traymanager: update to version 0.1.4 2014-05-07 19:13:04 +02:00
Peter Simons
3f1571b5a1 haskell-distributive: update to version 0.4.4 2014-05-07 19:13:04 +02:00
Peter Simons
1b81577f09 haskell-contravariant: update to version 0.5.2 2014-05-07 19:13:04 +02:00
Peter Simons
6f5ee37d5c haskell-HTTP: update to version 4000.2.14 2014-05-07 19:13:04 +02:00
Peter Simons
af8d34c35e Merge pull request #2531 from jwiegley/djinn
Add an expression for the Haskell library djinn
2014-05-07 11:36:56 +02:00
Peter Simons
0235fe4819 haskell-shake: update to version 0.11.7 2014-05-07 11:23:43 +02:00
Oliver Charles
fcc3ae1d84 haskellPackages.snapletStripe: New expression 2014-05-07 09:57:27 +01:00
Oliver Charles
47530778db haskellPackages.stripe: Update to 0.8.1 2014-05-07 09:50:18 +01:00
John Wiegley
7848f96b58 Add an expression for the Haskell library djinn 2014-05-05 19:48:50 -05:00
Peter Simons
b658ce7db7 haskell-streaming-commons: update to version 0.1.2.2 2014-05-05 10:46:40 +02:00
Peter Simons
8034dbdb0b haskell-shake: update to version 0.11.6 2014-05-05 10:46:40 +02:00
Peter Simons
f0e2d697ab haskell-repa: update to version 3.2.5.1 2014-05-05 10:46:40 +02:00
Peter Simons
ff8c978e81 haskell-repa-io: update to version 3.2.5.1 2014-05-05 10:46:40 +02:00
Peter Simons
fbcd8f1702 haskell-repa-examples: update to version 3.2.5.1 2014-05-05 10:46:40 +02:00
Peter Simons
7f7a32db50 haskell-repa-algorithms: update to version 3.2.5.1 2014-05-05 10:46:40 +02:00
Peter Simons
59b5aa05f9 haskell-persistent-postgresql: update to version 1.3.1.1 2014-05-05 10:46:40 +02:00
Peter Simons
7780de27d1 haskell-modular-arithmetic: update to version 1.2.0.0 2014-05-05 10:46:40 +02:00
Peter Simons
10d6cf6116 haskell-hit: update to version 0.6.0 2014-05-05 10:46:40 +02:00
Peter Simons
37df971a49 haskell-gloss: update to version 1.8.2.1 2014-05-05 10:46:39 +02:00
Peter Simons
e56622a1ef haskell-gloss-raster: update to version 1.8.2.1 2014-05-05 10:46:39 +02:00
Peter Simons
bea71b95ff haskell-geniplate: update to version 0.6.0.4 2014-05-05 10:46:39 +02:00
Peter Simons
76ca228a48 haskell-SafeSemaphore: update to version 0.10.1 2014-05-05 10:46:39 +02:00
Peter Simons
986a42dfe7 haskell-cabal-lenses: add version 0.1 2014-05-05 10:46:39 +02:00
Peter Simons
e7c207e10d haskell-hourglass: add version 0.1.1 2014-05-05 10:46:39 +02:00
Peter Simons
0ae6cde78a haskell-timezone-series: update to version 0.1.3 2014-05-05 10:46:39 +02:00
Peter Simons
f604021658 Merge pull request #2504 from bennofs/haskell-jailbreak-case-insensitive
haskell-case-insensitive-1.0.0.1: jailbreak
2014-05-04 23:01:10 +02:00
Peter Simons
912d615fb3 Merge pull request #2503 from bennofs/haskell-jailbreak-async
async-2.0.1.3: jailbreak (see
2014-05-04 22:42:23 +02:00
Benno Fünfstück
14c4249b37 haskell-case-insensitive-1.0.0.1: jailbreak 2014-05-04 22:40:00 +02:00
Benno Fünfstück
9dd7896cba async-2.0.1.3: jailbreak (see http://hydra.nixos.org/build/10766630/nixlog/1/raw) 2014-05-04 22:00:08 +02:00
Benno Fünfstück
49d62325ea haskell-wreq: disable check phase, it requires network 2014-05-04 21:37:28 +02:00
Peter Simons
9e5f7ada34 haskell-ghc-mod: revert "wrap the newly added ghc-modi executable"
This reverts commit eba689ad05. ghc-modi
stopped working for me after this change.

https://github.com/NixOS/nixpkgs/pull/2490
2014-05-04 14:07:42 +02:00
Peter Simons
80d39a273e HTTP-4000.2.13: patch Cabal file to declare FlexibleContexts extension to fix the build with ghc-head
https://github.com/haskell/HTTP/issues/62
2014-05-04 13:46:18 +02:00
Peter Simons
911d9d5b1b Merge pull request #2489 from jwiegley/haskexprs
Add several new Haskell expressions
2014-05-04 13:22:13 +02:00
Peter Simons
1220084354 haskell-httpd-shed: jailbreak to fix build with latest version of 'network' 2014-05-04 13:19:56 +02:00
Peter Simons
ce21d883c0 haskell-vinyl: add version 0.3 2014-05-04 13:19:56 +02:00
Peter Simons
b3f3d111ad haskell-graphviz: jailbreak to fix build with fgl 5.x 2014-05-04 13:19:56 +02:00
Peter Simons
eba689ad05 haskell-ghc-mod: wrap the newly added ghc-modi executable
Cherry-picked from <https://github.com/NixOS/nixpkgs/pull/2490>.
2014-05-04 13:03:18 +02:00
Peter Simons
7c06d93c0f haskell-download-curl: jailbreak to fix build with recent versions of tagsoup 2014-05-04 12:53:45 +02:00
Peter Simons
a2ae6ebb7b haskell-HTTP-4000.2.13: disable test suite to fix the build
https://github.com/haskell/HTTP/issues/60
2014-05-04 12:40:58 +02:00
Peter Simons
cfb6902526 HTTP-4000.2.13: jailbreak to fix build with latest version of conduit
https://github.com/haskell/HTTP/issues/61
https://github.com/NixOS/nixpkgs/issues/2495
2014-05-04 12:40:01 +02:00
Peter Simons
c2fd001fd4 Remove obsolete Agda-executable package; the compiler is not part of 'Agda'. 2014-05-04 12:17:35 +02:00
John Wiegley
9bc6893712 Add several new Haskell expressions 2014-05-03 23:01:00 -05:00
Peter Simons
4b307a7b96 haskell-network: update to version 2.5.0.0 2014-05-03 20:03:33 +02:00
Peter Simons
dd1dd06b88 haskell-text: update to version 1.1.1.1 2014-05-03 20:03:32 +02:00
Peter Simons
c1705e8b33 haskell-fgl: add version 5.5.0.1 2014-05-03 20:03:32 +02:00
Peter Simons
eb7958247a haskell-unordered-containers: update to version 0.2.4.0 2014-05-03 20:03:32 +02:00
Peter Simons
074c128fec haskell-attoparsec: update to version 0.11.3.0 2014-05-03 20:03:32 +02:00
Peter Simons
1940a89112 haskell-stringable: update to version 0.1.3 2014-05-03 20:03:32 +02:00
Peter Simons
3aa5ae8f31 haskell-pcre-light: update to version 0.4.0.2 2014-05-03 20:03:31 +02:00
Peter Simons
e0a257ae59 haskell-monad-extras: update to version 0.5.8 2014-05-03 20:03:31 +02:00
Peter Simons
45165186dc haskell-logging: update to version 1.4.1 2014-05-03 20:03:31 +02:00
Peter Simons
f899787872 haskell-libmpd: update to version 0.8.0.3 2014-05-03 20:03:31 +02:00
Peter Simons
9953352f3e haskell-github: update to version 0.8 2014-05-03 20:03:31 +02:00
Peter Simons
b851ea759e haskell-ghc-events: update to version 0.4.3.0 2014-05-03 20:03:31 +02:00
Peter Simons
3a784a6b8c haskell-JuicyPixels: update to version 3.1.5.1 2014-05-03 20:03:31 +02:00
Peter Simons
0f6bd32324 haskell-Hipmunk: update to version 5.2.0.14 2014-05-03 20:03:30 +02:00
Vladimir Kirillov
599f9a09fe haskell: bump ekg to 0.4, add ekg-core 2014-05-03 17:36:03 +03:00
Mateusz Kowalczyk
ab7e2f1dc5 haskell-HTTP: update to version 4000.2.13 2014-05-03 12:27:25 +02:00
Oliver Charles
4e70c764f5 Merge pull request #2473 from jwiegley/these
Add expression for Haskell library 'these'
2014-05-03 11:19:18 +01:00
Peter Simons
ca35c44408 haskell-streaming-commons: update to version 0.1.2.1 2014-05-03 10:53:22 +02:00
Peter Simons
49503c10c7 haskell-hledger: update to version 0.23 2014-05-03 10:53:22 +02:00
Peter Simons
bad008d48a haskell-hledger-web: update to version 0.23 2014-05-03 10:53:22 +02:00
Peter Simons
7cbf87792a haskell-hledger-lib: update to version 0.23 2014-05-03 10:53:22 +02:00
Peter Simons
92c9b2eb8f haskell-conduit: update to version 1.1.1.1 2014-05-03 10:53:22 +02:00
Peter Simons
6e58bbe32b haskell-conduit-extra: update to version 1.1.0.3 2014-05-03 10:53:22 +02:00
Peter Simons
6fe44baced haskell-conduit-combinators: update to version 0.2.5.1 2014-05-03 10:53:22 +02:00
Peter Simons
b4893842d2 haskell-classy-prelude: update to version 0.9.1 2014-05-03 10:53:22 +02:00
Peter Simons
48f2ae7dec haskell-classy-prelude-conduit: update to version 0.9.1 2014-05-03 10:53:22 +02:00
Peter Simons
084cec9404 haskell-arithmoi: update to version 0.4.1.0 2014-05-03 10:53:21 +02:00
John Wiegley
fb778b705f Add expression for Haskell library 'these' 2014-05-02 13:43:34 -05:00
Simon Hengel
e4dead3171 Update haskell-hspec to version 0.9.5 2014-05-02 14:57:46 +08:00
Peter Simons
303ddfab4c haskell-ghc-mod: re-generate with cabal2nix 2014-05-01 23:40:13 +02:00
Peter Simons
8b67834bf3 haskell-ghc-mod: make sure GHC <7.8 and >7.8 pick the same datadir install path 2014-05-01 22:57:09 +02:00
Peter Simons
d6dd5688a2 haskell-ghc-mod: disable test suite to fix build with GHC 7.8.2
https://github.com/kazu-yamamoto/ghc-mod/issues/242
2014-05-01 22:56:44 +02:00
Peter Simons
74a9767c5e haskell-libmpd: jailbreak to fix build with recent versions of 'text' 2014-05-01 22:28:13 +02:00
Peter Simons
b5113c90a4 haskell-yesod-form: update to version 1.3.8.3 2014-05-01 21:57:04 +02:00
Peter Simons
cf871089b5 haskell-warp: update to version 2.1.5.1 2014-05-01 21:57:04 +02:00
Peter Simons
373defe9cd haskell-sqlite-simple: update to version 0.4.7.0 2014-05-01 21:57:04 +02:00
Peter Simons
eead385738 haskell-snap-cors: update to version 1.2.4 2014-05-01 21:57:04 +02:00
Peter Simons
07b80292a0 haskell-pandoc-types: update to version 1.12.3.3 2014-05-01 21:57:04 +02:00
Peter Simons
f1ce1480df haskell-nanospec: update to version 0.2.0 2014-05-01 21:57:04 +02:00
Peter Simons
e942079d46 haskell-mono-traversable: update to version 0.5.0 2014-05-01 21:57:03 +02:00
Peter Simons
c4eb80e485 haskell-lifted-async: update to version 0.2.0 2014-05-01 21:57:03 +02:00
Peter Simons
9921686058 haskell-largeword: update to version 1.2.2 2014-05-01 21:57:03 +02:00
Peter Simons
8fc6f1a080 haskell-language-javascript: update to version 0.5.13 2014-05-01 21:57:03 +02:00
Peter Simons
705888c629 haskell-http-client: update to version 0.3.2.1 2014-05-01 21:57:03 +02:00
Peter Simons
62a775df61 haskell-hspec: update to version 1.9.4 2014-05-01 21:57:03 +02:00
Peter Simons
3b6b967b9d haskell-hspec-meta: update to version 1.9.4 2014-05-01 21:57:03 +02:00
Peter Simons
a1952b5e13 haskell-hledger-web: update to version 0.22.8 2014-05-01 21:57:03 +02:00
Peter Simons
84c41f46f7 haskell-ghc-mod: update to version 4.1.0 2014-05-01 21:57:03 +02:00
Peter Simons
45af6556f6 haskell-fay: update to version 0.20.0.0 2014-05-01 21:57:03 +02:00
Peter Simons
14edbe5597 haskell-fay-base: update to version 0.19.1.2 2014-05-01 21:57:03 +02:00
Peter Simons
42e324c537 haskell-cassava: update to version 0.4.0.0 2014-05-01 21:57:03 +02:00
Peter Simons
87f8a70f9c haskell-blaze-html: update to version 0.7.0.2 2014-05-01 21:57:03 +02:00
Peter Simons
e81ac36bff haskell-spoon: add version 0.3.1 2014-05-01 21:57:02 +02:00
Peter Simons
39c3cb1d99 haskell-groom: add version 0.1.2 2014-05-01 21:57:02 +02:00
Tom Dimiduk
c4f66df29a add zeromq4 and zeromq4-haskell 2014-05-01 07:52:21 -04:00
John Wiegley
3988f438ef Add expression for the Haskell posix-paths library 2014-04-30 17:19:34 -04:00
Simon Hengel
6cb6694f8b Update haskell-http-kit to version 0.2.2 2014-04-29 20:24:14 +08:00
Peter Simons
50d5d8b33f The hamlet and shakespeare-* packages are deprecated and no longer
export any code. This means that we cannot run the Haddock phase.
2014-04-29 01:35:50 +02:00
Peter Simons
d163de3bdb haskell-zip-archive: update to version 0.2.2.1 2014-04-29 01:35:49 +02:00
Peter Simons
2b1fc1ad1b haskell-yesod-test: update to version 1.2.1.4 2014-04-29 01:35:49 +02:00
Peter Simons
247b903b68 haskell-yesod-core: update to version 1.2.15 2014-04-29 01:35:49 +02:00
Peter Simons
91af4b57ac haskell-yesod-bin: update to version 1.2.9.1 2014-04-29 01:35:49 +02:00
Peter Simons
c1d56bb242 haskell-xml-hamlet: update to version 0.4.0.8 2014-04-29 01:35:49 +02:00
Peter Simons
0c7b8142da haskell-x509-system: update to version 1.4.5 2014-04-29 01:35:49 +02:00
Peter Simons
b39407d997 haskell-websockets: update to version 0.8.2.2 2014-04-29 01:35:49 +02:00
Peter Simons
b0ea67aa87 haskell-warp: update to version 2.1.5 2014-04-29 01:35:49 +02:00
Peter Simons
045b7d77a1 haskell-warp-tls: update to version 2.0.5 2014-04-29 01:35:49 +02:00
Peter Simons
73bfdbf69f haskell-wai-test: update to version 2.0.1.2 2014-04-29 01:35:49 +02:00
Peter Simons
76f369772f haskell-twitter-types: update to version 0.2.20140424 2014-04-29 01:35:49 +02:00
Peter Simons
a9f35c5e67 haskell-tagged: update to version 0.7.2 2014-04-29 01:35:49 +02:00
Peter Simons
74e12c231b haskell-syntactic: update to version 1.12.1 2014-04-29 01:35:48 +02:00
Peter Simons
e4186ad25c haskell-stylish-haskell: update to version 0.5.10.0 2014-04-29 01:35:48 +02:00
Peter Simons
8825b68758 haskell-streaming-commons: update to version 0.1.2 2014-04-29 01:35:48 +02:00
Peter Simons
4cc210e793 haskell-sqlite-simple: update to version 0.4.6.1 2014-04-29 01:35:48 +02:00
Peter Simons
fd5cf61924 haskell-snap-server: update to version 0.9.4.4 2014-04-29 01:35:48 +02:00
Peter Simons
8ebb807985 haskell-snap-cors: update to version 1.2.3 2014-04-29 01:35:48 +02:00
Peter Simons
466f5ce639 haskell-smtps-gmail: update to version 1.2.0 2014-04-29 01:35:48 +02:00
Peter Simons
63ec22b6b4 haskell-sized-types: update to version 0.5.0 2014-04-29 01:35:48 +02:00
Peter Simons
e9aa6c017a haskell-shakespeare: update to version 2.0.0.3 2014-04-29 01:35:48 +02:00
Peter Simons
fa92bc88ca haskell-shakespeare-text: update to version 1.1.0 2014-04-29 01:35:48 +02:00
Peter Simons
8884a80caf haskell-shakespeare-js: update to version 1.3.0 2014-04-29 01:35:48 +02:00
Peter Simons
90ad782cc5 haskell-shakespeare-i18n: update to version 1.1.0 2014-04-29 01:35:48 +02:00
Peter Simons
b6d3a73d52 haskell-shakespeare-css: update to version 1.1.0 2014-04-29 01:35:48 +02:00
Peter Simons
d043573059 haskell-retry: update to version 0.4 2014-04-29 01:35:48 +02:00
Peter Simons
7841191a84 haskell-regular: update to version 0.3.4.3 2014-04-29 01:35:48 +02:00
Peter Simons
0823af1708 haskell-pointedlist: update to version 0.6.1 2014-04-29 01:35:47 +02:00
Peter Simons
65ac678f1b haskell-persistent-postgresql: update to version 1.3.1 2014-04-29 01:35:47 +02:00
Peter Simons
d2a0bde63f haskell-permutation: update to version 0.5.0.4 2014-04-29 01:35:47 +02:00
Peter Simons
9131908d53 haskell-nats: update to version 0.1.3 2014-04-29 01:35:47 +02:00
Peter Simons
cee7a67810 haskell-monads-tf: update to version 0.1.0.2 2014-04-29 01:35:47 +02:00
Peter Simons
fe5f31bdb1 haskell-mime-mail: update to version 0.4.5.2 2014-04-29 01:35:47 +02:00
Peter Simons
9aab7494bc haskell-http-conduit: update to version 2.1.2 2014-04-29 01:35:47 +02:00
Peter Simons
4a1340c780 haskell-http-client: update to version 0.3.2 2014-04-29 01:35:47 +02:00
Peter Simons
da7cc3a1f1 haskell-hspec: update to version 1.9.3 2014-04-29 01:35:47 +02:00
Peter Simons
e74db96100 haskell-hspec-meta: update to version 1.9.3 2014-04-29 01:35:47 +02:00
Peter Simons
5717591f43 haskell-hslua: update to version 0.3.12 2014-04-29 01:35:47 +02:00
Peter Simons
c7bd8255a6 haskell-hinotify: update to version 0.3.7 2014-04-29 01:35:47 +02:00
Peter Simons
f80d29805a haskell-haskell-src-exts: update to version 1.15.0.1 2014-04-29 01:35:47 +02:00
Peter Simons
01494efdd6 haskell-haskell-names: update to version 0.3.3.2 2014-04-29 01:35:47 +02:00
Peter Simons
0e1af854bb haskell-happstack-hamlet: update to version 7.0.4 2014-04-29 01:35:46 +02:00
Peter Simons
6f47302ead haskell-hamlet: update to version 1.2.0 2014-04-29 01:35:46 +02:00
Peter Simons
5926fec3f9 haskell-free: update to version 4.7.1 2014-04-29 01:35:46 +02:00
Peter Simons
27be932ff3 haskell-filestore: update to version 0.6.0.2 2014-04-29 01:35:46 +02:00
Peter Simons
75289fbc31 haskell-extensible-effects: update to version 1.6.0 2014-04-29 01:35:46 +02:00
Peter Simons
b9d4464af6 haskell-esqueleto: update to version 1.4 2014-04-29 01:35:46 +02:00
Peter Simons
8ae402a4a6 haskell-distributive: update to version 0.4.3.2 2014-04-29 01:35:46 +02:00
Peter Simons
e2ecbc0267 haskell-direct-sqlite: update to version 2.3.13 2014-04-29 01:35:46 +02:00
Peter Simons
80454adf79 haskell-dataenc: update to version 0.14.0.7 2014-04-29 01:35:46 +02:00
Peter Simons
740470e6a4 haskell-data-ordlist: update to version 0.4.6.1 2014-04-29 01:35:46 +02:00
Peter Simons
f380255792 haskell-cuda: update to version 0.6.0.0 2014-04-29 01:35:46 +02:00
Peter Simons
cc8959c86a haskell-contravariant: update to version 0.5 2014-04-29 01:35:46 +02:00
Peter Simons
1f8334eacf haskell-conduit: update to version 1.1.1 2014-04-29 01:35:46 +02:00
Peter Simons
310c4299a9 haskell-conduit-extra: update to version 1.1.0.2 2014-04-29 01:35:46 +02:00
Peter Simons
8f607fca3a haskell-conduit-combinators: update to version 0.2.5 2014-04-29 01:35:45 +02:00
Peter Simons
f4524394b0 haskell-cereal-conduit: update to version 0.7.2.2 2014-04-29 01:35:45 +02:00
Peter Simons
a0265900f5 haskell-c2hs: update to version 0.17.2 2014-04-29 01:35:45 +02:00
Peter Simons
e7721d7027 haskell-blaze-markup: update to version 0.6.1.0 2014-04-29 01:35:45 +02:00
Peter Simons
f012c2b131 haskell-bifunctors: update to version 4.1.1.1 2014-04-29 01:35:45 +02:00
Peter Simons
ad784bb2f2 haskell-active: update to version 0.1.0.13 2014-04-29 01:35:45 +02:00
Peter Simons
192ef70a7c haskell-prelude-extras: add version 0.4 2014-04-29 01:35:45 +02:00
Peter Simons
93846bef59 haskell-hfsevents: re-generate with cabal2nix 2014-04-28 19:04:10 +02:00
Peter Simons
11fc857e30 haskell-jack: re-generate with cabal2nix 2014-04-28 19:04:10 +02:00
Peter Simons
5ac35c0f3b haskell-tz: fix build (of the test suite) 2014-04-28 19:04:10 +02:00
Peter Simons
9eff988bbf haskell-enumset: re-generate with cabal2nix 2014-04-28 19:04:10 +02:00
Simon Hengel
62b883070b Update haskell-base-compat to version 0.5.0
Closes #2431

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 04:58:12 -05:00
Simon Hengel
692fc6fdc1 Update haskell-http-kit to version 0.2.1
Closes #2430

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-28 04:58:09 -05:00
Peter Simons
75da9d640e Merge pull request #2374 from klao/tz
Add tzdata and tz Haskell packages
2014-04-26 16:06:55 +02:00
Oliver Charles
f6e8b77294 Merge pull request #2399 from ttuegel/hmatrix-special
Add haskell-hmatrix-special-0.2.0
2014-04-26 09:58:37 +01:00
vi
74efbde57c Derivation for the Haskell library, "bv". 2014-04-26 16:17:04 +08:00
Thomas Tuegel
7c274bf958 Add haskell-hmatrix-special-0.2.0 2014-04-25 17:17:47 -05:00
Mihaly Barasz
8bb3f19c6b Add tz Haskell package 2014-04-25 16:21:50 +02:00
Mihaly Barasz
2d37f8ecf0 Add tzdata Haskell package 2014-04-25 16:21:50 +02:00
mornfall
abe9fb340e Merge pull request #2390 from ertes/ertes-haskell-jack
haskell: Added enumset and jack.
2014-04-25 14:28:13 +02:00
Ertugrul Söylemez
a3a2222fec haskell: Added enumset 0.0.4 and jack 0.7.0.2. 2014-04-25 14:03:57 +02: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
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
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
Peter Simons
0325be8d50 haskell-http-conduit: update to version 2.1.1 2014-04-23 11:17:09 +02:00
Peter Simons
ef5ef8b155 haskell-http-client: update to version 0.3.1.1 2014-04-23 11:17:09 +02:00
Peter Simons
93ba774067 haskell-hoogle: update to version 4.2.32 2014-04-23 11:17:09 +02:00
Peter Simons
a80ec739b5 haskell-hledger: update to version 0.22.2 2014-04-23 11:17:09 +02:00
Peter Simons
450c7b9bdf haskell-hledger-web: update to version 0.22.7 2014-04-23 11:17:09 +02:00
Peter Simons
d90cb9ebec haskell-hledger-lib: update to version 0.22.2 2014-04-23 11:17:09 +02:00
Peter Simons
dd9b958765 haskell-haskell-names: update to version 0.3.3.1 2014-04-23 11:17:09 +02:00
Peter Simons
918ad1af54 haskell-happstack-server: update to version 7.3.5 2014-04-23 11:17:09 +02:00
Peter Simons
fb74f950c0 haskell-gtk: update to version 0.12.5.7 2014-04-23 11:17:08 +02:00
Peter Simons
3244e10c1b haskell-glib: update to version 0.12.5.4 2014-04-23 11:17:08 +02:00
Peter Simons
cf71fce3a2 haskell-fay: update to version 0.19.2.1 2014-04-23 11:17:08 +02:00
Peter Simons
d0967c1324 haskell-explicit-exception: update to version 0.1.7.2 2014-04-23 11:17:08 +02:00
Peter Simons
f6c8a17fb5 haskell-esqueleto: update to version 1.3.12 2014-04-23 11:17:08 +02:00
Peter Simons
50780aabe3 haskell-dns: update to version 1.2.2 2014-04-23 11:17:08 +02:00
Peter Simons
7cc98529c7 haskell-derive: update to version 2.5.15 2014-04-23 11:17:08 +02:00
Peter Simons
b16fcdcddf haskell-dataenc: update to version 0.14.0.6 2014-04-23 11:17:08 +02:00
Peter Simons
1983e40f10 haskell-cookie: update to version 0.4.1.1 2014-04-23 11:17:08 +02:00
Peter Simons
7f72b38f3c haskell-connection: update to version 0.2.1 2014-04-23 11:17:08 +02:00
Peter Simons
fef13a99f9 haskell-conduit: update to version 1.1.0.2 2014-04-23 11:17:08 +02:00
Peter Simons
7acbb2938a haskell-conduit-extra: update to version 1.1.0.1 2014-04-23 11:17:08 +02:00
Peter Simons
2a3cb33350 haskell-conduit-combinators: update to version 0.2.4.1 2014-04-23 11:17:08 +02:00
Peter Simons
00bc025d05 haskell-chell-quickcheck: update to version 0.2.3 2014-04-23 11:17:08 +02:00
Peter Simons
6fa686c078 haskell-atomic-primops: update to version 0.6.0.5 2014-04-23 11:17:08 +02:00
Peter Simons
0ab1f4305b haskell-alsa-pcm: update to version 0.6.0.2 2014-04-23 11:17:08 +02:00
Peter Simons
e138265a5b haskell-alsa-mixer: update to version 0.2.0.2 2014-04-23 11:17:08 +02:00
Peter Simons
d8e36fac62 haskell-aeson: update to version 0.7.0.3 2014-04-23 11:17:08 +02:00
Peter Simons
9eaa3ef5a2 haskell-RepLib: update to version 0.5.3.2 2014-04-23 11:17:07 +02:00
Peter Simons
aeafc12d89 haskell-gtk2hs-buildtools: update to version 0.12.5.2 2014-04-23 11:17:07 +02:00
Christoph Hrdinka
6b1d20abe8 haskell-msgpack: add version 0.7.2.5 2014-04-23 10:06:19 +02:00
John Wiegley
a07455dd16 Add expression for cabal-install 1.20.0.0 2014-04-20 14:04:41 -05:00
John Wiegley
599c2775dd Add expression for xml-lens 2014-04-19 11:21:15 +01:00
Michael Raskin
3c8311aae6 Merge pull request #2306 from jwiegley/logging
Update logging expression to 1.4.0
2014-04-18 10:46:59 -07:00