this repo has no description
Merge pull request #27628 from fpottier/opam-publish-monolith.20250314
Package monolith.20250314
authored by
Marcello Seri
and committed by
GitHub
b5193037
a8ed4760
+38
+38
packages/monolith/monolith.20250314/opam
+38
packages/monolith/monolith.20250314/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "A framework for strong random testing of OCaml libraries"
4
+
maintainer: ["François Pottier <francois.pottier@inria.fr>"]
5
+
authors: ["François Pottier <francois.pottier@inria.fr>"]
6
+
license: "LGPL-3.0-or-later"
7
+
homepage: "https://gitlab.inria.fr/fpottier/monolith/"
8
+
bug-reports: "https://gitlab.inria.fr/fpottier/monolith/issues"
9
+
depends: [
10
+
"dune" {>= "3.11"}
11
+
"ocaml" {>= "4.12"}
12
+
"afl-persistent" {>= "1.3"}
13
+
"pprint" {>= "20200410"}
14
+
"odoc" {with-doc}
15
+
]
16
+
build: [
17
+
["dune" "subst"] {dev}
18
+
[
19
+
"dune"
20
+
"build"
21
+
"-p"
22
+
name
23
+
"-j"
24
+
jobs
25
+
"@install"
26
+
"@runtest" {with-test}
27
+
"@doc" {with-doc}
28
+
]
29
+
]
30
+
dev-repo: "git+https://gitlab.inria.fr/fpottier/monolith.git"
31
+
url {
32
+
src:
33
+
"https://gitlab.inria.fr/fpottier/monolith/-/archive/20250314/archive.tar.gz"
34
+
checksum: [
35
+
"md5=9cbe8e8a26f175d854edcc883d1077b5"
36
+
"sha512=caca1940986d57d5d975ab15b06ea4aa1ab4f00efda99dc7de64e5551ea6e013222612cb34e219c4514c3a0e3d04580bb2a5f58c6d8792305aa651358b5336d5"
37
+
]
38
+
}