coq-int63.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: [
    [make "verydeepclean"]
    [make "SUBPROJECT=model" "J=%{jobs}%"]
]
install: [
    make "SUBPROJECT=model" "install-model"
]
depends: [
    "coq" {>= "8.13.2"}
    "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.
"""