Commit graph

2678 commits

Author SHA1 Message Date
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
Ludovic Courtès cf229e4156 GCJ 4.4: More X dependencies.
svn path=/nixpkgs/trunk/; revision=16503
2009-07-29 16:18:31 +00:00