Commit graph

2679 commits

Author SHA1 Message Date
Andres Löh
0e14f884d3 Added HGL.
svn path=/nixpkgs/trunk/; revision=16715
2009-08-14 08:02:57 +00:00
Michael Raskin
fcab7941bb Update RelFS dependencies
svn path=/nixpkgs/trunk/; revision=16710
2009-08-14 06:32:18 +00:00
Michael Raskin
7ffff9d558 Adding ACL2.
ACL2 = A Computational Logic for Applicative Common Lisp. It is 
a Lisp sublanguage and a correctness prover for it.

svn path=/nixpkgs/trunk/; revision=16708
2009-08-13 14:32:52 +00:00
Andres Löh
3194a76689 Added LambdaHack package.
svn path=/nixpkgs/trunk/; revision=16706
2009-08-13 13:23:01 +00:00
Eelco Dolstra
714555bb81 * Added PolicyKit and eggdbus. There is a newer version of PolicyKit
(0.93), but it doesn't compile with the current glib.

svn path=/nixpkgs/trunk/; revision=16704
2009-08-13 07:55:11 +00:00
Michael Raskin
374c8b7e70 Add a few more jobs to buildfarm
svn path=/nixpkgs/trunk/; revision=16703
2009-08-13 05:38:33 +00:00
Andres Löh
738b44d9d2 Some Haskell package updates.
svn path=/nixpkgs/trunk/; revision=16702
2009-08-12 15:28:47 +00:00
Eelco Dolstra
211b4d9292 * Added Text::Table.
svn path=/nixpkgs/trunk/; revision=16698
2009-08-12 13:31:07 +00:00
Eelco Dolstra
0f9dec17c7 svn path=/nixpkgs/trunk/; revision=16696 2009-08-12 10:39:49 +00:00
Eelco Dolstra
bbf64219b4 * More e2fsprogs -> libuuid.
svn path=/nixpkgs/trunk/; revision=16695
2009-08-11 22:29:03 +00:00
Eelco Dolstra
130b060d90 * GNU parted: e2fsprogs -> libuuid.
svn path=/nixpkgs/trunk/; revision=16694
2009-08-11 22:23:30 +00:00
Eelco Dolstra
a63c9c8e71 * hal: updated to 0.5.13.
* hal-info: updated to 20090716.

svn path=/nixpkgs/trunk/; revision=16686
2009-08-11 21:03:53 +00:00
Eelco Dolstra
d66fd6e36b svn path=/nixpkgs/trunk/; revision=16685 2009-08-11 21:01:20 +00:00
Eelco Dolstra
6f70fd1c6b * util-linux-ng: updated to 2.16. Don't build a separate mount
anymore since the build process was very hacky.  Instead
  mount/umount looks for mount helpers in
  /var/run/current-system/sw/sbin.  It would be better to use an
  environment variable, but that would be risky if mount is setuid
  root.
* e2fsprogs: updated to 1.41.8.  Don't build libuuid, libblkid
  etc. anymore, since they have been moved to util-linux-ng.
* nfs-utils: updated to 1.2.0.

svn path=/nixpkgs/trunk/; revision=16682
2009-08-11 20:57:29 +00:00
Eelco Dolstra
c2737e315a * usbutils updated to 0.84.
* usb.ids updated to the latest version.

svn path=/nixpkgs/trunk/; revision=16681
2009-08-11 20:48:56 +00:00
Eelco Dolstra
4d7e5187d8 * xine-lib: updated to 1.1.16.3.
* xine-lib: dropped the dependency on SDL, which is not really
  necessary.  (And it caused Phonon/KDE to depend on SDL.)

svn path=/nixpkgs/trunk/; revision=16680
2009-08-11 20:47:33 +00:00
Eelco Dolstra
6e4a53de74 * dmidecode 2.10.
svn path=/nixpkgs/trunk/; revision=16678
2009-08-11 20:43:39 +00:00
Ludovic Courtès
054c8237e7 Tahoe 1.5.0.
svn path=/nixpkgs/trunk/; revision=16666
2009-08-11 08:11:13 +00:00
Ludovic Courtès
5cd915c6eb pycryptopp 0.5.15.
svn path=/nixpkgs/trunk/; revision=16665
2009-08-11 07:55:18 +00:00
Andres Löh
92f8b3767f Version bump for leksah.
svn path=/nixpkgs/trunk/; revision=16642
2009-08-10 12:43:30 +00:00
Michael Raskin
9d7600ccf5 Oops, libsigsegv-2.5 was not a builderDefs expression
svn path=/nixpkgs/trunk/; revision=16633
2009-08-10 05:50:42 +00:00
Michael Raskin
2ef1fe1b5b Restore libsigsegv-2.5 and fix clisp-2.44.1 build for bootstrapping needs
svn path=/nixpkgs/trunk/; revision=16632
2009-08-10 05:20:14 +00:00
Michael Raskin
c5b0f1e2f7 Check using fresh CLisp for SBCL bootstrap
svn path=/nixpkgs/trunk/; revision=16629
2009-08-09 22:42:35 +00:00
Ludovic Courtès
c1a05331f3 GNU libsigsegv 2.7.
svn path=/nixpkgs/trunk/; revision=16627
2009-08-09 22:24:05 +00:00
Ludovic Courtès
c3943258ce Add GNU fdisk.
svn path=/nixpkgs/trunk/; revision=16626
2009-08-09 22:15:40 +00:00
Michael Raskin
a42b80d221 Adding OpenLieroX
svn path=/nixpkgs/trunk/; revision=16617
2009-08-08 18:18:33 +00:00
Michael Raskin
7ae63ef5cb Adding vncrec - a VNC recorder
svn path=/nixpkgs/trunk/; revision=16603
2009-08-07 12:00:00 +00:00
Eelco Dolstra
e0bdca07ff * Various OBEX-related tools.
svn path=/nixpkgs/trunk/; revision=16595
2009-08-05 23:24:27 +00:00
Eelco Dolstra
b7b4757ae4 * Added bluez, the Bluetooth stack for Linux.
svn path=/nixpkgs/trunk/; revision=16594
2009-08-05 20:29:36 +00:00
Michael Raskin
39d02d873f Update XNeur
svn path=/nixpkgs/trunk/; revision=16589
2009-08-05 10:25:17 +00:00
Eelco Dolstra
84c7717cd5 * qemu-kvm is the upstream renaming of the kvm package. It no longer
contains the kernel module, which we didn't build anyway.  The kvm
  package can be deleted eventually.

