JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
11,728 Commits 2 Branches 0 Tags 13 GiB
48ee2b7efb
Commit Graph

11728 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Michael Raskin
48ee2b7efb Fixing EQL evalutaion 
svn path=/nixpkgs/trunk/; revision=23845
 2010-09-17 22:08:50 +00:00
Yury G. Kudryashov
b8b2e300be soprano-2.5.2 
svn path=/nixpkgs/trunk/; revision=23844
 2010-09-17 20:36:25 +00:00
Michael Raskin
49bc04ad32 Use git commit as version 
svn path=/nixpkgs/trunk/; revision=23843
 2010-09-17 20:23:16 +00:00
Michael Raskin
b2c555ee02 Add EQL (Embeddable Common Lisp + Qt) 
svn path=/nixpkgs/trunk/; revision=23842
 2010-09-17 19:52:50 +00:00
Lluís Batlle i Rossell
83bfd42534 Fixing the mtdutils package (install to proper LSB like directories, and remove 'v' in front 
of the version, which annoyed nix-env name matching)

svn path=/nixpkgs/trunk/; revision=23839
 2010-09-17 18:57:38 +00:00
David Guibert
8ee5697147 add cherrypy, a pythonic, object-oriented HTTP framework 
svn path=/nixpkgs/trunk/; revision=23838
 2010-09-17 17:34:08 +00:00
David Guibert
c6f9d17b9a update msmtp up to version 1.4.21 
svn path=/nixpkgs/trunk/; revision=23837
 2010-09-17 17:34:03 +00:00
Lluís Batlle i Rossell
cb8654eba6 Updating asciidoc (hoping it will run faster) 
svn path=/nixpkgs/trunk/; revision=23835
 2010-09-17 17:21:56 +00:00
Ludovic Courtès
50e1e6147e Add `guruplug' platform. 
svn path=/nixpkgs/trunk/; revision=23834
 2010-09-17 15:56:47 +00:00
Ludovic Courtès
078353fc15 Linux: Add GuruPlug-related patches. 
svn path=/nixpkgs/trunk/; revision=23833
 2010-09-17 15:56:42 +00:00
Ludovic Courtès
2739c3aa1e Update Nix unstable. 
svn path=/nixpkgs/trunk/; revision=23832
 2010-09-17 15:56:15 +00:00
Peter Simons
84302a3554 pkgs/top-level/all-packages.nix: strip trailing white space, no functional change 
svn path=/nixpkgs/trunk/; revision=23830
 2010-09-17 14:47:02 +00:00
Peter Simons
c8fbebe6b6 pkgs/top-level/all-packages.nix: removed lowPrio modifier from ghostscriptX 
By default, "nix-env -i ghostscript" used to install a version of Ghostscript
that didn't support X11. IMHO, this was the wrong choice for a user profile.

svn path=/nixpkgs/trunk/; revision=23829
 2010-09-17 14:46:55 +00:00
Peter Simons
9640592265 pkgs/misc/ghostscript/default.nix: strip trailing white space, no functional change 
svn path=/nixpkgs/trunk/; revision=23828
 2010-09-17 14:46:49 +00:00
Eelco Dolstra
fd538ef53d * Fix some more paths in Xen, and make it use /etc/xen for its 
configuration files.

svn path=/nixpkgs/trunk/; revision=23821
 2010-09-16 15:21:28 +00:00
Eelco Dolstra
fac8ff8d71 * Firefox 3.6.10. 
svn path=/nixpkgs/trunk/; revision=23820
 2010-09-16 11:44:48 +00:00
Yury G. Kudryashov
72ab62e8f5 krename meta 
svn path=/nixpkgs/trunk/; revision=23819
 2010-09-16 08:41:03 +00:00
Yury G. Kudryashov
69032f3d1d Add krename 
svn path=/nixpkgs/trunk/; revision=23818
 2010-09-16 08:40:56 +00:00
Yury G. Kudryashov
bd6da9f5f3 Use stdenv2 in podofo 
svn path=/nixpkgs/trunk/; revision=23817
 2010-09-16 08:40:47 +00:00
Marco Maggesi
4e5db40581 Update HOL Light to version 20100820 (rev57 on google code). 
Also replace the monolitic derivation hol_light_binaries with smaller
derivations.  Now the installation works as follows:

# Install the base system and a script "start_hol_light"
$ nix-env -i hol_light_sources hol_light

# Install a checkpointed executable with the core library preloaded
$ nix-env -i hol_light_core_dmtcp

# Install HOL Light binaries preloaded with other specific libraries:
$ nix-env -i hol_light_multivariate_dmtcp
$ nix-env -i hol_light_complex_dmtcp
$ nix-env -i hol_light_sosa_dmtcp
$ nix-env -i hol_light_card_dmtcp


svn path=/nixpkgs/trunk/; revision=23815
 2010-09-15 21:41:18 +00:00
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