Re: [pacman-dev] feature request: pacman lock file