Frederik Rietdijk 68433031c3 python: ipywidgets: 7.4.2 -> 7.5.0		2019-07-21 08:38:23 +02:00
..
default.nix	python: ipywidgets: 7.4.2 -> 7.5.0	2019-07-21 08:38:23 +02:00