gbddml.opam 616 Bytes
Newer Older
erwan's avatar
erwan committed
1
2
3
4
opam-version: "2.0"
synopsis: "The Verimag bdd library"
description: "A BDD library in C + an ocaml wrapper"
maintainer: "erwan.jahier@univ-grenoble-alpes.fr"
5
authors: "Pascal Raymond"
6
license: "CECILL-2.1"
erwan's avatar
erwan committed
7
homepage: "http://www-verimag.imag.fr/"
8
9
bug-reports:
  "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lutin"
erwan's avatar
erwan committed
10
11
12
depends: [
  "ocaml" {>= "4.05"}
  "base-unix" {build}
13
  "dune" {>= "2.0"}
14
  "camlidl" {>= "1.09"}
erwan's avatar
erwan committed
15
]
erwan's avatar
erwan committed
16
17
build: ["dune" "build" "-p" name "-j" jobs]

erwan's avatar
erwan committed
18
19
post-messages:
  "The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/"