coq-ssl-htt.opam

opam-version: "2.0"
version: "dev"

maintainer: [
  "Ilya Sergey <ilya.sergey@yale-nus.edu.sg>"
  "Yasunari Watanabe <yasunari@comp.nus.edu.sg>"
]
authors: [
  "Yasunari Watanabe"
  "Ilya Sergey"
]
homepage: "https://github.com/TyGuS/ssl-htt"
bug-reports: "https://github.com/TyGuS/ssl-htt"
dev-repo: "git+https://github.com/TyGuS/ssl-htt.git"
synopsis: "HTT tactics for SSL"
license: "GPL-3.0"
description: ""

build: [ make ]
install: [ make "install" ]
depends: [
  "ocaml"
  "coq" {(>= "8.9.0" & < "8.12~") | (= "dev")}
  "coq-mathcomp-ssreflect" {(>= "1.11.0" & < "1.12~") | (= "dev")}
  "coq-fcsl-pcm" {(>= "1.0.0" & < "1.3~") | (= "dev")}
  "coq-htt"
  "coq-hammer"
]
tags: [
  "keyword:separation logic"
  "keyword:program synthesis"
  "category:Computer Science/Data Types and Data Structures"
  "logpath:SSL"
]
url {
  src: "git+https://github.com/TyGuS/ssl-htt.git"
}