Vladimír Čunát d957b4bd78 Merge recent master into staging ... Hydra nixpkgs: ?compare=1151601		2014-09-13 21:48:29 +02:00
..
AgdaSheaves	Merge recent master into staging	2014-09-13 21:48:29 +02:00
bitvector	Merge recent master into staging	2014-09-13 21:48:29 +02:00