opam-version: "2.0"
synopsis: "Snowflake : A Generic Symbolic Dynamic Programming framework"
maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>"
authors: "Joan Thibault <joan.thibault@ens-rennes.fr>"
license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"
homepage: "https://gitlab.com/boreal-ldd/snowflake"
bug-reports: "https://gitlab.com/boreal-ldd/snowflake"
depends: [
	"ocaml" {>= "4.08"}
	"GuaCaml" {= "0.02"}
	"mlbdd" {>= "0.7.2"}
	"ocamlbuild" {build}
	"ocamlfind" {build}
]
build: make
install: [make "install"]
dev-repo: "git+https://gitlab.com/boreal-ldd/snowflake"
url {
  src:
    "https://gitlab.com/boreal-ldd/snowflake/-/archive/v0.02/snowflake-v0.02.tar.gz"
  checksum: [
    "sha256=a4b9a17b240ccc2583c4096ab70aec9afa0f9de6b4a9ff68ffa65432bea50b5a"
    "md5=a30c74d6514127a4d379e13dfa33eb20"
  ]
}