Frederik Rietdijk 731d3359d7 python: ipython: 7.15.0 -> 7.16.1		2020-06-30 17:35:30 +02:00
..
5.nix
7.9.nix
default.nix	python: ipython: 7.15.0 -> 7.16.1	2020-06-30 17:35:30 +02:00