Frederik Rietdijk d575a899d4 python: ipywidgets: 7.3.0 -> 7.4.0		2018-08-25 07:38:22 +02:00
..
default.nix	python: ipywidgets: 7.3.0 -> 7.4.0	2018-08-25 07:38:22 +02:00