jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
11,758 Commits 266 Branches 122 Tags 5.3 GiB
748fa38a35
Commit Graph

11758 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Marco Maggesi
44f2d4439f Change the name of the coq derivation to coq-devel-8.3pre1 
i.e., remove the version from the name.  Nix has its own mechanism to
prevent a packages to be upgraded.  Instead we distinguish development
version (coq-dev-VERSION) from stable versions (coq-VERSION).

Also remove derivation for coq-8.3-beta0-1 which is now superseded by
coq-devel-8.3pre1.


svn path=/nixpkgs/trunk/; revision=23813
 2010-09-15 19:39:48 +00:00
Yury G. Kudryashov
139de1ea2f Don't try to build Qt guis if qt is unsupported on the platform 
svn path=/nixpkgs/trunk/; revision=23812
 2010-09-15 18:52:07 +00:00
Yury G. Kudryashov
f139236666 podofo-0.8.2, metainfo 
svn path=/nixpkgs/trunk/; revision=23811
 2010-09-15 18:37:38 +00:00
Yury G. Kudryashov
48c13f4096 Update cmake 
Use system libraries, make curses optional, add optional qt4 gui etc.

svn path=/nixpkgs/trunk/; revision=23810
 2010-09-15 18:37:21 +00:00
Yury G. Kudryashov
10376e7ba1 More metadata 
svn path=/nixpkgs/trunk/; revision=23808
 2010-09-15 12:57:49 +00:00
Lluís Batlle i Rossell
e6a787f44a Making lua and boost cross-build. 
svn path=/nixpkgs/trunk/; revision=23807
 2010-09-15 09:56:06 +00:00
Michael Raskin
6babe5dea4 Update Veracity 
svn path=/nixpkgs/trunk/; revision=23806
 2010-09-15 08:42:46 +00:00
Yury G. Kudryashov
dd37d34e5f kdeadmin-4.5.1, kdeplasma-addons-4.5.1. Have no time to split 
svn path=/nixpkgs/trunk/; revision=23805
 2010-09-15 05:19:44 +00:00
Yury G. Kudryashov
f0418c74b6 kdegames-4.5.1 
svn path=/nixpkgs/trunk/; revision=23804
 2010-09-15 05:19:35 +00:00
Marco Maggesi
8ab6f9861c Add coq-8.3rc1 
Note: In this version we introduce a new schema for the name of the coq
derivations where the coq version is included in the name (i.e.,
"coq8.3-8.3pre1" instead of "coq-8.3pre1").  The reason for this is that often
coq releases introduce several incompatibilities.  Thus I argue that, in
general, users do not want nix-env to upgrade automatically form one release to
another.  Also version string "8.3pre1" is used instead of "8.3-rc1" to trigger
the nix mechanism for versions comparison.


svn path=/nixpkgs/trunk/; revision=23803
 2010-09-14 21:15:58 +00:00
Ludovic Courtès
11a446272a GNU IceCat 3.6.9. 
svn path=/nixpkgs/trunk/; revision=23802
 2010-09-14 16:39:42 +00:00
Lluís Batlle i Rossell
d0b42b2927 Making the firefox java plugin work in i686-linux and x86_64-linux. 
It should work for both firefox 3.6 and firefox 3.5 (said roconnor on irc).

Thanks to the wiki page http://wiki.nixos.org/wiki/Java_in_Firefox which explained
why what we had did not work.

svn path=/nixpkgs/trunk/; revision=23801
 2010-09-14 15:14:18 +00:00
Lluís Batlle i Rossell
76a02e762a Allowing boost build enabling parallelBuilds 
svn path=/nixpkgs/trunk/; revision=23800
 2010-09-14 14:47:16 +00:00
Lluís Batlle i Rossell
7471ffb76d Fixing the plugin directory for the jdk6 i686-linux 
svn path=/nixpkgs/trunk/; revision=23799
 2010-09-14 14:47:12 +00:00
Yury G. Kudryashov
ecc9b176b0 kdemultimedia: tunepimp, musicbrainz 
svn path=/nixpkgs/trunk/; revision=23798
 2010-09-14 14:29:49 +00:00
Yury G. Kudryashov
647ccb48ad Forgotten to add patch to patches array 
svn path=/nixpkgs/trunk/; revision=23797
 2010-09-14 14:29:43 +00:00
Yury G. Kudryashov
2ecfb5cd9d Add libtunepimp 
svn path=/nixpkgs/trunk/; revision=23796
 2010-09-14 14:29:37 +00:00
Yury G. Kudryashov
163e453e10 Add mp4v2 
svn path=/nixpkgs/trunk/; revision=23795
 2010-09-14 14:29:31 +00:00
Yury G. Kudryashov
5f4795b5f1 Add libofa 
svn path=/nixpkgs/trunk/; revision=23794
 2010-09-14 14:29:25 +00:00
Yury G. Kudryashov
09c85666cd Add libmusicbrainz 2.x and 3.x 
svn path=/nixpkgs/trunk/; revision=23793
 2010-09-14 14:29:19 +00:00
Yury G. Kudryashov
359b360fc2 Add libdiscid 
svn path=/nixpkgs/trunk/; revision=23792
 2010-09-14 14:29:13 +00:00
Yury G. Kudryashov
95b08e5381 kdegraphics-4.5.1 
svn path=/nixpkgs/trunk/; revision=23791
 2010-09-14 14:29:08 +00:00
