Skip to content

Commit 58d57ae

Browse files
Package seqes.0.4
1 parent 38fed1a commit 58d57ae

File tree

1 file changed

+43
-0
lines changed
  • packages/seqes/seqes.0.4

1 file changed

+43
-0
lines changed

packages/seqes/seqes.0.4/opam

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
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+
}

0 commit comments

Comments
 (0)