applications
|
Update and fix LEO2 prover
|
2014-08-12 03:57:52 +04:00 |
data
|
Merge pull request #3211 from ttuegel/adobe-fonts
|
2014-08-08 21:52:59 +02:00 |
development
|
Update libreoffice to the version 4.3.0.4
|
2014-08-12 01:49:54 +04:00 |
games
|
LambdaHack: mark package as broken
|
2014-08-11 12:54:50 +02:00 |
servers
|
Merge 'staging' into master
|
2014-08-08 20:13:23 +02:00 |
shells
|
Merge 'staging' into master
|
2014-08-08 20:13:23 +02:00 |
tools
|
Merge pull request #3525 from wkennington/cache.ddrescue
|
2014-08-11 22:40:42 +02:00 |
top-level
|
Use shared atlas in liblapack for hmatrix
|
2014-08-12 02:27:44 +02:00 |