formalmethods/carma-base-runtime repository overview

⁠carma-base-runtime

A base image for Dockerized Haskell apps, intended to be used with Haskell Stack. Currently it only contains the minimum amount of libraries required to run CaRMa.

To use, put in your stack.yaml the following:

image:
  containers:
    - base: "formalmethods/carma-base-runtime"

Now build your project container with stack image container.