Vladimir Kirillov
9aa231abfa
buildLocalCabal: include cabalInstall to buildDepends to preserve developer experience
2014-05-05 14:43:55 +03:00
Peter Simons
66997bba1e
haskell-gloss: require the latest OpenGL and GLUT libraries
2014-05-05 10:54:12 +02:00
Peter Simons
dbb561ae62
haskell-packages.nix: strip trailing whitespace
2014-05-05 10:52:11 +02:00
Peter Simons
f5a6b58374
cabal-install: update to version 1.20.0.1
2014-05-05 10:46:40 +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
401f4a28c1
cryptol: fix reference to text library
2014-05-04 23:21:39 +02:00
Benno Fünfstück
d385835c38
haskell-profiteur: new expression
2014-05-04 23:02:46 +02:00
Peter Simons
18f49692ec
haskell-wreq: fix reference to attoparsec
2014-05-04 22:25:56 +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
ce21d883c0
haskell-vinyl: add version 0.3
2014-05-04 13:19:56 +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
Vladimir Kirillov
599f9a09fe
haskell: bump ekg to 0.4, add ekg-core
2014-05-03 17:36:03 +03:00
Peter Simons
64d662e056
Agda: move compiler and standard library into a common directory
...
Also renamed AgdaStdLib attribute to AgdaStdlib, since upstream doesn't
seem to capitalize that name.
2014-05-03 12:37:17 +02:00
Peter Simons
801a4818c8
Merge pull request #2474 from jwiegley/agda-stdlib
...
Add expression for the Agda standard library
2014-05-03 12:33:26 +02: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
John Wiegley
7d788d5e4f
Add expression for the Agda standard library
2014-05-02 19:15:38 -05:00
John Wiegley
fb778b705f
Add expression for Haskell library 'these'
2014-05-02 13:43:34 -05: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
Benno Fünfstück
8310c6a403
haskell-cabal-bounds: use versionOlder
...
for some reason, versionAtLeast doesn't work
2014-05-01 15:02:50 +02:00
Peter Simons
979520396e
Merge pull request #2311 from bennofs/haskell-cabal-bounds
...
haskell-cabal-bounds: New expression
2014-05-01 14:53:10 +02:00
Benno Fünfstück
e914f15728
haskell-cabal-bounds: avoid rebuild of Cabal
2014-05-01 14:51:06 +02:00
Peter Simons
d4ceed5f2a
haskell-hspec: the limitation on QuickCheck 2.7 has been lifted recently
2014-05-01 14:37:09 +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
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
Benno Fünfstück
3685bf378f
haskell: new expression cabal-bounds
2014-04-29 19:19:10 +02: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
