this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Rodolphe Lepigre <rodolphe.lepigre@inria.fr>"
3bug-reports: "https://github.com/rlepigre/ocaml-timed/issues"
4authors:
5 [ "Christophe Raffalli <christophe@raffalli.eu>"
6 "Rodolphe Lepigre <rodolphe.lepigre@inria.fr>" ]
7homepage: "https://github.com/rlepigre/ocaml-timed"
8license: "MIT"
9dev-repo: "git+https://github.com/rlepigre/ocaml-timed.git"
10build: [make]
11install: [make "install"]
12remove: [make "uninstall"]
13depends: [
14 "ocaml" {>= "4.03.0" & < "5.0"}
15 "ocamlfind" {build}
16]
17synopsis: "Timed references for imperative state"
18description: """
19Timed references for imperative state. This module provides an alternative
20type for references (or mutable cells) supporting undo/redo operations. In
21particular, an abstract notion of time is used to capture the state of the
22references at any given point, so that it can be restored. Note that usual
23reference operations only have a constant time / memory overhead (compared
24to those of the standard library).
25
26Moreover, we provide an alternative implementation based on the references
27of the standard library (Pervasives module). However, it is less efficient
28than the first one.
29
30Authors:
31 - Christophe Raffalli <christophe@raffalli.eu>
32 - Rodolphe Lepigre <rodolphe.lepigre@inria.fr>"""
33url {
34 src:
35 "https://github.com/rlepigre/ocaml-timed/archive/ocaml-timed_1.0.tar.gz"
36 checksum: [
37 "sha256=71a59d1face032cc9e611d26122258d09c86b06680a292f913dfbaac2b8dcff3"
38 "md5=e88e81c4453283fd806d0511171a6a13"
39 ]
40}