File tree Expand file tree Collapse file tree 1 file changed +43
-0
lines changed
packages/checked_oint/checked_oint.0.3.0 Expand file tree Collapse file tree 1 file changed +43
-0
lines changed Original file line number Diff line number Diff line change
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 <
[email protected] >"]
5
+ authors: ["hirrolot <
[email protected] >"]
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.3.0.tar.gz"
39
+ checksum: [
40
+ "md5=3b95c21cd6dd84dc2ecd5d282ab93af4"
41
+ "sha512=fd32690a0b99b4113349177b7c0201de4a405fe60d94b22a338575f4a9bd3f45c14576ae216be6a26390f305ed52e6db5bdc15787402be546f9143a4af26fee3"
42
+ ]
43
+ }
You can’t perform that action at this time.
0 commit comments