JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
42,704 Commits 2 Branches 0 Tags 13 GiB
9eff988bbf
Commit Graph

6138 Commits

Author SHA1 Message Date
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