x86_64-linux	coq_8_5
aarch64-linux	framac
x86_64-darwin	coq_8_9
aarch64-linux	prooftree
x86_64-linux	coq_8_9
i686-linux	coq_8_5
x86_64-darwin	framac
x86_64-linux	framac
aarch64-linux	coq_8_9
x86_64-darwin	coq_8_7
i686-linux	coq_8_7
x86_64-linux	coq_8_7
aarch64-linux	compcert
x86_64-linux	why3
i686-linux	coq_8_9
i686-linux	prooftree
i686-linux	coq
x86_64-linux	prooftree
x86_64-darwin	prooftree
aarch64-linux	satallax
aarch64-linux	coq_8_5
x86_64-linux	satallax
i686-linux	compcert
i686-linux	coq_8_6
aarch64-linux	why3
x86_64-linux	compcert
x86_64-darwin	coq
x86_64-darwin	coq_8_6
x86_64-darwin	compcert
x86_64-linux	coq
x86_64-darwin	coq_8_8
x86_64-darwin	why3
x86_64-linux	coq_8_8
x86_64-linux	coq_8_6
aarch64-linux	coq_8_7
i686-linux	framac
i686-linux	why3
i686-linux	satallax
x86_64-darwin	coq_8_5
aarch64-linux	coq
aarch64-linux	coq_8_6
i686-linux	coq_8_8
aarch64-linux	coq_8_8