iris-simp-lang.opam

opam-version: "2.0"
maintainer: "tchajed@gmail.com"
version: "dev"

homepage: "https://github.com/tchajed/iris-simp-lang"
dev-repo: "git+https://github.com/tchajed/iris-simp-lang.git"
bug-reports: "https://github.com/tchajed/iris-simp-lang/issues"
license: "MIT"

synopsis: "Simple language to demo instantiating Iris"
description: """
Iris allows supports a generic language interface, often instantiated using
HeapLang. Here we instantiate that interface with a bare minimum of features,
simplifying compared to HeapLang.
"""

depends: [
  "coq" {>= "8.17"}
  "coq-iris" {>= "dev.2023-11-06.6.35f38b59" | (>= "4.2.0" & < "5.0") | = "dev"}
]

build: [make "-j%{jobs}%"]
install: [make "install"]

tags: [
  "category:Miscellaneous"
  "keyword:iris"
  "logpath:iris_simp_lang"
]

authors: [
  "Tej Chajed"
]