this repo has no description
Merge pull request #25882 from Frama-C/master
[new release] headache v1.08
authored by
Marcello Seri
and committed by
GitHub
dc7ad95d
61036a7a
+31
+31
packages/headache/headache.1.08/opam
+31
packages/headache/headache.1.08/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Automatic generation of files headers"
3
+
description: """\
4
+
Lightweight tool for managing headers in source code files. It can
5
+
update in any source code files (OCaml, C, XML et al)."""
6
+
maintainer: "frama-ci-bot@frama-c.com"
7
+
authors: [
8
+
"Vincent Simonet"
9
+
"Patrick Baudin"
10
+
"Mehdi Dogguy"
11
+
"André Maroneze"
12
+
"François Pottier"
13
+
"Virgile Prevosto"
14
+
"Ralf Treinen"
15
+
]
16
+
license: "LGPL-2.0-only"
17
+
homepage: "https://github.com/Frama-C/headache/"
18
+
bug-reports: "https://github.com/Frama-C/headache/issues"
19
+
depends: [
20
+
"ocaml" {>= "4.13"}
21
+
"camomile" {>= "2.0.0"}
22
+
"dune" {>= "3.4"}
23
+
]
24
+
build: ["dune" "build" "-p" name "-j" jobs]
25
+
dev-repo: "git+https://github.com/Frama-C/headache.git"
26
+
url {
27
+
src: "https://github.com/Frama-C/headache/archive/v1.08.tar.gz"
28
+
checksum: [
29
+
"sha256=3e1b3efd11afd83b01c86f33121806c9b1432645a5a14240754725e92d28aa52"
30
+
]
31
+
}