Daniel Siepmann 9e801efd12 Integrate nix-index ... This is a try, not sure if I need it, it probably will increase consumed time by update procedure.		2022-05-22 19:13:53 +02:00
..
default.nix	Integrate nix-index	2022-05-22 19:13:53 +02:00