this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Automatic generation of files headers"
3description: """\
4Lightweight tool for managing headers in source code files. It can
5update in any source code files (OCaml, C, XML et al)."""
6maintainer: "frama-ci-bot@frama-c.com"
7authors: [
8 "Vincent Simonet"
9 "Patrick Baudin"
10 "Mehdi Dogguy"
11 "André Maroneze"
12 "François Pottier"
13 "Virgile Prevosto"
14 "Ralf Treinen"
15]
16license: "LGPL-2.0-only"
17homepage: "https://github.com/Frama-C/headache/"
18bug-reports: "https://github.com/Frama-C/headache/issues"
19depends: [
20 "ocaml" {>= "4.02"}
21 "camomile" {>= "2.0.0"}
22 "dune" {>= "3.4"}
23]
24build: ["dune" "build" "-p" name "-j" jobs]
25dev-repo: "git+https://github.com/Frama-C/headache.git"
26url {
27 src: "https://github.com/Frama-C/headache/archive/v1.07.tar.gz"
28 checksum: [
29 "md5=35081a1edd3e3d582877fca426eba5c9"
30 "sha512=546bf54e33ffe9cb34cd30b66f70be21b62c1174520a894818e3338c594b00941ad2905e235a09f660261ee667d7b5f43c1fe079123e024bfe37a7b0d0291c27"
31 ]
32}