opam 508 Bytes
Newer Older
Ralf Jung's avatar
Ralf Jung committed
1
opam-version: "2.0"
Hai Dang's avatar
Hai Dang committed
2
3
4
5
6
name: "coq-iris-tutorial-popl18"
maintainer: "The Iris Organization"
authors: "The Iris Organization"
homepage: "https://gitlab.mpi-sws.org/iris/tutorial-popl18"
bug-reports: "https://gitlab.mpi-sws.org/iris/tutorial-popl18/issues"
Ralf Jung's avatar
Ralf Jung committed
7
8
dev-repo: "git+https://gitlab.mpi-sws.org/iris/tutorial-popl18.git"

Ralf Jung's avatar
Ralf Jung committed
9
synopsis: "The Iris tutorial at POPL 2018"
Ralf Jung's avatar
Ralf Jung committed
10

Hai Dang's avatar
Hai Dang committed
11
depends: [
Robbert Krebbers's avatar
Robbert Krebbers committed
12
  "coq-iris" { (= "dev.2020-05-29.0.d5f678ee") | (= "dev") }
Hai Dang's avatar
Hai Dang committed
13
]
Ralf Jung's avatar
Ralf Jung committed
14
15
16

build: [make "-j%{jobs}%"]
install: [] # This repo does not install