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 |
development
|
Updating octave and gnuplot.
|
2010-02-15 10:54:50 +00:00 |
misc
|
Update TeX packages
|
2010-02-11 09:45:07 +00:00 |
os-specific
|
Add package dmtcp_devel
|
2010-02-13 11:02:08 +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
|
* Zabbix updated to 1.8.1.
|
2010-02-15 14:20:28 +00:00 |