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: [

]

depends: [

"coq-vsu-int63-src" {= version}

"coq-vsu-int63-vst-32" {= version}

"coq-vsu-int63-vst" {= version}

]

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.

"""