this repo has no description

Merge pull request #23739 from mseri/release-md2mld-0.7

[new release] md2mld (0.7.0)

Changed files
+39
packages
md2mld
md2mld.0.7.0
+39
packages/md2mld/md2mld.0.7.0/opam
···
+
opam-version: "2.0"
+
synopsis: "Little cli tool to convert md files into mld files"
+
maintainer: ["Marcello Seri <marcello.seri@gmail.com>"]
+
authors: ["Marcello Seri <marcello.seri@gmail.com>"]
+
license: "ISC"
+
homepage: "https://github.com/mseri/md2mld"
+
doc: "https://mseri.github.io/md2mld/"
+
bug-reports: "https://github.com/mseri/md2mld/issues"
+
depends: [
+
"dune" {>= "3.7"}
+
"ocaml" {>= "4.08"}
+
"base-bytes"
+
"omd" {>= "2.0.0~alpha3"}
+
"odoc" {with-doc}
+
]
+
build: [
+
["dune" "subst"] {dev}
+
[
+
"dune"
+
"build"
+
"-p"
+
name
+
"-j"
+
jobs
+
"@install"
+
"@runtest" {with-test}
+
"@doc" {with-doc}
+
]
+
]
+
dev-repo: "git+https://github.com/mseri/md2mld.git"
+
url {
+
src:
+
"https://github.com/mseri/md2mld/releases/download/0.7/md2mld-0.7.0.tbz"
+
checksum: [
+
"sha256=65bc12176cb584bb228027c4b5fba2f5362417f844686a7c19fcea2934c34a4b"
+
"sha512=e9b931919174c41ef80b3dd48091bc6be8ed219c1a3b9bddb1e80066d3bdac17f9f85a37673c720091d78fec9aeb1e6edb99d7de5a5e6f7e5b27739987eda3e5"
+
]
+
}
+
x-commit-hash: "ce287847a8b4c8b17525dda376d573b0bb3c499d"