this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "RDBG: a reactive programs debugger"
3description: """\
4The library rdbg contains all the ocaml modules needed to use rdbg,
5a reactive programs debugger.
6
7The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/
8"""
9maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
10authors: "Erwan Jahier"
11license: "CECILL-2.1"
12homepage:
13 "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg"
14bug-reports:
15 "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg/issues"
16depends: [
17 "ocaml" {>= "4.05"}
18 "base-unix"
19 "lutils" {>= "1.51"}
20 "ocamlfind"
21 "dune" {>= "2.0"}
22 "ounit" {build & >= "2.0.0"}
23 "num"
24]
25build: ["dune" "build" "-p" name "-j" jobs]
26post-messages:
27 "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
28dev-repo:
29 "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/rdbg.git"
30url {
31 src:
32 "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/pool/rdbg.v1.199.0.tgz"
33 checksum: [
34 "md5=da1c08e352dae8155c089823bf490f42"
35 "sha512=6076eaa3608a313f8ac71a4f5aa4fcc64aeb0c646d581e5035110d4c80f94de34f2ba26f90a9a1e92a7f788c9e799f1f7b0e3728c853a21983ad732f0ee60352"
36 ]
37}