applications
|
Update HOL Light to rev 114
|
2011-12-16 07:44:29 +00:00 |
data
|
shared-desktop-ontologies-0.8.1
|
2011-12-15 20:16:46 +00:00 |
desktops
|
desktops/e17: Updated everything.
|
2011-12-10 18:11:37 +00:00 |
development
|
Update OUnit to version 1.1.0
|
2011-12-16 09:13:47 +00:00 |
lib
|
Add mornfall as a maintainer
|
2011-12-03 22:05:21 +00:00 |
misc
|
Rebuild-checked: does not break boot
|
2011-12-10 05:05:15 +00:00 |
os-specific
|
Revert cryptsetup update to version 1.4.1.
|
2011-12-14 10:42:49 +00:00 |
servers
|
Upgrading CouchDB to 1.1.1 with SpiderMonkey 185
|
2011-12-15 12:24:25 +00:00 |
shells
|
synchronize with trunk
|
2011-10-18 08:47:36 +00:00 |
tools
|
pdf2djvu-0.7.11
|
2011-12-14 18:58:12 +00:00 |
top-level
|
Update OCaml 3.12.0 to 3.12.1
|
2011-12-16 08:11:19 +00:00 |