this repo has no description
Merge pull request #25028 from jim-portegies/opam-publish-coq-waterproof.2.1.1-8.17
Package coq-waterproof.2.1.1+8.17
authored by
Marcello Seri
and committed by
GitHub
4aeb1961
197551c9
+49
+49
packages/coq-waterproof/coq-waterproof.2.1.1+8.17/opam
+49
packages/coq-waterproof/coq-waterproof.2.1.1+8.17/opam
···
1
+
opam-version: "2.0"
2
+
maintainer: "Jim Portegies <j.w.portegies@tue.nl>"
3
+
authors: [
4
+
"Jelle Wemmenhove"
5
+
"Balthazar Pathiachvili"
6
+
"Cosmin Manea"
7
+
"Lulof Pirée"
8
+
"Adrian Vrămuleţ"
9
+
"Tudor Voicu"
10
+
"Jim Portegies <j.w.portegies@tue.nl>"
11
+
]
12
+
13
+
synopsis: "Coq proofs in a style that resembles non-mechanized mathematical proofs"
14
+
description: """
15
+
The coq-waterproof library allows you to write Coq proofs in a style that resembles non-mechanized mathematical proofs.
16
+
Mathematicians unfamiliar with the Coq syntax are able to read the resulting proof scripts.
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"
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.1.1+8.17.tar.gz"
45
+
checksum: [
46
+
"md5=246900c584d34deb5a4ed74e74c3aeab"
47
+
"sha512=f5242890a140c6966bd76e1d487a8ca139c14874eb0c1a589f28b72773be24f11f07bb1b163153c5811330a28a91a94d508233dc19849baa671fada857f05a3b"
48
+
]
49
+
}