The image contains a version of CIAO 4.8 which has been installed and then re-built. This is an experiment and is not intended for any sort of real-world use. I make no guarantees about the contents of the image, its state, whether it has been tested, or even its longevity (i.e. I could remove it at any time).
Saying all that, if you are interested in this, or have a use case for CIAO on docker, then please let me know.You may also be interested in ldouchy/ciao, although this is not any sort of endorsement (or not-endorsement) of that image.
You can access the
Dockerfile at https://github.com/DougBurke/docker-ciao/ (I have not yet set up an automated build as this is all still experimental).