this repo has no description
Merge pull request #25660 from n-osborne/gospel-0.3.0
[new release] gospel (0.3.0)
authored by
Marcello Seri
and committed by
GitHub
4fdd772f
fa727ddb
+57
+57
packages/gospel/gospel.0.3.0/opam
+57
packages/gospel/gospel.0.3.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "A tool-agnostic formal specification language for OCaml"
3
+
description: """\
4
+
Gospel is a behavioural specification language for OCaml programs. It provides
5
+
developers with a non-invasive and easy-to-use syntax to annotate their module
6
+
interfaces with formal contracts that describe type invariants, mutability,
7
+
function pre-conditions and post-conditions, effects, exceptions, and much more!"""
8
+
maintainer: "Jean-Christophe.Filliatre@lri.fr"
9
+
authors: [
10
+
"Jean-Christophe Filliâtre"
11
+
"Samuel Hym"
12
+
"Cláudio Lourenço"
13
+
"Nicolas Obsorne"
14
+
"Clément Pascutto"
15
+
"Mário Pereira"
16
+
]
17
+
license: "MIT"
18
+
homepage: "https://github.com/ocaml-gospel/gospel"
19
+
dev-repo: "git://github.com/ocaml-gospel/gospel"
20
+
bug-reports: "https://github.com/ocaml-gospel/gospel/issues"
21
+
build: [
22
+
["dune" "subst"] {dev}
23
+
[
24
+
"dune"
25
+
"build"
26
+
"-p"
27
+
name
28
+
"-j"
29
+
jobs
30
+
"@install"
31
+
"@runtest" {with-test}
32
+
"@doc" {with-doc}
33
+
]
34
+
]
35
+
depends: [
36
+
"ocaml" {>= "4.11"}
37
+
"ocamlfind"
38
+
"dune" {>= "3.0.0"}
39
+
"dune-build-info"
40
+
"menhir" {>= "20181006"}
41
+
"cmdliner" {>= "1.1.0"}
42
+
"fmt" {>= "0.8.7"}
43
+
"ocaml-compiler-libs" {>= "v0.12.0"}
44
+
"ppxlib" {>= "0.26.0"}
45
+
"ppx_deriving" {>= "5.2.1"}
46
+
"pp_loc" {>= "2.1.0"}
47
+
"odoc" {with-test}
48
+
]
49
+
50
+
url {
51
+
src:
52
+
"https://github.com/ocaml-gospel/gospel/archive/refs/tags/0.3.0.tar.gz"
53
+
checksum: [
54
+
"md5=e5b7f601526cbf590a070b6b9aebe1ad"
55
+
"sha512=a1375603a3f0ac7681e7e2e989be8af809edef78becc7d920e1d18af4f1db576dce91525cec70292c4ba559eb3f3bac67b023bcc826ea3dfdab956c86990ef91"
56
+
]
57
+
}