applications
|
Add an expression for building Coq HEAD
|
2014-08-08 18:11:00 -05:00 |
data
|
Merge pull request #3211 from ttuegel/adobe-fonts
|
2014-08-08 21:52:59 +02:00 |
games
|
LambdaHack: disable Hydra builds for this package
|
2014-08-09 00:39:52 +02:00 |
misc
|
Merge 'staging' into master
|
2014-08-08 20:13:23 +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
|
youtube-dl: update to 2014.08.05
|
2014-08-09 02:57:18 +02:00 |
top-level
|
Add an expression for building Coq HEAD
|
2014-08-08 18:11:00 -05:00 |