BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
42989 commits 1 branch 0 tags 3.8 GiB
Commit graph

11868 commits

Author SHA1 Message Date
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
Michael Raskin
feddcfaf1e Readding Erlang R16B02: R17 is a major update and it breaks Ejabberd. 2014-05-02 20:50:58 +04:00
Austin Seipp
b10f4af8f9 nginx: upgrade to 1.6.0, expose many more modules 
By default, we now build all the optional nginx modules, including the
out-of-band ones like moreheaders and rtmp support.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-02 01:24:38 -05:00
Austin Seipp
f21d619558 nixpkgs: move frama-c to a more appropriate directory 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-01 19:14:08 -05:00
Austin Seipp
0c51a4ac98 nixpkgs: add CompCert 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-01 19:11:46 -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
Emery Hemingway
3b1a171c05 qtbitcointrader: initial expression 2014-05-01 15:50:57 +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
Peter Simons
0293dc9fbd Merge pull request #2357 from Chaddai/texstudio 
Texstudio : advanced editor for LaTeX
 2014-05-01 13:06:06 +02:00
Oliver Charles
038645ad97 Merge pull request #2457 from jwiegley/posix-paths 
Add expression for the Haskell posix-paths library
 2014-05-01 11:41:39 +01:00
Austin Seipp
6d52463bd3 nixpkgs: add alt-ergo 0.95.2 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-01 02:42:31 -05:00
Austin Seipp
4ee4f76176 nixpkgs: add why3 0.83 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-01 02:30:39 -05:00
Austin Seipp
d1a32414cd nixpkgs: add ltl2ba 1.1 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-01 02:30:34 -05:00
Austin Seipp
02351691ba ocaml-packages: add zarith 1.2.1 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2014-05-01 02:30:28 -05:00
Moritz Ulrich
397682be6b Bump pass(word-store) to 1.6.1. 
...and also simplify the expression massively.
 2014-04-30 23:52:55 +02:00
John Wiegley
3988f438ef Add expression for the Haskell posix-paths library 2014-04-30 17:19:34 -04: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
Benno Fünfstück
3685bf378f haskell: new expression cabal-bounds 2014-04-29 19:19:10 +02:00
Chaddaï Fouché
ce82a2d6d9 Cleaning up the description and fixing qt to qt4 2014-04-29 16:49:20 +02:00
Chaddaï Fouché
89595fbcea Creation of a new package for texstudio, an editor for LaTeX documents 2014-04-29 16:48:22 +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
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