talex5

Debugging

Debian + 0install, for Travis tests.

Used to test PRs on https://github.com/0install/repo.roscidus.com

The TLA+ tools (TLC, TLATEX, TLAPS), for CI

Test installing 0install on various platforms

A clean Ubuntu 10.04 32-bit image. Used for building 32-bit binaries from a 64-bit host.

OCaml builders for 0install generic binaries.