Allow auto-updating of the AnonymousPro font
Update afflib
Add fresh (unstable) Allegro 5, too
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