this repo has no description
Merge pull request #26119 from fpottier/opam-publish-oma.20240619
Package oma.20240619
authored by
Raphaël Proust
and committed by
GitHub
59c0c549
5d6f1cf0
+36
+36
packages/oma/oma.20240619/opam
+36
packages/oma/oma.20240619/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "An order maintenance data structure"
4
+
maintainer: ["François Pottier"]
5
+
authors: ["Frédéric Bour" "François Pottier"]
6
+
license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
7
+
homepage: "https://gitlab.inria.fr/fpottier/oma/"
8
+
bug-reports: "https://gitlab.inria.fr/fpottier/oma/-/issues"
9
+
depends: [
10
+
"dune" {>= "3.8"}
11
+
"ocaml" {>= "4.12"}
12
+
"odoc" {with-doc}
13
+
]
14
+
build: [
15
+
["dune" "subst"] {dev}
16
+
[
17
+
"dune"
18
+
"build"
19
+
"-p"
20
+
name
21
+
"-j"
22
+
jobs
23
+
"@install"
24
+
"@runtest" {with-test}
25
+
"@doc" {with-doc}
26
+
]
27
+
]
28
+
dev-repo: "git+https://gitlab.inria.fr/fpottier/oma.git"
29
+
url {
30
+
src:
31
+
"https://gitlab.inria.fr/fpottier/oma/-/archive/20240619/archive.tar.gz"
32
+
checksum: [
33
+
"md5=26c586ff4e1bfacd2637314b4bb98535"
34
+
"sha512=8f795d4ab5ead677f14e22d1ed78ef22b474da8b972894ce76cccd787e7a1a99bf7853ca6a411420c647fced173806f1ce534eae290e22852828ab3ed3f325b8"
35
+
]
36
+
}