this repo has no description
Package why3find.1.1.1
+50
+50
packages/why3find/why3find.1.1.1/opam
+50
packages/why3find/why3find.1.1.1/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.1/why3find-1.1.1.tar.gz"
46
+
checksum: [
47
+
"md5=1c67ccf5aecc83f64d70404eb85140b2"
48
+
"sha512=a805f182cae2543541591a98e48de8991276db97ee9933627cd2c1e16c83e4b549c8728b50cec3b6694b69f172b0cd04a3826e05550570266c18714fc1af162e"
49
+
]
50
+
}