coq-vsu-int63-src.opam

opam-version: "2.0"
name: "Int63"
version: "1.0"
maintainer: "appliedfm"
homepage: "https://github.com/appliedfm/coq-vsu-int63"
dev-repo: "git+https://github.com/appliedfm/coq-vsu-int63.git"
bug-reports: "https://github.com/appliedfm/coq-vsu-int63/issues"
license: "https://github.com/appliedfm/coq-vsu-int63/blob/main/LICENSE"
authors: ["Tim Carstens" "appliedfm"]
build: []
install: [
    make "install-src"
]
depends: [
    "coq-vsu"
]
synopsis: "Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq"
description: """Int63

Formally verified 63-bit integer arithmetic, implemented in C and proven in Coq. Powered by VST.
"""