diff --git a/packages/checked_oint/checked_oint.0.4.1/opam b/packages/checked_oint/checked_oint.0.4.1/opam new file mode 100644 index 00000000000..875c50e81d7 --- /dev/null +++ b/packages/checked_oint/checked_oint.0.4.1/opam @@ -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 "] +authors: ["hirrolot "] +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" + ] +}