this repo has no description
anil.recoil.org
1opam-version: "2.0"
2
3license: "LGPL-2.0-only"
4
5synopsis: "Automatic generation of files headers"
6description: """
7Lightweight tool for managing headers in source code files. It can
8update in any source code files (OCaml, C, XML et al).
9"""
10
11authors: [
12 "Vincent Simonet"
13 # contributors
14 "Patrick Baudin"
15 "Mehdi Dogguy"
16 "François Pottier"
17 "Virgile Prevosto"
18 "Ralf Treinen"
19]
20
21maintainer: "Patrick Baudin"
22homepage: "https://github.com/Frama-C/headache/"
23bug-reports: "https://github.com/Frama-C/headache/issues"
24dev-repo: "git+https://github.com/Frama-C/headache.git"
25
26depends: [
27 "ocaml"
28 "camomile" {< "2.0.0"}
29 "dune" {>= "1.6"}
30 "odoc" {with-doc}
31]
32
33build: [
34 [
35 "dune" "build" "-p" name "-j" jobs
36 "@doc" {with-doc}
37 ]
38]
39
40url {
41 src: "https://github.com/Frama-C/headache/archive/v1.06.tar.gz"
42 checksum: [
43 "md5=8eb8aaf47e8d4af296828bf8d29c19ea"
44 "sha512=5a49171845dc04ca51c5fe0bb1fb8f45a1946321ca1c591371aaaee4e765c02ddd1b95cb527edaa7fe8072cc8a1c1e05f1f20cb8e6da0057c0de2c6917a00f50"
45 ]
46}