this repo has no description
Merge pull request #27405 from raphael-proust/opam-publish-seqes.0.4
Package seqes.0.4
authored by
Marcello Seri
and committed by
GitHub
ddbbedca
7fdbf5d3
+43
+43
packages/seqes/seqes.0.4/opam
+43
packages/seqes/seqes.0.4/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Seq with monads"
4
+
description: "Variations of the Seq module with monads folded into the type"
5
+
maintainer: ["Raphaël Proust"]
6
+
authors: ["Raphaël Proust"]
7
+
license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
8
+
tags: ["monad" "seq"]
9
+
homepage: "https://gitlab.com/raphael-proust/seqes"
10
+
doc: "https://gitlab.com/raphael-proust/seqes"
11
+
bug-reports: "https://gitlab.com/raphael-proust/seqes/-/issues"
12
+
depends: [
13
+
"ocaml" {>= "4.14"}
14
+
"dune" {>= "3.0"}
15
+
"qcheck" {with-test & >= "0.19"}
16
+
"qcheck-alcotest" {with-test}
17
+
"alcotest" {with-test & >= "1.5.0"}
18
+
"mutaml" {with-dev-setup}
19
+
"odoc" {with-doc}
20
+
]
21
+
build: [
22
+
["dune" "subst"] {dev}
23
+
[
24
+
"dune"
25
+
"build"
26
+
"-p"
27
+
name
28
+
"-j"
29
+
jobs
30
+
"@install"
31
+
"@runtest" {with-test}
32
+
"@doc" {with-doc}
33
+
]
34
+
]
35
+
dev-repo: "git+https://gitlab.com/raphael-proust/seqes.git"
36
+
url {
37
+
src:
38
+
"https://gitlab.com/raphael-proust/seqes/-/archive/0.4/seqes-0.4.tar.gz"
39
+
checksum: [
40
+
"md5=108518b2e5e43c898f387534ca943305"
41
+
"sha512=d6032806f0085b44c436a5e65329e106ffec0d17c761cfd32f4d305438adf58dd4123f9048ec33539a553aedf3229714fa2af7fa52a2f79f37a2cbc09af5b0be"
42
+
]
43
+
}