Commit graph

60146 commits

Author SHA1 Message Date
Austin Seipp
a6813ca62d nixpkgs: add lean-20150328, a theorem prover.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-03-28 01:47:39 -05:00
Austin Seipp
75ab87edc8 nixpkgs: z3 is now MIT licensed.
It's also been moved to GitHub, meaning we can avoid some of the
hackiness in the original expression. This updates the Git revision, but
only so that it contains the proper license (it's otherwise equivalent
to Z3 v4.3.2)

Also, make sure the python API .py files exist besides the .pyc files.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2015-03-28 01:04:06 -05:00
Spencer Whitt
4ca6bdfa52 fftw: Fix Darwin build 2015-03-27 21:15:15 -04:00
Daniel Peebles
dcde8a967f Merge pull request #7038 from avnik/gccgo-wrapper
Rename ccgo back to gccgo
2015-03-27 21:05:22 -04:00
William A. Kennington III
125885974d imagemagick: Add imagemagickBig for compat 2015-03-27 17:22:46 -07:00
William A. Kennington III
c612a25666 dhcpcd: 6.8.0 -> 6.8.1 2015-03-27 16:01:42 -07:00
William A. Kennington III
123bde971e zfs_git: 2015-03-20 -> 2015-03-25 2015-03-27 15:52:44 -07:00
William A. Kennington III
c7bf9d2749 spl_git: 2015-03-20 -> 2015-03-25 2015-03-27 15:50:47 -07:00
William A. Kennington III
49e980fa32 imagemagick: More cleanups 2015-03-27 15:46:08 -07:00
William A. Kennington III
1f632813e4 imagemagick: Refactor 2015-03-27 15:36:26 -07:00
William A. Kennington III
1f82542fcb librsvg: 2.36.4 -> 2.40.9 2015-03-27 15:36:26 -07:00
William A. Kennington III
c8021333d4 jbigkit: Needs fPIC for library support 2015-03-27 15:36:26 -07:00
William A. Kennington III
0cb847652e openjpeg: Fix pkgconfig file 2015-03-27 15:36:26 -07:00
William A. Kennington III
bf562adad2 liblqr: 0.4.1 -> 0.4.2 2015-03-27 15:36:26 -07:00
William A. Kennington III
29ea62382e jbigkit: Add derivation 2015-03-27 15:36:26 -07:00
William A. Kennington III
8fd9a7cb59 lcms2: 2.6 -> 2.7 2015-03-27 15:36:26 -07:00
William A. Kennington III
e632b7a0c9 djvulibre: Refactor 2015-03-27 15:36:26 -07:00
William A. Kennington III
4631afc21e Support unraring source files 2015-03-27 15:36:26 -07:00
William A. Kennington III
8fbc082d1f unrar: 5.1.7 -> 5.2.7 2015-03-27 15:36:26 -07:00
William A. Kennington III
3a2df159e6 libfpx: Add derivation 2015-03-27 15:36:26 -07:00
William A. Kennington III
5d2fd00457 imagemagick: 6.9.0 -> 6.9.1 2015-03-27 15:36:25 -07:00
Michael Raskin
57d9198552 Adding Bluez 5.28; 5.29 breaks LibreOffice build 2015-03-28 01:13:53 +03:00
Markus Kohlhase
47aa6725e2 nixos: prosody service - rename virtualHosts option 'enabled' to 'enable' 2015-03-27 21:36:05 +00:00
Peter Simons
6b64cd207c Merge pull request #7039 from utdemir/master
Fix some build failures on GHC 7.10.1
2015-03-27 21:57:33 +01:00
utdemir
c9258a76ba Fix some build failures on GHC 7.10.1 2015-03-27 22:53:11 +02:00
Arseniy Seroka
a90a8f6240 Merge pull request #7030 from k0ral/grc
grc: 1.5 -> 1.7
2015-03-27 23:13:39 +03:00
Arseniy Seroka
91eaf5495f Merge pull request #7035 from joachifm/reimplement-kona
Reimplement kona
2015-03-27 23:13:25 +03:00
Eric Seidel
7f0e6b76ff nano: patch for darwin 2015-03-27 12:05:41 -07:00
Peter Simons
f0742a4bfb cryptol is now available from Hackage, 2015-03-27 19:45:54 +01:00
William A. Kennington III
7215167342 nss: 3.17.4 -> 3.18 2015-03-27 11:37:06 -07:00
Joachim Fasting
933e6cc832 kona: bump to 3.21
Use release tarball rather than GIT checkout. Note: disregard the
platform and arch embedded in the release tarball name.
2015-03-27 19:33:59 +01:00
William A. Kennington III
304b3c077c kernel: 3.14.36 -> 3.14.37 2015-03-27 10:45:13 -07:00
William A. Kennington III
ca12b0b304 kernel: 3.19.2 -> 3.19.3 2015-03-27 10:44:19 -07:00
William A. Kennington III
7a9e7905db kernel: 3.10.72 -> 3.10.73 2015-03-27 10:42:28 -07:00
Joachim Fasting
52d77f2360 kona: reimplement using mkDerivation
Also set supported platforms to `all`, per upstream, and specify
license (ISC).
2015-03-27 18:10:32 +01:00
Gabriel Ebner
38220d0315 Add jabref. 2015-03-27 18:03:38 +01:00
koral
c5aa2e7946 grc: 1.5 -> 1.7 2015-03-27 15:57:03 +00:00
Peter Simons
337c6629e6 Merge pull request #6992 from michelk/rggobi
r-modules: fixing rggobi by adding initial expression for ggobi
2015-03-27 16:31:28 +01:00
Eelco Dolstra
c82dc7018d Remove unused Darcs expression 2015-03-27 16:17:48 +01:00
Eelco Dolstra
5c0eb64d43 Set more precise meta.position for Haskell packages 2015-03-27 16:17:48 +01:00
Eelco Dolstra
8b2f209838 mkDerivation: Use function arguments 2015-03-27 16:17:48 +01:00
Eelco Dolstra
0e2257966f Disable packages that depend on <nixpkgs>
Nothing in Nixpkgs should use <nixpkgs>, because it can cause Nixpkgs
evaluation to depend in part on a different version of Nixpkgs,
leading to unpredictable results (including evaluation errors).
2015-03-27 16:17:48 +01:00
Peter Simons
64a4fab42b ghc: bump version to 7.10.1 release 2015-03-27 15:33:53 +01:00
Peter Simons
5f0d93351d Bump cabal2nix to latest version. 2015-03-27 15:28:00 +01:00
Peter Simons
fa8c514407 hackage-packages.nix: re-generate from Hackage 2015-03-26T14:11:09+0100 2015-03-27 15:28:00 +01:00
Kevin Marsh
1f34a1d4ad Update python package enum34 1.0 -> 1.0.4, also fixed missing build input for python26 2015-03-27 13:45:15 +00:00
Eelco Dolstra
b948978729 Merge pull request #7026 from KoviRobi/emacs-priority-downgrade
Downgraded Emacs priority, for exuberant ctags
2015-03-27 13:21:41 +01:00
Oliver Matthews
51b06c5865 Add MediaTomb service 2015-03-27 12:45:25 +01:00
Alexander V. Nikolaev
3311513df6 Rename ccgo back to gccgo
I believe this is result of typo, introduced in 48f63c2f.
2015-03-27 12:45:32 +02:00
Domen Kožar
883ee4dd72 Merge pull request #6994 from oxij/trivial-package-fixes
Trivial package fixes
2015-03-27 11:09:16 +01:00