this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #19792 from JoanThibault/patch-dagaml-0-01

[new package] DAGaml.0.01

authored by

Marcello Seri and committed by
GitHub
c1047f7a d1ad14ba

+21
+21
packages/DAGaml/DAGaml.0.01/opam
··· 1 + opam-version: "2.0" 2 + synopsis: "DAGaml : Abstract DAG manipulation in OCaml" 3 + maintainer: "Joan Thibault <joan.thibault@ens-rennes.fr>" 4 + authors: "Joan Thibault <joan.thibault@ens-rennes.fr>" 5 + license: "LGPL-3.0-only with OCaml-LGPL-linking-exception" 6 + homepage: "https://gitlab.com/boreal-ldd/dagaml" 7 + bug-reports: "https://gitlab.com/boreal-ldd/dagaml" 8 + depends: [ 9 + "ocaml" {>= "4.08.1" & < "4.12"} 10 + "GuaCaml" {>= "0.03"} 11 + "Snowflake" {>= "0.02.02"} 12 + "ocamlbuild" {build} 13 + "ocamlfind" {build} 14 + ] 15 + build: make 16 + install: [make "install"] 17 + dev-repo: "git+https://gitlab.com/boreal-ldd/dagaml" 18 + url { 19 + src:"https://gitlab.com/boreal-ldd/dagaml/-/archive/v0.01/dagaml-v0.01.tar.gz" 20 + checksum:"md5=0699ad06e3f8d99245b30e4f1cd0d12e" 21 + }