Bug#639036: agda does not build with alex 3

Hi,

Are there any plans to make agda work with newer alex?


Thanks



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

Reply via email to