jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
60,010 Commits 266 Branches 122 Tags 5.3 GiB
da73e45cd0
Commit Graph

8848 Commits

Author SHA1 Message Date
William A. Kennington III
ae42047bcd lightdm: 1.13.1 -> 1.14.0 2015-03-28 02:26:42 -07:00
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
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
e632b7a0c9 djvulibre: Refactor 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
Eric Seidel
7f0e6b76ff nano: patch for darwin 2015-03-27 12:05:41 -07:00
Eelco Dolstra
c82dc7018d Remove unused Darcs expression 2015-03-27 16:17:48 +01: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
William A. Kennington III
06ea226495 cgit: 0.10.2 -> 0.11.2 2015-03-26 17:15:29 -07:00
William A. Kennington III
cd3b460200 tig: 2.0.3 -> 2.1 2015-03-26 16:41:05 -07:00
William A. Kennington III
b6607a14af ettercap: 0.8.1 -> 0.8.2 2015-03-26 16:18:39 -07:00
William A. Kennington III
53d5b564d4 qemu: 2.2.0 -> 2.2.1 2015-03-26 14:54:00 -07:00
=
46d1dd5b11 Downgraded Emacs priority, for exuberant ctags 
Exuberant ctags works with Emacs among with other editors, and if
installed is probably preferred to Emacs' ctags.
 2015-03-26 21:42:36 +00:00
William A. Kennington III
b91e83dc77 vim: 7.4.410 -> 7.4.683 2015-03-26 14:33:35 -07:00
William A. Kennington III
8a8097eb90 nedit: 5.5 -> 5.6 2015-03-26 14:10:06 -07:00
William A. Kennington III
940d381d73 git: 2.3.3 -> 2.3.4 2015-03-26 14:03:51 -07:00
Eric Seidel
eff828a275 z3: copy all headers into nix store 2015-03-26 13:19:41 -07:00
Herwig Hochleitner
df0c059f83 Update Jetbrains IDE versions 2015-03-26 19:08:01 +01:00
Thomas Tuegel
3dc7849ab9 robomongo: fix build with openssl-1.0.1m 
(cherry picked from commit 35c0e0a768692ffe241e874cdac6b771e5e7dcbf)
Signed-off-by: Domen Kožar <domen@dev.si>
 2015-03-26 11:42:52 +01:00
Michael Raskin
61e573fcb6 Update fossil; use repository-generated tarball because release tarballs disappear 2015-03-26 10:12:25 +03:00
William A. Kennington III
2e815a7444 Merge pull request #6961 from bcdarwin/abella 
new package: abella 2.0.2
 2015-03-25 22:14:10 -07:00
William A. Kennington III
18867a6b83 Merge pull request #6967 from ftrvxmtrx/pcalc-20141224 
pcalc: 20120812 -> 20141224
 2015-03-25 22:13:37 -07:00
William A. Kennington III
5fab3e266e nano: Default to having nls support 2015-03-25 22:10:47 -07:00
William A. Kennington III
cb1072ba32 Merge pull request #6987 from kmicu/pavucontrol 
Bump pavucontrol 2.0 → 3.0
 2015-03-25 22:09:47 -07:00
William A. Kennington III
247cf8f37a Merge pull request #6986 from joachifm/nano-2_4 
Nano 2.4
 2015-03-25 21:47:44 -07:00
kmicu
ff759a9890
Bump pavucontrol 2.0 → 3.0 
improved error handling; remember device selection visibility; window
sizing improvements
 2015-03-26 00:38:44 +01:00
Joachim Fasting
cf74e83057 nano: add option to do tiny build 
Enabling tiny build reduces the binary to 107K on my system
(more than 50% size reduction).
 2015-03-25 23:31:21 +01:00
Joachim Fasting
e1f6d349ec nano: make NLS optional 2015-03-25 23:31:20 +01:00
Joachim Fasting
1533a9aef5 nano: bump to 2.4.0 
Also set license, platforms, and add myself as maintainer.

Changes in this version include a fully functional undo system,
vim-compatible file locking, linter support, formatter support,
and improved highlighter flexibility.
 2015-03-25 23:31:20 +01:00
Peter Simons
9ce41e3fa0 rstudio: fix Emacs syntax highlighting 2015-03-25 19:34:45 +01:00
Emery Hemingway
a3de8552b0 RStudio: initial commit at version 0.98.110 2015-03-25 19:34:45 +01:00
Bart Brouns
bd3e18d60f rebase mutt-kz on master, as requested in: 
https://github.com/NixOS/nixpkgs/pull/6836
 2015-03-25 13:37:19 +01:00
Domen Kožar
58b4f11242 Revert "RStudio: initial commit at version 0.98.110" 
This reverts commit 56e21d05e874a29ad0d51aea18e8c982c7c826f3.

It's missing a file, see https://github.com/NixOS/nixpkgs/pull/6957
 2015-03-25 10:02:08 +01:00
Mateusz Kowalczyk
e104a7870f sxiv: update to latest git 2015-03-25 00:46:58 +00:00
Mateusz Kowalczyk
105c06ae4e snd: update from 15.2 to 15.4 2015-03-25 00:46:58 +00:00
Arseniy Seroka
b50848b64c Merge pull request #6966 from ftrvxmtrx/spotify-0.9.17.1 
spotify: 0.9.11.27 -> 0.9.17.1
 2015-03-25 03:10:22 +03:00
Siarhei Zirukin
f4cd5a68f7 pcalc: 20120812 -> 20141224 2015-03-24 18:27:42 +01:00
Siarhei Zirukin
de4fdcc7e7 spotify: 0.9.11.27 -> 0.9.17.1 2015-03-24 18:21:39 +01:00
Edward Tjörnhammar
7b7ab0cdaa idea-{community,ultimate}: 14.0.3 -> 14.1 2015-03-24 17:01:59 +01:00
Ben Darwin
172167c937 new package: abella 2.0.2 2015-03-24 00:54:03 -04:00
Emery Hemingway
56e21d05e8 RStudio: initial commit at version 0.98.110 2015-03-23 16:28:33 -04:00
Pascal Wittmann
afcb9be79e calibre: update from 2.21.0 to 2.22.0 2015-03-23 15:29:36 +01:00
Luca Bruno
4a1c3760e0 pitivi: cleanup and fix icons on non-nixos 2015-03-23 11:24:34 +01:00
Arseniy Seroka
a8b93517fa Merge pull request #6902 from vandenoever/davmail 
Update davmail to 2.6.1.
 2015-03-23 13:16:13 +03:00
lethalman
fc7511f9a0 Merge pull request #6863 from bencef/jack2mplayer 
mplayer: add (optionally) jack to NIX_LDFLAGS
 2015-03-23 10:55:14 +01:00
Bence Fabian
2aa9da5a06 mplayer: Remove --enable-jack 
If provided then configure won't use the pkgconfig of jack.
 2015-03-23 10:42:37 +01:00
Marcin Falkiewicz
6a6470b793 change icon name to var 2015-03-22 15:22:52 -05:00
Marcin Falkiewicz
bacf3be4fc change firefox's hardcoded paths to variables 2015-03-22 15:22:52 -05:00