Yury G. Kudryashov
76a3eb02d3 kdeutils-4.5.1 
svn path=/nixpkgs/trunk/; revision=23790
 2010-09-14 14:29:01 +00:00
Yury G. Kudryashov
bb568e7467 Delete unused files 
svn path=/nixpkgs/trunk/; revision=23789
 2010-09-14 14:28:55 +00:00
Eelco Dolstra
cdecced3b0 * Fix various references to /usr. 
svn path=/nixpkgs/trunk/; revision=23788
 2010-09-14 13:50:32 +00:00
Eelco Dolstra
7f2af6acfd svn path=/nixpkgs/trunk/; revision=23784 2010-09-14 12:15:06 +00:00
Eelco Dolstra
9dbbae2c0c * bridge-utils updated to 1.4. 
svn path=/nixpkgs/trunk/; revision=23778
 2010-09-14 10:54:50 +00:00
Lluís Batlle i Rossell
daea455d15 Removing coreutils_real from release-cross. 
It had to be 'coreutils' instead, but I don't think they cross-build. They
cross-build only in stdenv-updates I tihnk.

svn path=/nixpkgs/trunk/; revision=23774
 2010-09-13 21:16:10 +00:00
Michael Raskin
b49a2d16b2 Add overridability to gnome 
svn path=/nixpkgs/trunk/; revision=23773
 2010-09-13 20:54:46 +00:00
Yury G. Kudryashov
75f08dffa6 kdewebdev-4.5.1, splitted 
svn path=/nixpkgs/trunk/; revision=23771
 2010-09-13 20:14:45 +00:00
Yury G. Kudryashov
ddce0423d9 Fix kde-4.5 kscreensaver 
svn path=/nixpkgs/trunk/; revision=23768
 2010-09-13 17:34:19 +00:00
Yury G. Kudryashov
82d07ebaa2 Fix libktorrent compilation with kde-4.4 
svn path=/nixpkgs/trunk/; revision=23767
 2010-09-13 17:34:14 +00:00
Andres Löh
772abcfaaa bugfix 
svn path=/nixpkgs/trunk/; revision=23763
 2010-09-13 16:01:33 +00:00
Eelco Dolstra
2202d32006 * Add stringAfter' as a synonym of fullDepEntry', with the arguments 
flipped to denote what it actually does (i.e., a string fragment
  that comes *after* the named fragments).  One day we can have
  `stringBefore'.

svn path=/nixpkgs/trunk/; revision=23761
 2010-09-13 15:31:06 +00:00
Yury G. Kudryashov
ea18f17f8c kdetoys-4.5.1, splitted 
svn path=/nixpkgs/trunk/; revision=23759
 2010-09-13 14:23:36 +00:00
Yury G. Kudryashov
20b190b582 kdesdk-4.5.1, splitted 
svn path=/nixpkgs/trunk/; revision=23758
 2010-09-13 14:23:29 +00:00
Yury G. Kudryashov
c4beccaf1a Remove unused patch 
svn path=/nixpkgs/trunk/; revision=23757
 2010-09-13 14:23:21 +00:00
Yury G. Kudryashov
84040e15cc kdenetwork-4.5.1, kdeedu-4.5.1 
svn path=/nixpkgs/trunk/; revision=23756
 2010-09-13 14:23:16 +00:00
Yury G. Kudryashov
e723e53699 Use new ktorrent in kde44 
svn path=/nixpkgs/trunk/; revision=23755
 2010-09-13 14:23:08 +00:00
Yury G. Kudryashov
38dec40ddc Upgrade ktorrent 
svn path=/nixpkgs/trunk/; revision=23754
 2010-09-13 14:23:02 +00:00
Yury G. Kudryashov
61dd03faa8 Upgrade libktorrent 
svn path=/nixpkgs/trunk/; revision=23753
 2010-09-13 14:22:56 +00:00
Yury G. Kudryashov
d611b0aedb Upgrade&split kdeartwork 
svn path=/nixpkgs/trunk/; revision=23752
 2010-09-13 14:22:51 +00:00
Yury G. Kudryashov
20a0469f1c kdebase-{runtime,workspace}, kdebindings 
svn path=/nixpkgs/trunk/; revision=23751
 2010-09-13 14:22:43 +00:00
Yury G. Kudryashov
255acffe14 ebook-tools-0.2.0 
svn path=/nixpkgs/trunk/; revision=23750
 2010-09-13 14:22:37 +00:00
Andres Löh
c7f570b473 Addressing problem with conflicting versions of Haskell's time library. 
svn path=/nixpkgs/trunk/; revision=23746
 2010-09-13 12:07:14 +00:00
Michael Raskin
58722fa393 Update veracity 
svn path=/nixpkgs/trunk/; revision=23745
 2010-09-13 11:54:30 +00:00
Andres Löh
ae49a474ff Added Hakyll and dependencies. 
svn path=/nixpkgs/trunk/; revision=23742
 2010-09-13 10:30:54 +00:00
Eelco Dolstra
b63de97e4c * Updated gecko-mediaplayer and gnome-mplayer. 
svn path=/nixpkgs/trunk/; revision=23737
 2010-09-11 17:16:42 +00:00
Eelco Dolstra
bf7c353ad1 * Updated Chromium. 
svn path=/nixpkgs/trunk/; revision=23736
 2010-09-11 14:20:46 +00:00
Nicolas Pierron
7f8037cfd7 Add additional shortcuts frequently used in NixOS. 
svn path=/nixpkgs/trunk/; revision=23733
 2010-09-10 18:03:16 +00:00