cabal
|
Rename buildNativeInputs -> nativeBuildInputs
|
2012-12-28 19:20:09 +01:00 |
fetchgit
|
Handle invalid references
|
2012-06-20 23:28:53 -04:00 |
fetchmtn
|
Rename buildNativeInputs -> nativeBuildInputs
|
2012-12-28 19:20:09 +01:00 |
fetchurl
|
Remove savannah mirror that seems to hang
|
2012-12-29 01:55:00 +01:00 |
kernel
|
Rename buildNativeInputs -> nativeBuildInputs
|
2012-12-28 19:20:09 +01:00 |
release
|
use openjdk as default for ant-build.nix
|
2012-08-25 19:39:49 +02:00 |
upstream-updater
|
Update E prover
|
2012-12-09 00:36:38 +04:00 |
vm
|
Add Ubuntu 12.10
|
2012-12-04 20:06:07 +01:00 |