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 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"
	"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.01/snowflake-v0.01.tar.gz"
	checksum:"md5=697867153e965df5b314266152b16287"
}
