Commit a0011618 authored by Dirk Beyer's avatar Dirk Beyer
Browse files

Added required packages for VeriFuzz (all installed already) -- fix a typo

parent 707393dc
Pipeline #389990438 passed with stage
in 4 minutes and 52 seconds
......@@ -426,7 +426,7 @@ verifiers:
url: https://gitlab.com/raveenkm/archives-2021/-/tree/master/2021
required-ubuntu-packages:
- clang-12
- framac-c-base
- frama-c-base
- gcc-multilib
- libc6-dev-i386
- libwhy3-ocaml-dev
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment