ocaml-packages: add zarith 1.2.1

Signed-off-by: Austin Seipp <aseipp@pobox.com>
nixpkgs: add ltl2ba 1.1

Signed-off-by: Austin Seipp <aseipp@pobox.com>
ocamlgraph: upgrade to 1.8.5

Signed-off-by: Austin Seipp <aseipp@pobox.com>
nixpkgs: add why3 0.83

Signed-off-by: Austin Seipp <aseipp@pobox.com>
nixpkgs: add alt-ergo 0.95.2

Signed-off-by: Austin Seipp <aseipp@pobox.com>
frama-c: overhaul, upgrade to 20140301-Neon

This massively upgrades the frama-c package to be far more useful,
including support for a lot more plugins, including Jessie.

Jessie unfortunately requires that its plugin is installed alongside
frama-c, so we install why2 (where it lives) along with frama-c now.
This increases the size, but makes it much more useful.

In the future, it may be possible to split out the build such that why2
is a separate expression and frama-c only installs the plugin, rather
than all of why2. However, right now this is fine.

Furthermore, why3 is now a dependency - the Jessie plugin can use
either, and defaults to Why3 now. Per the design, Frama-C can also go
from Why2->Why3 as well.

We also make Coq and Alt-Ergo dependencies, so that out-of-the-box users
get at least one SMT solver and a prover for support.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
Remove mysterious line
Fix meta.license attribute
afflib: Fix broken URL

Also, use stdenv.mkDerivation and drop unusued libewf dependency.
php: Update to 5.4.27

CVE-2013-7345, CVE-2014-1943, CVE-2014-2270, CVE-2013-6712
httpd: Update to 2.2.27

CVE-2013-6438, CVE-2014-0098
Merge pull request #2457 from jwiegley/posix-paths

Add expression for the Haskell posix-paths library
ledger-2.6.3: rename the derivation to "ledger2" to allow installing
this version instead of ledger 3.x (which doesn't support reading
GNUCash files)

Discussed in <https://github.com/NixOS/nixpkgs/pull/2305>.
ledger-3.0.nix: cosmetic fix of syntax highlighting in Emacs
Merge pull request #2357 from Chaddai/texstudio

Texstudio : advanced editor for LaTeX
libreoffice: fix build after mesa update

This is because it uses vanilla pkgconfig,
so it needs Reqires.private deps from mesa during configuration.
postgresql: Update to latest versions
add zeromq4 and zeromq4-haskell
Merge pull request #2463 from triplepoint217/master

add zeromq4 and zeromq4-haskell
systemd: Look for fsck.* in the right place

Fixes #2464.