Skip to content

Commit

Permalink
Merge pull request #26083 from Hirrolot/opam-publish-checked_oint.0.2.0
Browse files Browse the repository at this point in the history
Package checked_oint.0.2.0
  • Loading branch information
mseri authored Jun 14, 2024
2 parents d1fbfc6 + 1e30f64 commit bf5c009
Showing 1 changed file with 53 additions and 0 deletions.
53 changes: 53 additions & 0 deletions packages/checked_oint/checked_oint.0.2.0/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,53 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "An OCaml library for checked integer arithmetic"
maintainer: ["Tima Kinsart <[email protected]>"]
authors: ["Tima Kinsart <[email protected]>"]
license: "MIT"
homepage: "https://github.com/Hirrolot/checked_oint"
bug-reports: "https://github.com/Hirrolot/checked_oint/issues"
depends: [
"ocaml" {>= "4.13"}
"dune" {>= "3.14"}
"ctypes"
"ctypes-foreign" {>= "0.21.1"}
"ppx_deriving"
"ppx_enumerate"
"bisect_ppx"
"alcotest" {>= "1.7.0"}
"odoc" {with-doc}
]
available: arch != "arm32" & arch != "x86_32" & arch != "ppc64" & os != "win32"
x-ci-accept-failures: [
"fedora-38"
"fedora-39"
"fedora-40"
"opensuse-15.5"
"opensuse-tumbleweed"
"oraclelinux-8"
"oraclelinux-9"
"freebsd"
]
build: [
["dune" "subst"] {dev}
[
"dune"
"build"
"-p"
name
"-j"
jobs
"@install"
"@runtest" {with-test}
"@doc" {with-doc}
]
]
dev-repo: "git+https://github.com/Hirrolot/checked_oint.git"
url {
src:
"https://github.com/Hirrolot/checked_oint/archive/refs/tags/v0.2.0.tar.gz"
checksum: [
"md5=5ee41b2897b3f2eba115bcbcdfd5c678"
"sha512=c8d33fad538fea814c1fc89981bc57132025e544d83bdce41133f2c3660dba7f0a94c25626f6619d06d657345867acb779bef45353dfc03a59e698e4a8644432"
]
}

0 comments on commit bf5c009

Please sign in to comment.