this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "sheets@alum.mit.edu"
3homepage: "https://github.com/backtracking/ocaml-hashcons"
4dev-repo: "git+https://github.com/backtracking/ocaml-hashcons.git"
5bug-reports: "https://github.com/backtracking/ocaml-hashcons/issues"
6authors: [ "Jean-Christophe Filliatre" ]
7license: "LGPL-2.1-only WITH OCaml-LGPL-linking-exception"
8build: [
9 ["./configure"]
10 [make "all"]
11]
12install: [
13 [make "install"]
14]
15remove: [["ocamlfind" "remove" "hashcons"]]
16depends: [
17 "ocaml" {< "5.0"}
18 "ocamlfind" {build}
19 "conf-which" {build}
20 "conf-autoconf"
21]
22synopsis: "OCaml hash-consing library"
23description: """
24The technique is described in this paper:
25
26*Sylvain Conchon and Jean-Christophe Filliâtre.* Type-Safe Modular Hash-Consing.
27In ACM SIGPLAN Workshop on ML, Portland, Oregon, September 2006.
28The PDF is available at
29<https://www.lri.fr/~filliatr/ftp/publis/hash-consing2.pdf>"""
30flags: light-uninstall
31url {
32 src:
33 "https://github.com/dsheets/ocaml-hashcons/releases/download/1.0.1/ocaml-hashcons-1.0.1.tar.gz"
34 checksum: [
35 "sha256=83095625159c9267f330141c8079d71c5a60bc02e82c0bef4ead79a90b0b8b59"
36 "md5=caa6378c30d69baaf703e5f8b903a493"
37 ]
38}