Frederik Rietdijk 1f2c23dabe python: ipywidgets: 7.0.5 -> 7.1.0		2017-12-31 10:55:07 +01:00
..
default.nix	python: ipywidgets: 7.0.5 -> 7.1.0	2017-12-31 10:55:07 +01:00