opam-version: "2.0"
maintainer:   "sheets@alum.mit.edu"
homepage:     "https://github.com/backtracking/ocaml-hashcons"
dev-repo: "git+https://github.com/backtracking/ocaml-hashcons.git"
bug-reports:  "https://github.com/backtracking/ocaml-hashcons/issues"
authors:      [ "Jean-Christophe Filliatre" ]
license: "LGPL-2.1-only with OCaml-LGPL-linking-exception"
build: [
  ["autoconf"]
  ["./configure"]
  [make "all"]
]
install: [
  [make "install"]
]
remove: [["ocamlfind" "remove" "hashcons"]]
depends: [
  "ocaml"
  "conf-autoconf" {build}
  "ocamlfind" {build}
  "conf-which" {build}
]
synopsis: "OCaml hash-consing library"
description: """
The technique is described in this paper:

*Sylvain Conchon and Jean-Christophe Filliâtre.* Type-Safe Modular Hash-Consing.
In ACM SIGPLAN Workshop on ML, Portland, Oregon, September 2006.
The PDF is available at
<https://www.lri.fr/~filliatr/ftp/publis/hash-consing2.pdf>"""
flags: light-uninstall
url {
  src: "https://github.com/backtracking/ocaml-hashcons/archive/1.3.tar.gz"
  checksum: "md5=88b93515dd2667c4944574dfb50352bf"
}
