this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "From TeX To Human-Readable HTML"
4description:
5 "A simple command line tool to generate human-readable HTML from a LaTeX Book"
6maintainer: ["Charlotte THOMAS"]
7authors: ["Charlotte THOMAS"]
8license: "MIT"
9homepage: "https://doc.nwa2coco.fr"
10bug-reports: "https://github.com/coco33920/HTMLFromTeXBooks/issues"
11depends: [
12 "ocaml" {>= "4.08.0"}
13 "dune" {>= "2.9"}
14 "odoc" {with-doc}
15]
16build: [
17 ["dune" "subst"] {dev}
18 [
19 "dune"
20 "build"
21 "-p"
22 name
23 "-j"
24 jobs
25 "--promote-install-files=false"
26 "@install"
27 "@runtest" {with-test}
28 "@doc" {with-doc}
29 ]
30 ["dune" "install" "-p" name "--create-install-files" name]
31]
32dev-repo: "git+https://github.com/coco33920/HTMLFromTeXBooks.git"
33url {
34 src: "https://github.com/coco33920/HTMLFromTeXBooks/archive/v3.3.2.tar.gz"
35 checksum: [
36 "md5=8eafd939e9dbcb31919c5be0ed144840"
37 "sha512=4e7d13452e0a6b358e013711085500d82faf034eb03845be7de86a631fbc7b66a9aede7eba63cfd35460992c16e74de6c7db9aa152234f7dbc3acf9ab31c12ee"
38 ]
39}