John Wiegley
3988f438ef
Add expression for the Haskell posix-paths library
2014-04-30 17:19:34 -04:00
Austin Seipp
d9d76f1a3a
cryptol: add 1.8.x expression
...
This also includes support for the verification tools I'm using. Cryptol
2 is still the default obviously.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-04-29 17:50:55 -05:00
Peter Simons
e8ba2d4ded
haskell-packages.nix: switch ghc-head to cabal-install 1.20.x.x
2014-04-29 01:35:45 +02:00
Peter Simons
2bf7311b3f
haskell-packages.nix: cosmetic
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
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
Oliver Charles
5de0ca50d7
Merge pull request #2389 from bennofs/haskell-ghc-gc-tune
...
haskell-ghc-gc-tune: new expression
2014-04-25 12:12:57 +01: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
Benno Fünfstück
027319708e
haskell-ghc-gc-tune: new expression
2014-04-25 12:33:07 +02: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
Christoph Hrdinka
6b1d20abe8
haskell-msgpack: add version 0.7.2.5
2014-04-23 10:06:19 +02:00
Shea Levy
5701e4e15a
Add buildLocalCabalWithArgs for providing extra arguments to callPackage
2014-04-20 22:57:03 -04: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
f45bcfb5e9
Merge pull request #2298 from jwiegley/hfsevents
...
Add hfsevents expression, and make fsnotify use it on darwin
2014-04-18 10:42:16 -07:00
John Wiegley
0556bc0fcb
Add hfsevents expression, and make fsnotify use it on darwin
2014-04-16 16:43:32 -05:00
John Wiegley
df56712700
The timeparsers library requires convertible == 1.0.*
2014-04-16 13:09:31 -05:00
Peter Simons
d4097e4e0e
Merge pull request #2273 from jwiegley/cabal-delete
...
Add expression for cabal-delete
2014-04-16 10:17:29 +02:00
John Wiegley
f2690384c9
Three new Haskell tools: rehoo, una, cabal-meta
2014-04-15 04:32:06 -05:00
John Wiegley
00d5f3ab79
Add expression for cabal-delete
2014-04-15 04:16:55 -05:00
Lukas Toth
f5fa89f198
haskellPackages.Unixutils: New expression
2014-04-15 10:43:38 +02:00
Lukas Toth
66e750190f
haskellPackages.bzlib: New expression
2014-04-15 10:43:38 +02:00
Lukas Toth
cf63d8953c
haskellPackages.Extra: New expression
2014-04-15 10:43:38 +02:00
Lukas Toth
1ae0fec71b
haskellPackages.ipprint: New expression
2014-04-15 10:43:38 +02:00
John Wiegley
d5898b3733
Add the Haskell system utility "sizes"
2014-04-15 02:28:02 -05:00
Oliver Charles
7f4afcda7e
Merge pull request #2235 from bennofs/haskell-monad-extras
...
haskell: add monad-extras
2014-04-13 12:11:27 +01:00
Benno Fünfstück
7fed418b24
haskell: add monad-extras
2014-04-13 10:19:30 +02:00
John Wiegley
0ef3c47778
Add recipes for a few Haskell libraries
2014-04-12 10:22:37 -05:00
Oliver Charles
1b7a8e6f5b
Merge pull request #2217 from bennofs/haskell-uri
...
Add uri haskell package
2014-04-12 16:09:46 +01:00
Oliver Charles
99d8ef0673
haskellPackages.snapCORS: New expression
2014-04-12 16:04:40 +01:00
Benno Fünfstück
796ea8ee11
haskell: add uri package
2014-04-12 16:59:29 +02:00
Peter Simons
f32be2da85
haddock: update to version 2.14.2
2014-04-11 22:33:11 +02:00
Peter Simons
86177f06e9
haskell-haskell-src: add version 1.0.1.6
2014-04-11 22:33:11 +02:00
Peter Simons
f5dd4d383b
haskell-HTTP: update to version 4000.2.12
2014-04-11 22:33:11 +02:00
Peter Simons
e1bdc5c164
haskell-statistics: add version 0.11.0.0
2014-04-11 22:33:11 +02:00
Peter Simons
ea95516bf8
haskell-parsers: add version 0.11
2014-04-11 22:33:11 +02:00
John Wiegley
8026caec43
Add c2hsc to haskell-packages.nix
2014-04-11 10:34:56 -05:00
Peter Simons
9818422bc0
Merge pull request #2203 from fmap/language-c-inline
...
New derivation: language-c-inline (haskell)
2014-04-11 11:45:45 +02:00
