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.06.1" & < "5.0.0"}
12 "ocamlfind" {build}
13 "ocamlbuild" {build}
14 "lem" {>= "2018-05-11"}
15]
16synopsis:
17 "A formalisation of the core ELF file format written in Lem"
18description: """
19A formalisation of the core ELF file format written in Lem.
20ELF is the de facto standard executable and linkable file format
21on Linux and related systems.
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.7.tar.gz"
27 checksum: [
28 "md5=277cd1864b4f65683b58918f92ef25cd"
29 "sha512=780b1acb62ea658658ccd6b3f6fd16acb15fa54c48e76a52eb9578159bf187a8723db8c63111b58b7afb769920eb8db1130b75eabb5058bf770e6a6b839bcd9c"
30 ]
31}