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