philipp/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Activity
%!d() commits 3 branches 0 tags 1.4 GiB
Commit graph

3624 commits

Author SHA1 Message Date
Marco Maggesi 2cef87022c Update HOL Light to r134 
svn path=/nixpkgs/trunk/; revision=33992
 2012-05-05 16:46:53 +00:00
Lluís Batlle i Rossell 7a4c5e084c Updating calibre, and adding sourceforge as a backup url, suggested by roconnor. 
svn path=/nixpkgs/trunk/; revision=33983
 2012-05-04 19:01:51 +00:00
Lluís Batlle i Rossell 593eeb54d0 Fixing a typo, semicolon, in the coriander expression. 
svn path=/nixpkgs/trunk/; revision=33980
 2012-05-03 12:07:45 +00:00
Lluís Batlle i Rossell 6209407d7a Adding the license meta for two packages I added today. 
svn path=/nixpkgs/trunk/; revision=33977
 2012-05-03 09:41:11 +00:00
Lluís Batlle i Rossell f9526cd7f1 Adding coriander. I don't know how to make its gconf thing work, so it shows a 
warning at gui start.


svn path=/nixpkgs/trunk/; revision=33976
 2012-05-03 09:38:36 +00:00
Peter Simons e0bd67afd7 git-annex: updated to version 3.20120430 
svn path=/nixpkgs/trunk/; revision=33970
 2012-05-02 09:25:28 +00:00
Eelco Dolstra 87693235b8 * Dropbox updated to 1.4.0. Patch by Michel Alexandre Salim 
<michel@sylvestre.me>.

svn path=/nixpkgs/trunk/; revision=33965
 2012-05-01 16:25:48 +00:00
Michael Raskin 304facbf3b Adding LCI lambda calculus interpreter 
svn path=/nixpkgs/trunk/; revision=33962
 2012-05-01 05:07:39 +00:00
Rob Vermaas 97cac0a58c Added i3wm. Added newer version of file. (this time tested, I screwed up a patch by garbas) 
svn path=/nixpkgs/trunk/; revision=33952
 2012-04-30 14:34:57 +00:00
Rob Vermaas 0823167b43 Revert my previous 2 commits. 
svn path=/nixpkgs/trunk/; revision=33951
 2012-04-30 14:28:08 +00:00
Rob Vermaas 0362f55a22 add missing files from previous commit 
svn path=/nixpkgs/trunk/; revision=33950
 2012-04-30 13:45:50 +00:00
