applications
|
Add HOL Light and its dependencies.
|
2010-02-15 11:00:02 +00:00 |
build-support
|
* Sync with the trunk one last time.
|
2010-02-05 23:06:36 +00:00 |
configs/etc
|
d'oh, don't actually gzip it
|
2006-03-08 19:25:44 +00:00 |
data
|
Updating the url for shared desktop ontologies.
|
2010-02-11 22:22:00 +00:00 |
desktops
|
Fixing the derivation names for kde 4.3.5 l10n
|
2010-02-15 19:53:58 +00:00 |
development
|
Making pulseaudio optional on libao.
|
2010-02-15 17:10:35 +00:00 |
misc
|
Update TeX packages
|
2010-02-11 09:45:07 +00:00 |
os-specific
|
* Upstart updated to 0.6.5.
|
2010-02-15 15:55:39 +00:00 |
servers
|
* Zabbix updated to 1.8.1.
|
2010-02-15 14:20:28 +00:00 |
shells
|
* Sync with the trunk.
|
2010-02-03 14:23:43 +00:00 |
stdenv
|
* Revert r19795 to fix builds on FreeBSD.
|
2010-02-10 11:54:49 +00:00 |
test
|
Add a new way to handle option sets.
|
2008-08-05 17:16:35 +00:00 |
tools
|
Updating octave and gnuplot.
|
2010-02-15 10:54:50 +00:00 |
top-level
|
Making pulseaudio optional on libao.
|
2010-02-15 17:10:35 +00:00 |