this repo has no description
Merge pull request #27206 from hirrolot/opam-publish-checked_oint.0.4.1
Package checked_oint.0.4.1
authored by
Marcello Seri
and committed by
GitHub
d5e6f171
ea8e97a2
+41
+41
packages/checked_oint/checked_oint.0.4.1/opam
+41
packages/checked_oint/checked_oint.0.4.1/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "An OCaml library for checked integer arithmetic"
4
+
maintainer: ["hirrolot <hirrolot@gmail.com>"]
5
+
authors: ["hirrolot <hirrolot@gmail.com>"]
6
+
license: "MIT"
7
+
homepage: "https://github.com/hirrolot/checked_oint"
8
+
bug-reports: "https://github.com/hirrolot/checked_oint/issues"
9
+
depends: [
10
+
"ocaml" {>= "4.13"}
11
+
"dune" {>= "3.14"}
12
+
"ppx_deriving"
13
+
"ppx_enumerate"
14
+
"bisect_ppx"
15
+
"alcotest" {>= "1.7.0"}
16
+
"odoc" {with-doc}
17
+
]
18
+
available: arch != "arm32" & arch != "x86_32"
19
+
build: [
20
+
["dune" "subst"] {dev}
21
+
[
22
+
"dune"
23
+
"build"
24
+
"-p"
25
+
name
26
+
"-j"
27
+
jobs
28
+
"@install"
29
+
"@runtest" {with-test}
30
+
"@doc" {with-doc}
31
+
]
32
+
]
33
+
dev-repo: "git+https://github.com/hirrolot/checked_oint.git"
34
+
url {
35
+
src:
36
+
"https://github.com/hirrolot/checked_oint/releases/download/v0.4.1/checked_oint-0.4.1.tar.gz"
37
+
checksum: [
38
+
"md5=b480b179cbf345bb7c2e8400561cb725"
39
+
"sha512=1bb1de3bc4f812fc00e98c51d2a01697b3edb9be7cf14969ccd9e1e7a41f4e94d6a78c293053b3fe4387393446ac021912d56aaef4e1049f952bf265d3e47111"
40
+
]
41
+
}