alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
42847 commits 217 branches 121 tags 4.5 GiB
Commit graph

11839 commits

Author SHA1 Message Date
John Wiegley fb778b705f Add expression for Haskell library 'these' 2014-05-02 13:43:34 -05:00
Austin Seipp 3c3256e4a8 nixpkgs: clang-analyzer 3.4 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-29 19:36:43 -05: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
Austin Seipp 1d3b5874ad nixpkgs: cov-build 7.0.2 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-29 16:00:34 -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 1d7f7ad92f Merge pull request #2353 from jwiegley/sage 
Add expression for sage
 2014-04-28 22:46:27 +02:00
Peter Simons 3445df42a4 Merge pull request #2368 from Chaddai/texmaker 
TeXmaker
 2014-04-28 22:42:47 +02:00
Austin Seipp aaa0304a45 nixpkgs: verifast 13.11.14 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-28 13:46:27 -05:00
Eelco Dolstra 2ca913c509 Add some packages to the channel 2014-04-28 18:34:23 +02:00
Domen Kožar 80f7248c83 Merge pull request #2432 from Fuuzetsu/livestreamer 
livestreamer: version 1.8.0
 2014-04-28 17:08:58 +02:00
Eelco Dolstra 0af5d11a6f qemu-image: Remove (obsolete) 2014-04-28 14:34:34 +02:00
Mateusz Kowalczyk 9cb0a79538 livestreamer: version 1.8.0 
A test fails with Python 3.4 so we ignore that one.
 2014-04-28 09:03:44 +00:00
Austin Seipp 111e1536e5 nixpkgs: remove cb1cat 
Brice Minaud reported a simple attack on the CBEAM Pi permutation
function, resulting in it being withdrawn from CAESAR. :(

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-27 13:51:56 -05:00
Austin Seipp da0c8f33ef nixpkgs: yices 2.2.1 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-27 13:05:40 -05:00
Domen Kožar 67b0c3e1a6 pythonPackages.chameleon: 2.11 -> 2.15 2014-04-27 12:21:11 +02:00
Mateusz Kowalczyk 9a77b8e64f tibia: version 10.38 
Closes #2396
 2014-04-26 12:58:25 -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
Domen Kožar 083a407d04 pythonPackages.pyramid: 1.4.5 -> 1.5 2014-04-26 12:16:14 +02:00
Oliver Charles 136b454e48 Merge pull request #2395 from cstrahan/pycapnp 
pycapnp: Add package
 2014-04-26 10:00:12 +01: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
Oliver Charles b50c525e69 Merge pull request #2409 from fmap/haskell-bv 
Derivation for the Haskell library, "bv".
 2014-04-26 09:56:20 +01:00
Domen Kožar 954c1123ad Merge pull request #2403 from linquize/chatzilla 
chatzilla: Use latest firefox's xulrunner
 2014-04-26 10:28:22 +02:00
vi 74efbde57c Derivation for the Haskell library, "bv". 2014-04-26 16:17:04 +08:00
Linquize 20c395d8aa chatzilla: Use latest firefox's xulrunner 2014-04-26 02:04:18 +02:00
Thomas Tuegel 7c274bf958 Add haskell-hmatrix-special-0.2.0 2014-04-25 17:17:47 -05:00
Charles Strahan 5ebb896d5b pycapnp: Add package 2014-04-25 14:34:13 -04:00
Austin Seipp e146a02d14 nixpkgs: Add cryptol2 expression 
This is just a convenient shorthand so people don't have to spell out
haskellPackages.cryptol

Note that the top-level expression is named 'cryptol2' but the package
isn't. That's because Cryptol is a library and other things could depend
on it (hence the vanilla name), but also the full name will be
disambiguated as 'haskell-cryptol-ghc7.6.3' anyway.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-04-25 11:07:18 -05:00
Oliver Charles 282a662a32 Merge pull request #2392 from cstrahan/capnproto 
capnproto: Add package
 2014-04-25 17:06:20 +01:00
Charles Strahan 604a4b680c capnproto: Add package 2014-04-25 11:18:18 -04: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
Shea Levy e85b164df8 Add php 5.3 variant with fpm support 2014-04-25 08:19:45 -04: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
aszlig 33eced411f
python-django: Update to 1.4.11, 1.5.6 and 1.6.3. 
This fixes CVE-2014-0472, details can be found at:

http://web.nvd.nist.gov/view/vuln/detail?vulnId=CVE-2014-0472
https://www.djangoproject.com/weblog/2014/apr/21/security/

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
(cherry picked from commit 4a0c468043)
Signed-off-by: aszlig <aszlig@redmoonstudios.org>
 2014-04-25 12:30:23 +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
Rob Vermaas 477b9a9bbb Merge pull request #2363 from wizeman/u/nethogs 
nethogs: Add package
 2014-04-25 11:34:22 +02: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
Eelco Dolstra d304b277bd Silence some Hydra evaluation warnings 2014-04-24 15:40:55 +02:00
Rickard Nilsson 7336218a9e postfix: Add version 2.11.0 as nixpkgs.postfix211 
I think this version should replace the current nixpkgs.postfix,
but it could potentially break stuff since the version jump is
big (2.8 -> 2.11).
 2014-04-24 11:56:54 +02:00
vi a16098995a New package: lists and its dependency, list-extras (Haskell.) 2014-04-24 17:41:40 +08:00
Chaddaï Fouché 31b58dccfe Added TeXmaker package : an advanced editor for latex 2014-04-24 10:59:29 +02:00