Commit Graph

7805 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
Michael Raskin
8703ea4070 Update uzbl
svn path=/nixpkgs/trunk/; revision=16707
2009-08-13 14:31:43 +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
0fa5cdc251 * Remove some trace calls.
svn path=/nixpkgs/trunk/; revision=16705
2009-08-13 08:37:00 +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
40854d65b4 svn path=/nixpkgs/trunk/; revision=16700 2009-08-12 13:36:36 +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
17828d8442 * udev: updated to 145. Dropped support for doing a static build
since we don't need it anymore.  Patched the udev rules/helper
  programs for CD-ROM symlink generation and firmware loading so that
  we don't have to provide our own.

svn path=/nixpkgs/trunk/; revision=16684
2009-08-11 21:00:42 +00:00
Eelco Dolstra
17132958a9 * dbus: updated to 1.2.16.
svn path=/nixpkgs/trunk/; revision=16683
2009-08-11 20:58:05 +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
604d42d560 * pciutils: updated the pci.ids database. Don't compress it anymore
because the latest udev wants an uncompressed version.

svn path=/nixpkgs/trunk/; revision=16679
2009-08-11 20:44:35 +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
775f5b05fc Tahoe: Install the doc.
svn path=/nixpkgs/trunk/; revision=16676
2009-08-11 16:26:12 +00:00
Ludovic Courtès
4a4f864c6f buildPythonPackage: Allow checkPhase' and postInstall' to be customized.
svn path=/nixpkgs/trunk/; revision=16675
2009-08-11 16:25:41 +00:00
Eelco Dolstra
6344a8d374 * cksfv 1.3.14.
svn path=/nixpkgs/trunk/; revision=16673
2009-08-11 13:49:13 +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
Ludovic Courtès
c919587a26 Crypto++: Fix shared library.
svn path=/nixpkgs/trunk/; revision=16664
2009-08-11 07:52:29 +00:00
Ludovic Courtès
5a75fd2147 Crypto++ 5.6.0, with shared library and test suite.
svn path=/nixpkgs/trunk/; revision=16661
2009-08-10 23:50:07 +00:00
Sander van der Burg
f8b01c81dc Upgraded tomcat connector module to 1.2.28
svn path=/nixpkgs/trunk/; revision=16659
2009-08-10 20:14:34 +00:00
Andres Löh
2eadd35bdd Updated Haskell Platform.
svn path=/nixpkgs/trunk/; revision=16656
2009-08-10 19:18:03 +00:00
Eelco Dolstra
80b0d89ff0 * bluez: store state under /var.
svn path=/nixpkgs/trunk/; revision=16651
2009-08-10 18:24:20 +00:00
Ludovic Courtès
a58d165524 Revert r16645, which was intended for the `stdenv-updates' branch.
svn path=/nixpkgs/trunk/; revision=16646
2009-08-10 13:37:18 +00:00
Ludovic Courtès
09ab84a431 GCC wrapper: Don't create dangling symlinks; create a `gcj' symlink.
svn path=/nixpkgs/trunk/; revision=16645
2009-08-10 13:33:58 +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
8e2daf1287 Account for strange naming in some SBCL tarballs
svn path=/nixpkgs/trunk/; revision=16636
2009-08-10 07:14:28 +00:00
Eelco Dolstra
64b833face * smartmontools updated to 5.38.
svn path=/nixpkgs/trunk/; revision=16635
2009-08-10 06:44:08 +00:00
Michael Raskin
41eba0d962 SBCL 1.0.30 fails to build even on CLisp 2.44.1
svn path=/nixpkgs/trunk/; revision=16634
2009-08-10 05:58:16 +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
d2e63b3167 Change used archive format for CLisp
svn path=/nixpkgs/trunk/; revision=16631
2009-08-09 22:47:18 +00:00
Michael Raskin
19f4a84b09 Update SBCL
svn path=/nixpkgs/trunk/; revision=16630
2009-08-09 22:45:43 +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
Michael Raskin
e752ff5332 Try updating CLisp after libsigsegv update
svn path=/nixpkgs/trunk/; revision=16628
2009-08-09 22:41:29 +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
Ludovic Courtès
5c37e49299 GNU IceCat 3.5.2.
svn path=/nixpkgs/trunk/; revision=16618
2009-08-09 18:26:16 +00:00
Michael Raskin
a42b80d221 Adding OpenLieroX
svn path=/nixpkgs/trunk/; revision=16617
2009-08-08 18:18:33 +00:00
Eelco Dolstra
6009ff1c72 svn path=/nixpkgs/trunk/; revision=16616 2009-08-07 15:29:34 +00:00
Eelco Dolstra
223bce6491 * Latest httpd, apr, apr-util.
svn path=/nixpkgs/trunk/; revision=16615
2009-08-07 15:26:13 +00:00