opam

opam-version: "2.0"
name: "coq-succinct"
maintainer: "reynald.affeldt@aist.go.jp"
homepage: "https://github.com/affeldt-aist/succinct"
bug-reports: "https://github.com/affeldt-aist/succinct/issues"
dev-repo: "git+https://github.com/affeldt-aist/succinct.git"
license: "TBD"
authors: [
  "Reynald Affeldt"
  "Jacques Garrigue"
  "Xuanrui Qi"
  "Kazunari Tanaka"
]
build: [
  ["coq_makefile" "-f" "_CoqProject" "-o" "Makefile"]
  [make]
]
install: [
  [make "install"]
]
depends: [
  "coq" { (>= "8.9.1") }
  "coq-mathcomp-ssreflect"   {(>= "1.9.0")}
]
synopsis: "Compact data structures in Coq"
description: """
A tentative formalization of compact data structures following [1]

[1] Gonzalo Navarro, Compact Data Structures---A Practical Approach, Cambridge University Press, 2016
"""