Frederik Rietdijk 5b603c0fd5 python: ipython: 7.2.0 -> 7.5.0		2019-06-15 08:44:03 +02:00
..
5.nix
default.nix	python: ipython: 7.2.0 -> 7.5.0	2019-06-15 08:44:03 +02:00