Frederik Rietdijk 959842a9c7 Python: add pname attributes to libraries ... so that we can use the update script.		2017-05-27 11:30:21 +02:00
..
default.nix