Peter Simons ca931e0e1e Merge pull request #3915 from Fuuzetsu/agda-builder ...

RFC: Agda builder

2014-09-04 11:28:47 +02:00

..

applications

docker: add xz to PATH, make importing from archives work

2014-09-04 01:30:59 +02:00

build-support

Merge pull request #3915 from Fuuzetsu/agda-builder

2014-09-04 11:28:47 +02:00

data

Merge pull request #3942 from joshcartwright/proggyfonts

2014-09-03 22:04:00 +04:00

desktops

totem: drop upstream patch after update

2014-09-03 10:02:41 +02:00

development

Merge pull request #3915 from Fuuzetsu/agda-builder

2014-09-04 11:28:47 +02:00

games

bsd-games: fixed path to dictionary

2014-09-03 23:58:07 +02:00

misc

Merge pull request #3886 from AndersonTorres/higan

2014-09-03 21:49:05 +04:00

os-specific

Don't specify Perl version

2014-09-02 03:04:17 +04:00

servers

Merge pull request #3878 from pmahoney/ngx_lua

2014-09-03 21:37:18 +04:00

shells

pythonPackges.ipython: 2.0.0 -> 2.2.0

2014-08-25 11:01:31 +02:00

stdenv

…

test

…

tools

Add JohnTheRipper, a fast password cracker

2014-09-04 01:30:04 +02:00

top-level

Merge pull request #3915 from Fuuzetsu/agda-builder

2014-09-04 11:28:47 +02:00