Eelco Dolstra 5287bbf3a8 * Don't build mysql-workbench on i686-linux since it just hangs 
(http://hydra.nixos.org/build/2482930).

svn path=/nixpkgs/trunk/; revision=33939
 2012-04-27 09:31:11 +00:00
Eelco Dolstra 48b2a26898 * Firefox 12.0. 
svn path=/nixpkgs/trunk/; revision=33931
 2012-04-26 13:25:20 +00:00
Peter Simons 2e44afa7bb ikiwiki: updated to version 3.20120419 
svn path=/nixpkgs/trunk/; revision=33924
 2012-04-26 08:09:31 +00:00
Lluís Batlle i Rossell f5da2fe902 Updating calibre 
svn path=/nixpkgs/trunk/; revision=33922
 2012-04-25 21:31:09 +00:00
Lluís Batlle i Rossell 86232ad5f7 Updating mldonkey. Upstream picked the patch we had. 
svn path=/nixpkgs/trunk/; revision=33900
 2012-04-24 07:54:57 +00:00
Peter Simons f1135ba545 Updated Haskell packages. 
- alternative-io: updated to version 0.0.1
 - blaze-markup: added version 0.5.1.0
 - crypto-conduit: updated to version 0.3.2
 - cryptohash: updated to version 0.7.5
 - darcs: updated to version 2.8.0
 - filestore: updated to version 0.4.2
 - Graphalyze: cosmetic change
 - hamlet: updated to version 1.0.1.1
 - happstack-hamlet: updated to version 7.0.1
 - happstack-server: updated to version 7.0.1
 - HFuse: updated to version 0.2.4.1
 - Hipmunk: updated to version 5.2.0.8
 - language-javascript: updated to version 0.5.2
 - libmpd: updated to version 0.8.0
 - lifted-base: updated to version 0.1.0.4
 - monad-control: updated to version 0.3.1.2
 - persistent: updated to version 0.9.0.3
 - regex-compat: use latest version when building with GHC 7.4.1
 - skein: updated to version 0.1.0.7
 - snap-core: updated to version 0.8.1
 - snap-server: updated to version 0.8.1.1
 - tls: updated to version 0.9.5
 - vty: updated to version 4.7.0.12
 - wai-app-static: updated to version 1.2.0.2
 - yesod-core: updated to version 1.0.1.1

svn path=/nixpkgs/trunk/; revision=33889
 2012-04-23 09:34:01 +00:00
Shea Levy f9a88de275 VirtualBox 4.1.12 
svn path=/nixpkgs/trunk/; revision=33888
 2012-04-23 04:25:18 +00:00
Cillian de Roiste bf3b6be157 Adding Piano Booster, a MIDI file player that teaches you how to play the piano. 
svn path=/nixpkgs/trunk/; revision=33880
 2012-04-22 16:55:12 +00:00
Karn Kallio 2dbe2887ed Fix build of dvdauthor; also advance version to 0.7.0 
svn path=/nixpkgs/trunk/; revision=33873
 2012-04-22 00:25:20 +00:00
Cillian de Roiste 6264f9cd91 Adding qsampler, the frontend for LinuxSampler 
svn path=/nixpkgs/trunk/; revision=33867
 2012-04-20 22:44:50 +00:00
Peter Simons 68f07e270a magit: updated to version 1.1.1 
svn path=/nixpkgs/trunk/; revision=33866
 2012-04-20 22:37:30 +00:00
Cillian de Roiste 45ac14621a Adding LinuxSampler and dependencies, using SVN version for SFZ support 
svn path=/nixpkgs/trunk/; revision=33865
 2012-04-20 20:39:42 +00:00
Cillian de Roiste 34b058dcce Upgrading qjackctl from 0.3.7 to 0.3.8, fixes a bug where it crashes when jack is stopped 
svn path=/nixpkgs/trunk/; revision=33864
 2012-04-20 20:37:54 +00:00
Peter Simons 4fc0e49bdd git-annex: updated to version 3.20120418 
svn path=/nixpkgs/trunk/; revision=33856
 2012-04-20 11:35:20 +00:00
Michael Raskin e9226f1ca6 Add a needed dependency 
svn path=/nixpkgs/trunk/; revision=33851
 2012-04-20 04:31:17 +00:00
Michael Raskin 6c1bc77673 Updating VUE 
svn path=/nixpkgs/trunk/; revision=33808
 2012-04-17 13:05:20 +00:00
Nicolas Pierron 7a4cf21350 Add git-bz nix expression. 
svn path=/nixpkgs/trunk/; revision=33801
 2012-04-15 23:48:16 +00:00
Nicolas Pierron 7b7dd238fc Add dulwich (git filesystem in python). 
Add bugz (command line tool for bugzilla)
Add gitBz (bugzilla in git)

svn path=/nixpkgs/trunk/; revision=33800
 2012-04-15 23:48:11 +00:00
Nicolas Pierron 811b035171 Mercurial: Support ssl and curses python packages for fast-export and crecord. 
svn path=/nixpkgs/trunk/; revision=33799
 2012-04-15 23:48:07 +00:00
Nicolas Pierron 82b308bf11 Add armv7l support. 
svn path=/nixpkgs/trunk/; revision=33798
 2012-04-15 23:41:25 +00:00
Michael Raskin 351bcc3b70 Fix tailor URL 
svn path=/nixpkgs/trunk/; revision=33767
 2012-04-12 20:54:39 +00:00
Michael Raskin dd3ef46cac Update TPTP 
svn path=/nixpkgs/trunk/; revision=33754
 2012-04-12 07:23:52 +00:00
Ludovic Courtès d656d037f2 GNUnet 0.9.2. 
svn path=/nixpkgs/trunk/; revision=33711
 2012-04-09 20:52:05 +00:00
Ludovic Courtès 24feabdcec GNU Emacs 23.4. 
svn path=/nixpkgs/trunk/; revision=33698
 2012-04-09 20:51:04 +00:00
Ludovic Courtès 0e84e56083 GNU Zile 2.4.7. 
svn path=/nixpkgs/trunk/; revision=33695
 2012-04-09 20:50:50 +00:00
Rob Vermaas d4913759da Update darktable to version 1.0. 
svn path=/nixpkgs/trunk/; revision=33688
 2012-04-09 17:56:38 +00:00
Arie Middelkoop 2b18ccf305 * Added "easytag", a GUI for organizing id3tags in mp3s. 
* Updated some ocaml packages.
* Updated coccinelle.

svn path=/nixpkgs/trunk/; revision=33674
 2012-04-09 09:42:20 +00:00
Peter Simons 4292793d40 git-annex: updated to version 3.20120406 
svn path=/nixpkgs/trunk/; revision=33669
 2012-04-08 10:48:14 +00:00
Cillian de Roiste 78ffc6b30d Adding a2jmidid 
svn path=/nixpkgs/trunk/; revision=33667
 2012-04-08 00:25:09 +00:00
Peter Simons 8beb891d52 xscreensaver: updated to version 5.15 (and moved to pkgs/misc/screensavers hierarchy) 
svn path=/nixpkgs/trunk/; revision=33655
 2012-04-06 19:30:30 +00:00
Peter Simons 799722afde git-annex: updated to version 3.20120405 
svn path=/nixpkgs/trunk/; revision=33638
 2012-04-05 23:11:00 +00:00
Lluís Batlle i Rossell e7b964ba33 Updating gnash. I'm not sure it builds... it takes a lot of time to build; at 
least it does not fail very early.


svn path=/nixpkgs/trunk/; revision=33635
 2012-04-05 22:34:11 +00:00
Mathijs Kwik a6c996735c audacity: upgraded to 2.0.0 
I took out some dependencies and compile flags that didn't seem
needed. If this breaks something please give a shout.

svn path=/nixpkgs/trunk/; revision=33605
 2012-04-05 08:22:38 +00:00
Michael Raskin 6bc87a1ac8 Add packages to GAP 
svn path=/nixpkgs/trunk/; revision=33601
 2012-04-05 04:46:11 +00:00
Lluís Batlle i Rossell 5d15ef0e7c Updating vimprobable2 to 1.0.0 
I took mainly the patch from Alexandr Foremny, but I had to solve conflicts.

Moreover it required the old webkit.


svn path=/nixpkgs/trunk/; revision=33596
 2012-04-04 21:30:49 +00:00
Yury G. Kudryashov 9105d0546d Drop old kdevplatform/kdevelop 
svn path=/nixpkgs/trunk/; revision=33571
 2012-04-04 16:14:57 +00:00
Eelco Dolstra bf791214c9 * Thunderbird updated to 11.0.1. 
svn path=/nixpkgs/trunk/; revision=33568
 2012-04-04 15:33:33 +00:00
Rob Vermaas a1d87e58c1 re-add overwritten svn2git (used/developed by kde people) 
svn path=/nixpkgs/trunk/; revision=33567
 2012-04-04 15:30:29 +00:00
Eelco Dolstra 4ae899f4bf * Mercurial updated to 2.1.2. 
svn path=/nixpkgs/trunk/; revision=33563
 2012-04-04 14:06:04 +00:00