this repo has no description
Merge pull request #26829 from jim-portegies/opam-publish-coq-waterproof.2.2.0-8.17
Package coq-waterproof.2.2.0+8.17
authored by
Marcello Seri
and committed by
GitHub
8476aa70
9048aac6
+49
+49
packages/coq-waterproof/coq-waterproof.2.2.0+8.17/opam
+49
packages/coq-waterproof/coq-waterproof.2.2.0+8.17/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "Jim Portegies <j.w.portegies@tue.nl>"
3
+
authors: [
4
+
"Jelle Wemmenhove"
5
+
"Pim Otte"
6
+
"Balthazar Pathiachvili"
7
+
"Cosmin Manea"
8
+
"Lulof Pirée"
9
+
"Adrian Vrămuleţ"
10
+
"Tudor Voicu"
11
+
"Jim Portegies <j.w.portegies@tue.nl>"
12
+
]
13
+
14
+
synopsis: "Coq proofs in a style that resembles non-mechanized mathematical proofs"
15
+
description: """
16
+
The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.
17
+
"""
18
+
19
+
license: "LGPL-3.0-or-later"
20
+
homepage: "https://github.com/impermeable/coq-waterproof"
21
+
dev-repo: "git+https://github.com/impermeable/coq-waterproof.git"
22
+
bug-reports: "https://github.com/impermeable/coq-waterproof/issues"
23
+
24
+
depends: [
25
+
"ocaml" {>= "4.09.0"}
26
+
"coq" {>= "8.17" & < "8.18"}
27
+
"dune" {>= "3.6"}
28
+
]
29
+
30
+
build: [
31
+
["dune" "build" "-p" name "-j" jobs "@install"]
32
+
]
33
+
34
+
available: (arch != "s390x") & (arch != "ppc64") & (os != "win32")
35
+
36
+
tags: [
37
+
"keyword:mathematics education"
38
+
"category:Mathematics/Education"
39
+
"date:2023-11-04"
40
+
"logpath:Waterproof"
41
+
]
42
+
url {
43
+
src:
44
+
"https://github.com/impermeable/coq-waterproof/archive/refs/tags/2.2.0+8.17.tar.gz"
45
+
checksum: [
46
+
"md5=cd4867e94e20eba727bd6deea06130cd"
47
+
"sha512=1205227101bb30f3e8c4ec05217920dcda1e3631ecd0428f2ac820c9a2811f91526d68623aaf01dd9aa1e81e8adfc083af01152d7f7a6e48894caa829bc3f440"
48
+
]
49
+
}