setting package to aptitude, reassign 517107 to coq

Wed, 25 Feb 2009 20:01:44 -0800 

package aptitude
reassign 517107 coq 


-- 
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]

Reply via email to