svn path=/nixpkgs/trunk/; revision=16582
2009-08-04 16:02:27 +00:00
Eelco Dolstra
af3b8475ff * Remove some old KVM versions.
svn path=/nixpkgs/trunk/; revision=16581
2009-08-04 15:57:12 +00:00
Eelco Dolstra
550befd9e8 * Firefox 3.5.2.
svn path=/nixpkgs/trunk/; revision=16573
2009-08-04 08:11:33 +00:00
Michael Raskin
890cf33ef7 Adding fbida, framebuffer image viewer
svn path=/nixpkgs/trunk/; revision=16571
2009-08-04 07:14:43 +00:00
Michael Raskin
caede3beb5 Update LinuxWacom driver
svn path=/nixpkgs/trunk/; revision=16565
2009-08-03 14:15:22 +00:00
Michael Raskin
0b7b42ac25 Forgot makeWrapper input to uzbl
svn path=/nixpkgs/trunk/; revision=16550
2009-08-03 06:27:20 +00:00
Michael Raskin
35aa394332 Uzbl tangentially depends on HAL, so build it on Linux only
svn path=/nixpkgs/trunk/; revision=16549
2009-08-03 06:19:41 +00:00
Michael Raskin
1beabd36fb Remove hanging gcj43 reference
svn path=/nixpkgs/trunk/; revision=16547
2009-08-03 06:06:40 +00:00
Michael Raskin
30d143f0d8 Try to handle GStreamer correctly in webkit
svn path=/nixpkgs/trunk/; revision=16544
2009-08-03 05:11:30 +00:00
Michael Raskin
fd557980cd Add libsoup as gstreamer dependency
svn path=/nixpkgs/trunk/; revision=16543
2009-08-03 04:55:30 +00:00
Michael Raskin
dee8937ae7 Adding Xournal - a note-taking application for stylus usage
svn path=/nixpkgs/trunk/; revision=16538
2009-08-02 21:47:10 +00:00
Michael Raskin
22722a5e76 Try building uzbl lightweight browser on the buildfarm
svn path=/nixpkgs/trunk/; revision=16533
2009-08-02 18:27:07 +00:00
Ludovic Courtès
9e8792548d GNU Emacs 23.1.
svn path=/nixpkgs/trunk/; revision=16529
2009-07-31 22:25:05 +00:00
Ludovic Courtès
937c50442c Add Zziplib.
svn path=/nixpkgs/trunk/; revision=16528
2009-07-31 10:24:02 +00:00
Ludovic Courtès
4f591cb803 Add GNU Classpath.
svn path=/nixpkgs/trunk/; revision=16527
2009-07-31 09:59:45 +00:00
Ludovic Courtès
0b46ac126b GCJ 4.4: More X dependencies.
svn path=/nixpkgs/trunk/; revision=16516
2009-07-30 08:32:43 +00:00
Ludovic Courtès
2e8e54fbbc GCJ 4.4: More X dependencies.
svn path=/nixpkgs/trunk/; revision=16513
2009-07-29 22:55:16 +00:00
Ludovic Courtès
a2e9613540 GCJ 4.4: More X dependencies (soon it will be all over, well I hope soon).
svn path=/nixpkgs/trunk/; revision=16512
2009-07-29 20:47:12 +00:00
Ludovic Courtès
6e75b20d46 GCJ 4.4: More X dependencies (it's never enough).
svn path=/nixpkgs/trunk/; revision=16510
2009-07-29 19:33:45 +00:00
Michael Raskin
3baa3663c9 Try newer -RC kernel
svn path=/nixpkgs/trunk/; revision=16504
2009-07-29 18:10:26 +00:00