agda
|
agda: Wrapper is no longer built by default
|
2015-05-20 16:01:40 +00:00 |
cc-wrapper
|
add is{GNU,Clang} attrs to cc-wrapper.
|
2015-05-11 14:39:36 -07:00 |
emacs
|
emacsWithPackages: install support files
|
2015-05-17 14:24:34 -05:00 |
fetchhg
|
Merge pull request #7235 from risicle/fetchhgsubrepo
|
2015-05-04 18:20:32 +02:00 |
grsecurity
|
kernel: 4.0.1 -> 4.0.2
|
2015-05-07 20:32:24 -07:00 |
ocaml
|
add an ocaml specific builder to the system
|
2015-05-22 10:12:21 -07:00 |
vm
|
Add Ubuntu 15.04
|
2015-05-22 13:21:02 +02:00 |