diff --git a/asli.opam b/asli.opam index f79b928e..0eb90e30 100644 --- a/asli.opam +++ b/asli.opam @@ -9,6 +9,7 @@ Currently supports reading/typechecking the specification, interactive execution of ASL statements and expressions, executing opcodes one at a time, loading ELF files and executing Arm binaries. +fdsa """ maintainer: ["Alastair Reid "] authors: ["Alastair Reid"]