Frederik Rietdijk 7fa99fe7b4 python: pymc3: 3.4.1 -> 3.5		2018-07-26 12:43:05 +02:00
..
default.nix	python: pymc3: 3.4.1 -> 3.5	2018-07-26 12:43:05 +02:00