Commit Graph

8321 Commits

Author SHA1 Message Date
Domen Kožar
a088c6fa36 Merge pull request #2710 from lovek323/mpd
mpd: fix build on darwin
2014-05-25 15:34:10 +02:00
Charles Strahan
6d173e2a81 spawn-fcgi: Add package 2014-05-25 15:27:58 +02:00
John Wiegley
cceea413bc Add expression to build the eboard chess client 2014-05-25 03:21:21 -05:00
Daniel Bergey
2bfd36fa14 Nafees font family (5 fonts) 2014-05-25 01:30:57 +00:00
AndersonTorres
956a012988 Galculator: add version 2.3.1
Galculator is a GTK full-fledged calculator.
2014-05-24 13:33:28 -03:00
Peter Simons
07151095a7 Merge pull request #2532 from jwiegley/gtk
Get glib, gtk+, harfbuzz and pango working on Darwin
2014-05-23 16:37:00 +02:00
Jason "Don" O'Conal
1ab31c05e7 mpdcron: add expression 2014-05-23 08:39:28 +10:00
Jordan Patterson
0bc17d9fa9 Add unicode3 option to rxvt_unicode
Needed to user fonts patched for powerline.
2014-05-22 15:13:25 -06:00
Aristid Breitkreuz
ecee297a18 fhs-chrootenv (steam): support directly using users other than root, fix sound support, fix /run/user 2014-05-22 22:01:00 +02:00
Jaka Hudoklin
4d634e2bae Add apktool, tool for reverse engineering Android apk files 2014-05-22 15:43:50 +02:00
Domen Kožar
eac9fe354c python27Packages is now a hiPrioSet to avoid other python versions interfering 2014-05-22 08:58:57 +02:00
Austin Seipp
79a0ae902f arcanist: version 20140521
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-21 15:17:52 -05:00
Luca Bruno
0f51ae90b9 Revert "typescript: add package. Closes #2712"
This reverts commit 93a7cf74b9.
2014-05-21 15:57:34 +02:00
Jussi Maki
93a7cf74b9 typescript: add package. Closes #2712
Typed superset of JavaScript that compiles to plain JavaScript.

http://www.typescriptlang.org/
2014-05-21 15:21:48 +02:00
Jussi Maki
75cb485718 ansible: conventions, fix module execution 2014-05-21 14:46:37 +02:00
Jussi Maki
0ebc2e75f1 ansible: add package 2014-05-21 09:36:29 +02:00
Jason "Don" O'Conal
bcc36ee23e mpd: fix build on darwin 2014-05-21 15:50:15 +10:00
lethalman
cd4063b99b Merge pull request #2708 from offlinehacker/pkgs/network-manager/gnome3
network-manager: Fix all plugins to use gnome3 and gtk3, like nm-applet does
2014-05-20 22:44:01 +02:00
Jaka Hudoklin
3673ba6150 network-manager: Fix all plugins to use gnome3 and gtk3, like nm-applet does
I think this makes sense, because now all the plugins will be gnome3 gtk3
based, the same way nm-applet is.

