Allow autoupdates for altermime
Update angelscript
Update atanks
Update Box2D to 2.3.0. I fail to build 2.3.1, though.
Add an auto-update script for atanks
Update Linux 3.15 to 3.15.3
added lua-filesystem-1.6.2
Tweak
Fix evaluation
include share directory
Added pipes-csv and pipes-http
compcert: build with 64-bit compiler, add darwin support
compcert: add missing semicolon in all-packages.nix
compcert: Correct syntax used in default.nix
xmobar: Updated to 0.21
Merge branch 'xmobar-update'
Add inferno, a distributed cross-platform hosted OS
Update GNU lightning to 2.0.4
Add Thrift-0.6.0.1
Update haskell-http-kit to version 0.5.1