this repo has no description
Merge pull request #25783 from Hirrolot/opam-publish-checked_oint.0.1.0
Package checked_oint.0.1.0
authored by
Marcello Seri
and committed by
GitHub
42a0e6b1
7d23c02c
+53
+53
packages/checked_oint/checked_oint.0.1.0/opam
+53
packages/checked_oint/checked_oint.0.1.0/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: ["Tima Kinsart <hirrolot@gmail.com>"]
5
+
authors: ["Tima Kinsart <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"
18
+
"odoc" {with-doc}
19
+
]
20
+
available: arch != "arm32" & arch != "x86_32" & arch != "ppc64"
21
+
x-ci-accept-failures: [
22
+
"fedora-38"
23
+
"fedora-39"
24
+
"fedora-40"
25
+
"opensuse-15.5"
26
+
"opensuse-tumbleweed"
27
+
"oraclelinux-8"
28
+
"oraclelinux-9"
29
+
"freebsd"
30
+
]
31
+
build: [
32
+
["dune" "subst"] {dev}
33
+
[
34
+
"dune"
35
+
"build"
36
+
"-p"
37
+
name
38
+
"-j"
39
+
jobs
40
+
"@install"
41
+
"@runtest" {with-test}
42
+
"@doc" {with-doc}
43
+
]
44
+
]
45
+
dev-repo: "git+https://github.com/Hirrolot/checked_oint.git"
46
+
url {
47
+
src:
48
+
"https://github.com/Hirrolot/checked_oint/archive/refs/tags/v0.1.0.tar.gz"
49
+
checksum: [
50
+
"md5=015b6838aefc5191eda3cc069722fcfd"
51
+
"sha512=856404be0b5272e9df6530aa771f80676431142a5758951cb58068088d34b30e9848271611a9fff7b3d6e7ca979db4ac342e8f3eb5d83f4df0b71eaac3726a2a"
52
+
]
53
+
}