rdbgui4sasa.opam

opam-version: "2.0"
synopsis: "A Graphical User Interface for using rdbg with sasa"
description: """\
sasa is a *Self-stabilizing Algorithms SimulAtor*, and rdbg is a reactive 
program debugger.

The interactive features of sasa are based on rdbg. rdbgui4sasa is a small lablgtk3
GUI that can be used on top of rdbg when used with sasa."""
maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
authors: "Erwan Jahier"
license: "CeCILL-2.1"
homepage:
  "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa"
bug-reports:
  "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/issues"
depends: [
  "lablgtk3"
  "sasa"
  "dune" {>= "2.8.5"}
  "lutils" {>= "0"}
]
build: ["dune" "build"]
install: ["dune" "install"]
post-messages:
  "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"
depexts: ["graphviz" "emacs" "gnuplot" "zathura"]
dev-repo:
  "git+https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git"