this repo has no description
Merge pull request #27144 from btjorge/opam-publish-why3find.1.1.0
Package why3find.1.1.0
authored by
Shon Feder
and committed by
GitHub
f51b2f37
7990d7d2
+50
+50
packages/why3find/why3find.1.1.0/opam
+50
packages/why3find/why3find.1.1.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "A Why3 Package Manager"
3
+
description:
4
+
"The why3find utility is designed for managing packages for why3 developpers and associated OCaml extracted code."
5
+
maintainer: ["benjamin.jorge@cea.fr" "loic.correnson@cea.fr"]
6
+
authors: [
7
+
"Loïc Correnson <loic.correnson@cea.fr>"
8
+
"Benjamin Jorge <benjamin.jorge@cea.fr>"
9
+
]
10
+
license: "LGPL-2.1-only"
11
+
tags: ["why3"]
12
+
homepage: "https://git.frama-c.com/pub/why3find"
13
+
doc: "https://git.frama-c.com/pub/why3find"
14
+
bug-reports: "https://git.frama-c.com/pub/why3find/issues"
15
+
depends: [
16
+
"dune" {>= "3.12"}
17
+
"dune-site" {>= "3.12"}
18
+
"why3" {>= "1.8.0"}
19
+
"ocaml" {>= "4.13.0"}
20
+
"yojson" {>= "1.7.0"}
21
+
"zmq" {>= "5.0.0"}
22
+
"terminal_size" {>= "0.2.0"}
23
+
"alt-ergo" {with-test & = "2.4.2"}
24
+
"odoc" {with-doc}
25
+
]
26
+
build: [
27
+
["dune" "subst"] {dev}
28
+
[
29
+
"dune"
30
+
"build"
31
+
"-p"
32
+
name
33
+
"-j"
34
+
jobs
35
+
"--promote-install-files=false"
36
+
"@install"
37
+
"@runtest" {with-test}
38
+
"@doc" {with-doc}
39
+
]
40
+
["dune" "install" "-p" name "--create-install-files" name]
41
+
]
42
+
dev-repo: "git+https://git.frama-c.com:pub/why3find.git"
43
+
url {
44
+
src:
45
+
"https://git.frama-c.com/pub/why3find/-/archive/1.1.0/why3find-1.1.0.tar.gz"
46
+
checksum: [
47
+
"md5=d0a9d93c87e9cd87a3ca9131c6d1f088"
48
+
"sha512=38de62fb97f4e52a1dfb7d4d8b4efad007ea04595068c5d842e11e659811ea3489497a04e627c420b41c381f8005935749b1af7575d007bdaf6ba03ed1ad7bfc"
49
+
]
50
+
}