this repo has no description
0
fork

Configure Feed

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

Package asai.0.3.1

favonia 70a91775 90d8c520

+40
+40
packages/asai/asai.0.3.1/opam
··· 1 + # This file is generated by dune, edit dune-project instead 2 + opam-version: "2.0" 3 + synopsis: "A library for constructing and printing compiler diagnostics" 4 + description: 5 + "This package offers an implementation of compiler diagnostics and supports multiple handlers for displaying diagnostics to the end user. Currently, the package comes with built-in handlers for GitHub Actions workflow commands and UNIX terminals." 6 + maintainer: ["favonia <favonia@gmail.com>"] 7 + authors: ["The RedPRL Development Team"] 8 + license: "Apache-2.0" 9 + homepage: "https://github.com/RedPRL/asai" 10 + bug-reports: "https://github.com/RedPRL/asai/issues" 11 + depends: [ 12 + "dune" {>= "3.1"} 13 + "ocaml" {>= "5.2"} 14 + "algaeff" {>= "2.0"} 15 + "bwd" {>= "2.2"} 16 + "alcotest" {with-test & >= "1.5"} 17 + "odoc" {with-doc} 18 + ] 19 + build: [ 20 + ["dune" "subst"] {dev} 21 + [ 22 + "dune" 23 + "build" 24 + "-p" 25 + name 26 + "-j" 27 + jobs 28 + "@install" 29 + "@runtest" {with-test} 30 + "@doc" {with-doc} 31 + ] 32 + ] 33 + dev-repo: "git+https://github.com/RedPRL/asai.git" 34 + url { 35 + src: "https://github.com/RedPRL/asai/archive/refs/tags/0.3.1.tar.gz" 36 + checksum: [ 37 + "md5=07d2bc322d4da2c3f261205b021d7e8d" 38 + "sha512=52dc5937a2b319c4b893026aafe1e77f3e3cfe57a420f9d64685fc2b89bfbbeffba7e7428e14ffce531ebaedba28d27eaa87321123ab3e32bf808106c6dd9ace" 39 + ] 40 + }