On 2014-07-29 15:09, Jorge Ventura wrote:The relevant debian package is python-tempita.
ImportError: No module named tempita
make: *** [arch/api/invocation.h] Error 1
What is this module "tempita"? What package is that?
- Marcus
_______________________________________________
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers