this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Timed references for imperative state"
4description: """
5Timed references for imperative state. This module provides an alternative
6 type for references (or mutable cells) supporting undo/redo operations. In
7 particular, an abstract notion of time is used to capture the state of the
8 references at any given point, so that it can be restored. Note that usual
9 reference operations only have a constant time / memory overhead (compared
10 to those of the standard library).
11
12 Moreover, we provide an alternative implementation based on the references
13 of the standard library (Pervasives module). However, it is less efficient
14 than the first one."""
15maintainer: [
16 "Christophe Raffalli <christophe@raffalli.eu"
17 "Rodolphe Lepigre <lepigre@mpi-sws.org>"
18]
19authors: [
20 "Christophe Raffalli <christophe@raffalli.eu"
21 "Rodolphe Lepigre <lepigre@mpi-sws.org>"
22]
23license: "MIT"
24homepage: "https://github.com/rlepigre/ocaml-timed"
25bug-reports: "https://github.com/rlepigre/ocaml-timed/issues"
26depends: [
27 "ocaml" {>= "4.08.0"}
28 "odoc" {with-doc}
29 "dune" {>= "2.7"}
30]
31build: [
32 ["dune" "subst"] {dev}
33 [
34 "dune"
35 "build"
36 "-p"
37 name
38 "-j"
39 jobs
40 "@install"
41 "@runtest" {with-test}
42 "@doc" {with-doc}
43 ]
44]
45dev-repo: "git+https://github.com/rlepigre/ocaml-timed.git"
46url {
47 src: "https://github.com/rlepigre/ocaml-timed/archive/1.1.tar.gz"
48 checksum: [
49 "md5=06106626006450f41f0c4d4fcbcf95d0"
50 "sha512=b136d79e6ad1a50c811acadc0ae0be049f2dc0d6fc87d233400d602cdf8c6dab3af87557e8f8d740f6eba4b87b9d5b2fcc7e550d24e4ba8c03237573da5623d5"
51 ]
52}