this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Linksem Devs <cl-linksem-dev@lists.cam.ac.uk>"
3authors: ["Stephen Kell" "Dominic Mulligan" "Peter Sewell"]
4homepage: "https://github.com/rems-project/linksem"
5bug-reports: "https://github.com/rems-project/linksem/issues"
6license: "BSD-2-Clause"
7dev-repo: "git+https://github.com/rems-project/linksem.git"
8build: [make]
9install: [make "install"]
10depends: [
11 "ocaml" {>= "4.07.0"}
12 "ocamlfind" {build}
13 "ocamlbuild" {build}
14 "lem" {>= "2018-05-11"}
15]
16synopsis:
17 "A formalisation of the core ELF and DWARF file formats written in Lem"
18description: """
19A formalisation of the core ELF and DWARF file format written in Lem.
20ELF is the de facto standard executable and linkable file format
21on Linux and related systems; DWARF is the associated debug information format.
22This formalisation has been tested against approximately 5,000 ELF binaries
23found \"in the wild\" on various different platforms.
24"""
25url {
26 src: "https://github.com/rems-project/linksem/archive/0.8.tar.gz"
27 checksum: [
28 "md5=2075c56715539b3b8f54ae65cc808b8c"
29 "sha512=f7c16e4036a1440a6a8d13707a43f0f9f9db0c68489215f948cc300b6a164dba5bf852e58f89503e9d9f38180ee658d9478156ca1a1ef64d6861eec5f9cf43d2"
30 ]
31}