Skip to content

Commit

Permalink
Merge pull request #27206 from hirrolot/opam-publish-checked_oint.0.4.1
Browse files Browse the repository at this point in the history
Package checked_oint.0.4.1
  • Loading branch information
mseri authored Jan 8, 2025
2 parents ea8e97a + 4e9883e commit d5e6f17
Showing 1 changed file with 41 additions and 0 deletions.
41 changes: 41 additions & 0 deletions packages/checked_oint/checked_oint.0.4.1/opam
Original file line number Diff line number Diff line change
@@ -0,0 +1,41 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
synopsis: "An OCaml library for checked integer arithmetic"
maintainer: ["hirrolot <[email protected]>"]
authors: ["hirrolot <[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"}
"ppx_deriving"
"ppx_enumerate"
"bisect_ppx"
"alcotest" {>= "1.7.0"}
"odoc" {with-doc}
]
available: arch != "arm32" & arch != "x86_32"
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/releases/download/v0.4.1/checked_oint-0.4.1.tar.gz"
checksum: [
"md5=b480b179cbf345bb7c2e8400561cb725"
"sha512=1bb1de3bc4f812fc00e98c51d2a01697b3edb9be7cf14969ccd9e1e7a41f4e94d6a78c293053b3fe4387393446ac021912d56aaef4e1049f952bf265d3e47111"
]
}

0 comments on commit d5e6f17

Please sign in to comment.