Frederik Rietdijk 0585d4be98 python: ipywidgets: 7.2.1 -> 7.3.0		2018-07-22 16:52:42 +02:00
..
default.nix	python: ipywidgets: 7.2.1 -> 7.3.0	2018-07-22 16:52:42 +02:00