cleaning up dune-project

backtracking · Jan 28, 2024 · 46daf7b · 46daf7b
1 parent f242e32
commit 46daf7b
Showing 1 changed file with 0 additions and 19 deletions.
diff --git a/dune-project b/dune-project
@@ -1,21 +1,2 @@
 (lang dune 2.7)
-
 (name hashcons)
-
-(license LGPL-2.1)
-(maintainers "Jean-Christophe Filliatre <[email protected]>")
-(authors "Jean-Christophe Filliatre <[email protected]>")
-
-(source (github backtracking/ocaml-hashcons))
-
-(generate_opam_files true)
-
-(package
- (name hashcons)
- (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>")
- (depends (ocaml (>= 4.06))))