José Luis Lafuente 6040ceb92e kitty: 0.9.1 -> 0.10.1		2018-05-25 12:30:31 +02:00
..
default.nix	kitty: 0.9.1 -> 0.10.1	2018-05-25 12:30:31 +02:00