https://github.com/AU-COBRA/ConCert
Tip revision: 4b3148a20c36d045eeca6596140289d709e1478b authored by Danil Annenkov on 23 August 2022, 18:34:33 UTC
Update README: paper citation formatting
Update README: paper citation formatting
Tip revision: 4b3148a
coq-concert.opam
opam-version: "2.0"
name: "coq-concert"
version: "dev"
synopsis: "A framework for smart contract verification in Coq"
description: """
A framework for smart contract verification in Coq
"""
maintainer: "Danil Annenkov <danil.v.annenkov@gmail.com>"
authors: "The COBRA team"
license: "MIT"
homepage: "https://github.com/AU-COBRA/ConCert"
dev-repo: "git+https://github.com/AU-COBRA/ConCert.git"
bug-reports: "https://github.com/AU-COBRA/ConCert/issues"
doc: "https://au-cobra.github.io/ConCert/toc.html"
depends: [
"coq" {>= "8.15" & < "8.16~"}
"coq-bignums" {= "8.15.0"}
"coq-quickchick" {= "1.6.0"}
"coq-metacoq-template" {= "1.0+8.15"}
"coq-metacoq-pcuic" {= "1.0+8.15"}
"coq-metacoq-safechecker" {= "1.0+8.15"}
"coq-metacoq-erasure" {= "1.0+8.15"}
"coq-equations" {= "1.3+8.15"}
"coq-stdpp" {= "1.7.0"}
]
build: [
[make]
[make "examples"] {with-test}
[make "html"] {with-doc}
]
install: [
[make "install"]
[make "-C" "examples" "install"] {with-test}
]