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

…