Commit 3528ed3f authored by Opam Update Bot's avatar Opam Update Bot
Browse files

Automatic publication of dev.2021-11-19.3.7b665ce0 for refinedc

parent 81a92eb6
opam-version: "2.0"
name: "refinedc"
synopsis: "RefinedC verification framework"
description: """
RefinedC is a framework for verifying idiomatic, low-level C code using a
combination of refinement types and ownership types.
"""
license: "BSD-3-Clause"
maintainer: ["Michael Sammler <msammler@mpi-sws.org>"
"Rodolphe Lepigre <lepigre@mpi-sws.org>"]
authors: ["Michael Sammler" "Rodolphe Lepigre" "Kayvan Memarian"]
homepage: "https://plv.mpi-sws.org/refinedc"
bug-reports: "https://gitlab.mpi-sws.org/iris/refinedc/issues"
dev-repo: "git+https://gitlab.mpi-sws.org/iris/refinedc.git"
depends: [
"coq" { (>= "8.14.0" & < "8.15~") }
"coq-iris" { (= "dev.2021-09-13.0.6575260a") | (= "dev") }
"dune" {>= "2.9.1"}
"cerberus" {= "~dev"}
"cmdliner" {>= "1.0.4"}
"earley" {= "3.0.0"}
"toml" {= "5.0.0"}
"ubase" {= "0.04"}
"coq-record-update" {= "0.3.0"}
]
build: [
["dune" "subst"] {pinned}
["dune" "build" "-p" name "-j" jobs]
]
url { src: "git+https://gitlab.mpi-sws.org/iris/refinedc.git#7b665ce01e4e74b6c0c90fdaadf6df4aa596dad6" }
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment