knifedoou € 20.00
khanh_duongdoou $ 100.00
Johannes Mertendoou € 20.00
Zack Fosdyck (Z...doou $ 20.00
Doar agora!
Package libwhy-coq is broken. Missing dependency package: coq-8.3pl3+3.12.1
Package is unavailable in upstream. http://packages.ubuntu.com/precise/libwhy-coq
Package is unavailable in upstream.
http://packages.ubuntu.com/precise/libwhy-coq