this repo has no description
0
fork

Configure Feed

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

Merge pull request #26652 from ngernest/opam-publish-ppx_mica.0.1.0

authored by

Shon Feder and committed by
GitHub
dd37f1d5 7dd379b7

+45
+45
packages/ppx_mica/ppx_mica.0.1.0/opam
··· 1 + # This file is generated by dune, edit dune-project instead 2 + opam-version: "2.0" 3 + synopsis: "PPX deriver that automates differential testing for OCaml modules" 4 + maintainer: ["Ernest Ng <ernest@cs.cornell.edu>"] 5 + authors: ["Ernest Ng <ernest@cs.cornell.edu>"] 6 + license: "ISC" 7 + homepage: "https://github.com/ngernest/mica" 8 + doc: "https://ngernest.github.io/mica" 9 + bug-reports: "https://github.com/ngernest/mica/issues" 10 + depends: [ 11 + "dune" {>= "3.7"} 12 + "ocaml" {>= "4.13"} 13 + "odoc" {with-doc} 14 + "core" {>= "v0.15.1"} 15 + "ppx_jane" {>= "v0.15.0"} 16 + "ppx_assert" {>= "v0.15.0"} 17 + "base" {>= "v0.15.1"} 18 + "base_quickcheck" {>= "v0.15.0"} 19 + "ppx_deriving" {>= "6.0.2"} 20 + "ppxlib" {>= "0.33.0"} 21 + "alcotest" {with-test & >= "1.8.0"} 22 + "core_unix" {>= "v0.17.0"} 23 + ] 24 + build: [ 25 + ["dune" "subst"] {dev} 26 + [ 27 + "dune" 28 + "build" 29 + "-p" 30 + name 31 + "-j" 32 + jobs 33 + "@install" 34 + "@runtest" {with-test} 35 + "@doc" {with-doc} 36 + ] 37 + ] 38 + dev-repo: "git+https://github.com/ngernest/mica.git" 39 + url { 40 + src: "https://github.com/ngernest/mica/archive/refs/tags/v0.1.0.tar.gz" 41 + checksum: [ 42 + "md5=ffea7388bfc17c7d3a1c6186f1413de6" 43 + "sha512=dd56c36663c90494fb033847bafaf6cc0d05c0342ab7f8a056ac8d540fb23963aa5d6f20c2f0f3b48d1039df47266d0162d50739ca0071ffa0086f99642382ca" 44 + ] 45 + }