Frederik Rietdijk 7a4912c508 python: ipywidgets: 7.5.0 -> 7.5.1		2019-10-18 09:53:58 +02:00
..
default.nix	python: ipywidgets: 7.5.0 -> 7.5.1	2019-10-18 09:53:58 +02:00