I also removed networkmanager_pptp_gnome variation of networkmanager_pptp
package, because i think no variation is needed and gnome support should
be on by default like in other packages.
2014-05-20 20:37:29 +02:00
Luca Bruno
25c96caa9c Fix goffice_0_8 after gnome-3 directory renaming 2014-05-20 16:03:11 +02:00
Luca Bruno
6c0e43d249 Add clutter 1.18 2014-05-20 13:41:40 +02:00
Luca Bruno
3b39718eba Add cogl 1.18 2014-05-20 13:41:40 +02:00
Luca Bruno
288076154f appdata-tools: add new package 2014-05-20 13:41:39 +02:00
Luca Bruno
df95a8cc2f upower: add 0.99 version for gnome 3.12 2014-05-20 13:41:39 +02:00
Luca Bruno
d1720a73dd Add spidermonkey_24 2014-05-20 13:41:38 +02:00
Luca Bruno
d05fa3ccfe Branch gnome 3.12 2014-05-20 13:41:33 +02:00
Jaka Hudoklin
22f78aa3f4 Add cutter, TCP/IP Connection cutting 2014-05-20 12:37:32 +02:00
Lluís Batlle i Rossell
b10fe939ea Fixing binutils cross-building.
Gold is now enabled, and the last time I built this, it was not.
2014-05-18 18:25:45 +02:00
Vladimír Čunát
6275803808 Merge branch 'test-1515' (close #1515) 2014-05-18 17:34:28 +02:00
Austin Seipp
1651871250 jhc: 0.8.0 -> 0.8.1
Also, bootstrap the compiler with GHC 7.6.3 instead of 6.12.3.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-18 10:14:05 -05:00
Austin Seipp
76beda705e kernel/grsec: disable vserver packages for now
Fixing this will require some fiddling due to the odd version number;
see the Hydra build logs for more.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-18 08:58:16 -05:00
Austin Seipp
7d16157c87 Merge pull request #2478 from Fuuzetsu/cantata
cantata: create version 1.3.4
2014-05-18 08:25:27 -05:00
Austin Seipp
9fa2ea2a37 Merge pull request #2674 from AndersonTorres/mednafen
Mednafen: add version 0.9.34.1 + server 0.5.1
2014-05-18 08:22:20 -05:00
Austin Seipp
4f27ad14a1 grsec: refactor grsecurity packages
This now provides a handful of different grsecurity kernels for slightly
different 'flavors' of packages. This doesn't change the grsecurity
module to use them just yet, however.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-17 14:09:43 -05:00
Austin Seipp
92abc4c610 kernel: enable AppArmor by default
AppArmor only requires a few patches to the 3.2 and 3.4 kernels in order
to work properly (with the minor catch grsecurity -stable includes the
3.2 patches.) This adds them to the kernel builds by default, removes
features.apparmor (since it's always true) and makes it the default MAC
system.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-17 14:09:09 -05:00
Austin Seipp
552db25e7f nixpkgs: add abc version 040509
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-17 14:09:09 -05:00
Shea Levy
224f9b478d Add cpp-netlib library 2014-05-17 09:32:56 -04:00
Kirill Elagin
d15c34f677 zathura: mupdf plugin 2014-05-17 16:46:20 +04:00
Vladimír Čunát
137eae0b55 Merge #2630: add and use fetchpatch
fetchpatch is fetchurl that determinizes the patch.
Some parts of generated patches change from time to time, e.g. see #1983 and
http://comments.gmane.org/gmane.linux.distributions.nixos/12815
Using fetchpatch should prevent the hash from changing.

Conflicts (auto-solved):
	pkgs/development/libraries/haskell/gitit/default.nix
2014-05-17 07:31:03 +02:00
AndersonTorres
b1dbafbdbb Mednafen: add version 0.9.34.1 + server 0.5.1
Mednafen is a portable, CLI-driven, multi-system emulator
2014-05-17 00:08:04 -03:00
Rob Vermaas
1cf51eb3fc Merge pull request #2589 from linquize/cccc
cccc: New package 3.1.4
2014-05-16 09:16:25 +02:00
Rob Vermaas
3589c095ad Merge pull request #2620 from linquize/non-java
Move non-java libraries to "DEVELOPMENT / LIBRARIES" section
2014-05-16 09:15:40 +02:00
Georges Dubus
658c136615 add Posterazor (close #2538)
@vcunat patched for newer gcc.
2014-05-15 21:32:21 +02:00
Eelco Dolstra
168fe56f3b Merge branch 'monit-5.8' of github.com:wmertens/nixpkgs 2014-05-15 14:42:20 +02:00
aszlig
4be7e939a0
Merge pull request #2645 from vandenoever/ori.
Add ori, a secure distributed filesystem.
2014-05-15 06:31:23 +02:00
Karn Kallio
432998852c Add the Mercury compiler to nixpkgs. 2014-05-14 22:44:38 +02:00
Benjamin Podszun
2ce5162252 Bump virt-viewer to 0.6.0, from the 2009 version 2014-05-14 22:24:01 +02:00
lethalman
0bf388b697 Merge pull request #2618 from coreyoconnor/jmtpfs-upstream
add jmtpfs - a FUSE filesystem for MTP
2014-05-14 22:17:13 +02:00
Austin Seipp
a82e8cbb3d Merge pull request #2415 from cstrahan/libmx
libmx: Add package
2014-05-14 15:04:39 -05:00
Austin Seipp
832c1abc91 Merge pull request #2632 from cstrahan/biosdevname
biosdevname: add package
2014-05-14 15:00:10 -05:00
Austin Seipp
aaf7f570c1 Merge pull request #2438 from falsifian/gnunet_deps
fix GNUnet missing dependencies
2014-05-14 14:56:25 -05:00
Shea Levy
2baeefee27 Add function for fetching from a private git repo 2014-05-14 14:47:42 -04:00
Jos van den Oever
8d6a940057 Add ori, a secure distributed filesystem. 2014-05-14 20:07:39 +02:00
Peter Simons
fd0f9e6fc1 Re-write the Haskell Platform out of haskell-defaults.nix.
1) Packages formerly called haskell-haskell-platform-ghcXYZ-VVVV.X.Y.Z are
    now called haskell-platform-VVVV.X.Y.Z. The latest version can be
    installed by running "nix-env -i haskell-platform".

 2) The attributes haskellPackages_ghcXYZ.haskellPlatform no longer exist.
    Instead, we have attributes like haskellPlatformPackages."2012_4_0_0".
    (The last numeric bit must be quoted when used in a Nix file, but not on
    the command line to nix-env, nix-build, etc.) The latest Platform has a
    top-level alias called simply haskellPlatform.

 3) The haskellPackages_ghcXYZ package sets offer the latest version of every
    library that GHC x.y.z can compile. For example, if 2.7 is the latest
    version of QuickCheck and if GHC 7.0.4 can compile that version, then
    haskellPackages_ghc704.QuickCheck refers to version 2.7.

 4) All intermediate GHC releases were dropped from all-packages.nix to
    simplify our configuration. What remains is a haskellPackages_ghcXYZ set
    for the latest version of every major release branch, i.e. GHC 6.10.4,
    6.12.3, 7.0.4, 7.2.2, 7.4.2, 7.6.3, 7.8.2, and 7.9.x (HEAD snapshot).

 5) The ghcXYZPrefs functions in haskell-defaults.nix now inherit overrides
    from newer to older compilers, i.e. an override configured for GHC 7.0.4
    will automatically apply to GHC 6.12.3 and 6.10.4, too. This change has
    reduced the redundancy in those configuration functions. The downside is
    that overriding an attribute for only one particular GHC version has become
    more difficult. In practice, this case doesn't occur much, though.

 6) The 'cabal' builder has a brand-new argument called 'extension'. That
    function is "self : super : {}" by default and users can override it to
    mess with the attribute set passed to cabal.mkDerivation. An example use
    would be the definition of darcs in all-packages.nix:

    | darcs = haskellPackages.darcs.override {
    |   cabal = haskellPackages.cabal.override {
    |     extension = self : super : {
    |       isLibrary = false;
    |       configureFlags = "-f-library " + super.configureFlags or "";
    |     };
    |   };
    | };

    In this case, extension disables building the library part of the package
    to give us an executable-only version that has no dependencies on GHC or
    any other Haskell packages.

    The 'self' argument refers to the final version of the attribute set and
    'super' refers to the original attribute set.

