[Sisyphus-incominger] I: incoming x86_64 success: coq-8.0pl3-alt2

Upravdom Team Robot =?iso-8859-1?q?upravdom_=CE=C1_altlinux=2Eorg?=
Вт Янв 2 04:51:49 MSK 2007


Dear Alex V. Myltsev !
The coq-8.0pl3-alt2 package passed thru incoming rebuild for x86_64
architecture.
Thank you!

-- 
Rgrds, your upravdom




Подробная информация о списке рассылки Sisyphus-incominger