this repo has no description
Merge pull request #26752 from hirrolot/opam-publish-checked_oint.0.2.1
Package checked_oint.0.2.1
authored by
Shon Feder
and committed by
GitHub
b7d4c114
f9f7ab4b
+43
+43
packages/checked_oint/checked_oint.0.2.1/opam
+43
packages/checked_oint/checked_oint.0.2.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: ["Lewis Pearson <hirrolot@gmail.com>"]
5
+
authors: ["Lewis Pearson <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
+
"ctypes"
13
+
"ctypes-foreign" {>= "0.21.1"}
14
+
"ppx_deriving"
15
+
"ppx_enumerate"
16
+
"bisect_ppx"
17
+
"alcotest" {>= "1.7.0"}
18
+
"odoc" {with-doc}
19
+
]
20
+
available: arch != "arm32" & arch != "x86_32" & arch != "ppc64" & os != "win32" & os != "freebsd" & os-distribution != "fedora" & os-distribution != "ol" & os-family != "opensuse" & os-family != "suse"
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://github.com/hirrolot/checked_oint.git"
36
+
url {
37
+
src:
38
+
"https://github.com/hirrolot/checked_oint/archive/refs/tags/v0.2.1.tar.gz"
39
+
checksum: [
40
+
"md5=79c7b1b3d9aadaafa0e22b8803697875"
41
+
"sha512=9a1da14a0473a8354dd8bfc376d4e49c111f58c471683745606c41b80b04d89bdacce0c51d1e83534431bd15d67fa1a9ac354c9d2182d10a0e19a3dc475a1b21"
42
+
]
43
+
}