frama-c: import from aur
zarith: import from aur
coq: import from aur
ltl2ba: import from aur