PublicLewdnessa donné CAD 5.00
Kirsten Thiemanna donné € 10.00
STEFFEN SCHULERa donné € 20.00
Faire un don maintenant !
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