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 |
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
|
* Remove phpIniBuilder (obsolete).
|
2010-02-15 20:29:50 +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 |
tools
|
Updating octave and gnuplot.
|
2010-02-15 10:54:50 +00:00 |
top-level
|
* Remove phpIniBuilder (obsolete).
|
2010-02-15 20:29:50 +00:00 |