Revision 1018b2d8cb6fa7b4780a20c5b6a6e4a11e726cf9 authored by Raphaël Cauderlier on 31 May 2019, 11:56:31 UTC, committed by Raphaël Cauderlier on 31 May 2019, 11:56:31 UTC
1 parent 877a6f2
mi-cho-coq.opam
opam-version: "2.0"
synopsis: "A specification of Michelson in Coq to prove properties about smart contracts in Tezos"
maintainer: "raphael.cauderlier@nomadic-labs.com"
authors: [ "Raphaël Cauderlier" "Bruno Bernardo" "Julien Tesson" "Arvid Jakobsson" ]
homepage: "https://gitlab.com/nomadic-labs/mi-cho-coq/"
dev-repo: "git+https://gitlab.com/nomadic-labs/mi-cho-coq/"
bug-reports: "https://gitlab.com/nomadic-labs/mi-cho-coq/issues"
license: "MIT"
build: [ [ "./configure" ] [ make ] ]
install: [ ]
remove: [ ]
depends: [ "coq" {>= "8.8"} "coq-ott" "ott" ]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...