this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Snowflake : A Generic Symbolic Dynamic Programming framework"
3maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>"
4authors: "Joan Thibault <joan.thibault@ens-rennes.fr>"
5license: "LGPL-3.0-only WITH OCaml-LGPL-linking-exception"
6homepage: "https://gitlab.com/boreal-ldd/snowflake"
7bug-reports: "https://gitlab.com/boreal-ldd/snowflake"
8depends: [
9 "ocaml" {>= "4.08"}
10 "GuaCaml" {>= "0.03" & < "0.05"}
11 "mlbdd" {>= "0.7.2"}
12 "ocamlbuild" {build}
13 "ocamlfind" {build}
14]
15build: make
16install: [make "install"]
17dev-repo: "git+https://gitlab.com/boreal-ldd/snowflake"
18url {
19 src:
20 "https://gitlab.com/boreal-ldd/snowflake/-/archive/v0.02.02/snowflake-v0.02.02.tar.gz"
21 checksum: [
22 "sha256=e20bafade35de72f731f3a2f4abe7eb3940da3beca6c6bf7b720386f5b66949e"
23 "md5=a03dcf6502bab8a8eca0a07b02e23562"
24 ]
25}