Frederik Rietdijk 56db8abfb2 python: ipywidgets: 7.4.0 -> 7.4.2		2018-10-13 09:50:16 +02:00
..
default.nix	python: ipywidgets: 7.4.0 -> 7.4.2	2018-10-13 09:50:16 +02:00