.orchestra/ci/install-dependencies.sh

.orchestra/config/components/autoupdater.yml

.orchestra/config/components/revng_distributable.yml

.orchestra/config/components/ui/cold_revng.yml

.orchestra/support/revng-distributable/README.md

...stra/support/revng-distributable/dockers/archlinux.docker

.orchestra/support/revng-distributable/dockers/build-all

...estra/support/revng-distributable/dockers/centos-7.docker

...estra/support/revng-distributable/dockers/centos-8.docker

...stra/support/revng-distributable/dockers/debian-10.docker

...estra/support/revng-distributable/dockers/debian-7.docker

...estra/support/revng-distributable/dockers/debian-8.docker

...estra/support/revng-distributable/dockers/debian-9.docker

...stra/support/revng-distributable/dockers/fedora-29.docker

...stra/support/revng-distributable/dockers/fedora-30.docker

...stra/support/revng-distributable/dockers/fedora-31.docker

...stra/support/revng-distributable/dockers/fedora-32.docker

.orchestra/support/revng-distributable/dockers/gentoo.docker

...rt/revng-distributable/dockers/install-revng-dependencies

.../support/revng-distributable/dockers/opensuse-15.0.docker