I: incoming x86_64 success: ProofGeneral-3.7.1-alt1
QA Team Upravdom Robot
=?iso-8859-1?q?upravdom_=CE=C1_altlinux=2Eorg?=
Ср Окт 22 02:42:07 MSD 2008
Dear Ilya Mashkin!
The ProofGeneral-3.7.1-alt1 package passed through Sisyphus incoming
rebuild for x86_64 architecture.
Thank you!
--
Rgrds, your upravdom
Подробная информация о списке рассылки Sisyphus-incominger