search

amutake / docker-satysfi

Docker images for SATySFi and Satyrographos
https://hub.docker.com/r/amutake/satysfi/
Apache License 2.0
26 stars 5 forks source link

Remove unnecessary ocaml compilers #3

Closed amutake closed 4 years ago

amutake commented 5 years ago 
opam@d4a5e784cb99:~/.opam$ opam switch
#   switch                      compiler                                     description
->  4.07                        ocaml-base-compiler.4.07.1                   4.07
    4.07+afl                    ocaml-variants.4.07.1+afl                    4.07+afl
    4.07+default-unsafe-string  ocaml-variants.4.07.1+default-unsafe-string
          4.07+default-unsafe-string
    4.07+flambda                ocaml-variants.4.07.1+flambda                4.07+flambda
    4.07+force-safe-string      ocaml-variants.4.07.1+force-safe-string      4.07+force-safe-string
amutake commented 4 years ago

https://github.com/amutake/satysfi-docker/pull/7