Note that ...

 - Haskell Platform packages always provide the Haddock binary that came with
   the compiler.

 - Haskell Platform 2009.2.0.2 is broken because of build failures in cgi and
   cabal-install.

 - Haskell Platform 2010.1.0.0 is broken becasue of build failures in cgi.
2014-05-14 14:59:52 +02:00
Lluís Batlle i Rossell
4fcdc32924 Adding rkflashtool, to flash MK802IV. 2014-05-14 09:59:36 +02:00
Austin Seipp
21cb0c9bbb Merge pull request #2621 from CodeBlock/fldigi
Package hamlib and fldigi; Bump perlPackages.ExtUtilsMakeMaker
2014-05-13 19:45:34 -05:00
Austin Seipp
11373a9d05 Merge pull request #2520 from CodeBlock/scala
scala: Bump to 2.11.0, bump 2.10 to 2.10.4
2014-05-13 19:44:42 -05:00
Austin Seipp
738622282b Merge pull request #2622 from CodeBlock/minimodem
Add minimodem package
2014-05-13 19:43:52 -05:00
Charles Strahan
f43d070865 biosdevname: add package 2014-05-13 19:20:44 -04:00
Peter Simons
61cd66944e all-packages.nix: ensure that python3 and python3Packages refer to the same version!
Thanks to Vladimír for the suggestion.
2014-05-13 23:31:44 +02:00
Peter Simons
2083a23073 all-packages.nix: switch 'python3' to python 3.4.x 2014-05-13 16:33:05 +02:00
Linquize
977248ba15 codeblocks: new package 13.12 (close #2533)
@vcunat: minor refactoring.
2014-05-13 12:59:19 +02:00
AndersonTorres
64948222ba Aegisub: update to 3.1.3 (close #2550)
New dependencies: icu, intltool, boost (default = 1.55), wxGTK 3.0
Fixes a bug on Boost detection
@vcunat: minor refactoring.
2014-05-13 12:28:47 +02:00
Ricky Elrod
b56e41aebe Add eb-garamond font (close #2553)
@vcunat added license, changed attribute name according to the [rules],
and trivial refactoring.
[rules]: http://nixos.org/nixpkgs/manual/#idm140333184443184 ("package naming")
2014-05-13 12:07:50 +02:00
lethalman
8051101362 Merge pull request #2375 from lethalman/gnome3
gtkhtml, evolution, gnome-photos, gnome-clocks, zeitgeist, bijiben
2014-05-13 12:04:11 +02:00
John Wiegley
61b94dff81 Get glib, gtk+, harfbuzz and pango working on Darwin 2014-05-12 16:53:11 -05:00
Shea Levy
89238a251c Merge branch 'sysdig-0.1.82-now-with-osx' of git://github.com/proger/nixpkgs
sysdig: updated to 0.1.82, starting to support Darwin builds (includes
luajit Darwin support)
2014-05-12 09:34:23 -04:00
Ricky Elrod
6e2fe51190 Add minimodem package
Signed-off-by: Ricky Elrod <ricky@elrod.me>
2014-05-11 18:44:38 -04:00
Ricky Elrod
913e340c9a Add fldigi package
Signed-off-by: Ricky Elrod <ricky@elrod.me>
2014-05-11 18:03:33 -04:00
Linquize
70c682b837 Move non-java libraries to "DEVELOPMENT / LIBRARIES" section 2014-05-12 05:08:47 +08:00
Ricky Elrod
951ad60025 Package hamlib library
Signed-off-by: Ricky Elrod <ricky@elrod.me>
2014-05-11 16:45:49 -04:00
Corey O'Connor
2efda9dce7 add jmtpfs - a FUSE filesystem for MTP 2014-05-11 12:36:51 -07:00
Thomas Tuegel
b4c8981064 sane: add mkSaneConfig 2014-05-11 14:01:07 -05:00
cillianderoiste
885a2d9c53 Merge pull request #2410 from pSub/potrace
Add potrace-1.11, a tool for tracing bitmaps
2014-05-11 14:46:12 +02:00
Vladimír Čunát
ce02e8c1db bedup: add top-level attribute
Currently I see no standard way of having package name
without the "pythonX.Y-" prefix.

This is replacement to #2339.
2014-05-11 14:29:13 +02:00
Thomas Tuegel
a0dc20719b hplip: add binary plugin 2014-05-10 21:57:05 -05:00
Henry Till
6223cbd7a8 supercollider: added emacs support 2014-05-10 22:18:03 -04:00
Vladimir Kirillov
96903d5e48 sysdig: support builds without the kernel module, add pkgs.sysdig attr 2014-05-10 13:50:49 +03:00
Linquize
349d87d47c cccc: New package 3.1.4 2014-05-09 16:50:36 +02:00
Eelco Dolstra
ea36f3b868 fetchFromGitHub: Use .tar.gz instead of .zip
Also clean up the name attribute of fetchzip derivations a bit.
2014-05-09 15:53:44 +02:00
Pascal Wittmann
8b0d0e3601 Add potrace-1.11, a tool for tracing bitmaps 2014-05-09 14:23:00 +02:00
Mateusz Kowalczyk
a9f85aa4e9 cantata: create version 1.3.4 2014-05-09 03:22:45 +02:00
aszlig
c833d7ce16
chromium: Allow config.chromium for PPAPI plugins.
This should make it easier to enable proprietary pepper API plugins
though nixpkgs config, so it can be easily installed using something
like:

nix-env -i chromium-stable

With something like:

{ chromium.enablePepperFlash = true; }

In ~/.nixpkgs/config.nix to enable pepper API based Flash and to avoid
the browser wrapper from Firefox entirely.

Signed-off-by: aszlig <aszlig@redmoonstudios.org>
2014-05-08 16:41:38 +02:00
Eelco Dolstra
6aeb59bbe0 Rename fetchGitHub -> fetchFromGitHub
We're not fetching all of GitHub, after all.
2014-05-08 15:49:39 +02:00
Eelco Dolstra
ebd8573046 Add a utility function "fetchGitHub"
This is a small wrapper around fetchzip. It allows you to say:

  src = fetchGitHub {
    owner = "NixOS";
    repo = "nix";
    rev = "924e19341a5ee488634bc9ce1ea9758ac496afc3"; # or a tag
    sha256 = "1ld1jc26wy0smkg63chvdzsppfw6zy1ykf3mmc50hkx397wcbl09";
  };
2014-05-08 15:30:18 +02:00
Eelco Dolstra
c8df888858 Add a function "fetchzip"
This function downloads and unpacks a file in one fixed-output
derivation. This is primarily useful for dynamically generated zip
files, such as GitHub's /archive URLs, where the unpacked content of
the zip file doesn't change, but the zip file itself may (e.g. due to
minor changes in the compression algorithm, or changes in timestamps).

Fetchzip is implemented by extending fetchurl with a "postFetch" hook
that is executed after the file has been downloaded. This hook can
thus perform arbitrary checks or transformations on the downloaded
file.
2014-05-08 15:30:17 +02:00
Eelco Dolstra
2a43a4163a Fix indentation 2014-05-08 15:30:17 +02:00
Eelco Dolstra
46b77d3bb4 fetchurl_gnome -> fetchurlGnome 2014-05-08 15:30:17 +02:00
Peter Simons
8c75363c71 The logic behind 'libiconvOrLibc' is flawed and that attribute should be removed.
See https://github.com/NixOS/nixpkgs/pull/2532 for further details.
2014-05-07 23:11:51 +02:00
Rob Vermaas
31428612c2 Upgrade rtmpdump and get_iplayer 2014-05-07 20:56:37 +02:00
Peter Simons
715efa1948 R: don't recurse into the rPackages set to conserve memory and CPU time
The addition of CRAN has made "nix-env -qa \*" run ~30% longer than before [1].

[1] 0d264c1761
2014-05-07 19:12:15 +02:00
Peter Simons
5b52d17d3f Mark the development version of weechat 'lowPrio' so that user install
the stable release version by default.
2014-05-07 17:39:27 +02:00
Shea Levy
4b6be7ba9f Merge branch 'phpPackages-xdebug' of git://github.com/proger/nixpkgs
re-introduce phpXdebug as phpPackages.xdebug and bump to 2.2.5
2014-05-07 09:32:25 -04:00
Rob Vermaas
1a6a797ec3 Add liblbfgs 1.10 2014-05-07 14:22:04 +02:00
Vladimir Kirillov
16e7ae3b10 re-introduce phpXdebug as phpPackages.xdebug and bump to 2.2.5
this uses buildPecl now.
2014-05-07 14:18:18 +03:00
Austin Seipp
b6c7f18711 nixpkgs: add COPRTHR 1.6
COPRTHR is a very excellent little SDK implementing OpenCL and related
tech for regular multicore processors, as well as things like my new
Parallella (along with remote/networked OpenCL compute support).

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2014-05-07 04:13:47 -05:00
cillianderoiste
366e220c25 Merge pull request #2551 from CodeBlock/source-code-pro
Add Source Code Pro font
2014-05-07 09:48:49 +02:00
cillianderoiste
45ed706cea Merge pull request #2536 from CodeBlock/poly-font
Poly font
2014-05-07 09:48:26 +02:00
Ricky Elrod
df9427c535 Source Code Pro font 2014-05-06 19:49:15 -04:00
Eelco Dolstra
535de5e45a Add nifskope 2014-05-07 00:08:40 +02:00
Maxim Ivanov
e2e77950f3 Scatter output hook
This hook allows to scatter files in $out to multiple outputs.
For "bin" and "doc" outputs there are prefefined default masks, but
they can be overriden by setting files_<outname>, for example:

files_bin = [ "/bin/*" "/lib/libexec/" ];

To make an effect hook must be specified in buildInputs.
2014-05-06 22:47:45 +01:00
Ricky Elrod
df0014488a First attempt at data/fonts/poly 2014-05-06 03:48:04 -04:00
Cillian de Róiste
7c2c5987d1 Add setBfree a DSP tonewheel organ emulator 2014-05-05 22:57:48 +02:00
Ricky Elrod
d66cdd3c43 scala: Bump to 2.11.0, bump 2.10 to 2.10.4 2014-05-05 02:14:57 -04:00
Mathijs Kwik
00a70b454c v8: remove old version 3.14 2014-05-05 07:32:37 +02:00
Peter Simons
66bcd77f0e R: simplify the generic builder 2014-05-04 23:54:11 +02:00
Peter Simons
a9258080b1 R: don't install the "recommended packages"
These packages come with R, but if we install them as part of this build, then
we cannot update them without re-building R as well. Instead, we add those
packages to the R environment through the r-wrapper. This means that
recommended packages can be updated in cran-packgaes.nix, and those updates
have an effect on the installation without re-building R itself.
2014-05-04 21:12:34 +02:00
Peter Simons
a329900977 Move r-packages.nix into the r-modules directory. 2014-05-04 21:09:38 +02:00
Peter Simons
834679ddab all-packages.nix: move all R-related attributes into one place 2014-05-04 20:51:36 +02:00
Peter Simons
7c6a730e0b R: added wrapper script that provides "R" and "Rscript" binaries that know about extra libraries
Configure an override in ~/.nixpkgs/config.nix as follows:

  {
    packageOverrides = pkgs: {

      rWrapper = pkgs.rWrapper.override {
        packages = with pkgs.rPackages; [ Defaults dataTable foreach xtable ];
      };

    };
  }
2014-05-04 15:33:15 +02:00
Peter Simons
adce4233af all-packages.nix: strip trailing whitespace 2014-05-04 15:33:15 +02:00
Wout Mertens
6ab576b702 Monit: Bump to 5.8
- Use callPackage etc
- Make PAM optional
2014-05-04 09:53:26 +02:00
Wout Mertens
d93b1f80c0 Add Handbrake 0.9.9: DVD ripper
This packaging splices off the unfree faac library and forces handbrake
to use the (more recent/patched) versions of libraries in Nixpkgs.
Produces the CLI HandbrakeCLI and optionally the GTK+ version ghb.
2014-05-04 01:56:49 +02:00
Wout Mertens
3a7b7a8499 libmkv: from Handbrake project
Libmkv was started from Handbrake but is now unmaintained upstream.

Patches:
- A01: add constant to header file
- A02: Breaks API: Allow changing output sampling frequency
- P00: Fix accessing large files on Mingw32
2014-05-04 01:56:49 +02:00
Bjørn Forsman
70b39119c3 qwt: add version 6.x (we already have 5.x)
'qgis', one of the few 'qwt' dependees in nixpkgs, fails to build with
qwt 6. So I'm not moving the default version away from 5.x. Also, not
changing the default allows easy/safe cherry-picking to the stable
branch.
2014-05-04 00:11:26 +02:00
Vladimír Čunát
d96f262166 json-c: update to 0.12, fixing CVE-2013-{6370,6371} 2014-05-03 21:30:48 +02:00
Michael Raskin
feddcfaf1e Readding Erlang R16B02: R17 is a major update and it breaks Ejabberd. 2014-05-02 20:50:58 +04:00
Luca Bruno
63cdda1f4e zeitgeist: new package
Zeitgeist is a service which logs the users's activities and events

https://launchpad.net/zeitgeist
2014-05-02 17:43:02 +02: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
Emery Hemingway
3b1a171c05 qtbitcointrader: initial expression 2014-05-01 15:50:57 +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
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
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
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
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
0af5d11a6f qemu-image: Remove (obsolete) 2014-04-28 14:34:34 +02:00
James Cook
39b5a0c3a2 libgnurl, a fork of libcurl used by GNUnet 2014-04-27 22:20:37 -07: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
Charles Strahan
64754519d9 libmx: Add package 2014-04-26 17:06:16 -04:00
Mateusz Kowalczyk
9a77b8e64f tibia: version 10.38
Closes #2396
2014-04-26 12:58:25 -05:00
Oliver Charles
136b454e48 Merge pull request #2395 from cstrahan/pycapnp
pycapnp: Add package
2014-04-26 10:00:12 +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
Linquize
20c395d8aa chatzilla: Use latest firefox's xulrunner 2014-04-26 02:04:18 +02: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