devtools/pkginfo.py
changeset 2438 576f4d51f826
parent 1977 606923dff11b