this repo has no description
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

Merge pull request #26687 from jmid/opam-publish-mutaml.0.3

Package mutaml.0.3

authored by

Marcello Seri and committed by
GitHub
6b08ef08 6e907ece

+55
+55
packages/mutaml/mutaml.0.3/opam
··· 1 + # This file is generated by dune, edit dune-project instead 2 + opam-version: "2.0" 3 + synopsis: "A mutation tester for OCaml" 4 + description: """ 5 + Mutaml is a mutation testing tool for OCaml. 6 + It uses a ppxlib-based preprocessor to make a series of small 7 + breaking changes to a program's source code and then runs 8 + the program's testsuite for each of them to catch uncaught 9 + misbehaviour. 10 + """ 11 + maintainer: ["Jan Midtgaard <mail@janmidtgaard.dk>"] 12 + authors: ["Jan Midtgaard <mail@janmidtgaard.dk>"] 13 + license: "BSD-2-Clause" 14 + tags: ["test" "mutation testing"] 15 + homepage: "https://github.com/jmid/mutaml" 16 + doc: "https://github.com/jmid/mutaml" 17 + bug-reports: "https://github.com/jmid/mutaml/issues" 18 + depends: [ 19 + "dune" {>= "3.0"} 20 + "ocaml" {>= "4.12.0"} 21 + "ppxlib" {>= "0.28.0"} 22 + "ppx_yojson_conv" {>= "0.14.0"} 23 + "stdlib-random" 24 + "conf-timeout" 25 + "conf-which" 26 + "conf-diffutils" 27 + "ocaml-compiler-libs" {>= "v0.12.0"} 28 + "ppx_derivers" {>= "1.2.1"} 29 + "yojson" {>= "2.0.0"} 30 + "ppx_deriving" {with-test} 31 + "ounit2" {with-test} 32 + "odoc" {with-doc} 33 + ] 34 + build: [ 35 + ["dune" "subst"] {dev} 36 + [ 37 + "dune" 38 + "build" 39 + "-p" 40 + name 41 + "-j" 42 + jobs 43 + "@install" 44 + "@runtest" {with-test & arch != "ppc64" & arch != "riscv64" & ocaml:version < "5.3"} 45 + "@doc" {with-doc} 46 + ] 47 + ] 48 + dev-repo: "git+https://github.com/jmid/mutaml.git" 49 + url { 50 + src: "https://github.com/jmid/mutaml/archive/refs/tags/0.3.tar.gz" 51 + checksum: [ 52 + "md5=bc941deaf1296d728b863bd3f60aa519" 53 + "sha512=b9eaaf7310e5b8b779d91d641380fc519a741526fc2a9a66188b47c79b672501714deca0548fbe137ee02c6457a78a47405e435697520eef62fdd5bfbcdc0ee8" 54 + ] 55 + }