Issue details for source frama-c/20220511-manganese-5

in pureos/dawn arm64

Missing dependencies

  • libstdlib-ocaml-dev-0d647:arm64

    Required by: libyojson-ocaml-dev
    Version: 2.2.2-1
    Type: Binary Package