Hi Jean-Michel.
By the way,
a version has changed in 0.8.0 from 0.1.1 since yesterday.
There is description of
--->pkg_delete pgadmin3-0.1.1
by the guidance of my text.
Will you correct this with
--->pkg_delete pgadmin3-x.x.x
I am sorry for the busy place.
Thank you.
Regards,
Hiroshi-Saito