opam-version: "2.0"
synopsis: "A Graphical User Interface for using sasa"
description: "sasa is a *Self-stabilizing Algorithms SimulAtor*."
maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
authors: "erwan.jahier@univ-grenoble-alpes.fr"
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"]
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"