this repo has no description
Merge pull request #27329 from Deducteam/release-lambdapi-2.6.0
[new release] lambdapi (2.6.0)
authored by
Marcello Seri
and committed by
GitHub
7ddeb3fd
f23786d6
+64
+64
packages/lambdapi/lambdapi.2.6.0/opam
+64
packages/lambdapi/lambdapi.2.6.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Proof assistant for the λΠ-calculus modulo rewriting"
3
+
description: """
4
+
Lambdapi is an interactive proof assistant for the λΠ-calculus modulo
5
+
rewriting. It can call external automated theorem provers via Why3.
6
+
The user manual is on https://lambdapi.readthedocs.io/.
7
+
A standard library and other developments are available on
8
+
https://github.com/Deducteam/opam-lambdapi-repository/. An extension
9
+
for Emacs is available on MELPA. An extension for VSCode is available
10
+
on the VSCode Marketplace. Lambdapi can read Dedukti files. It
11
+
includes checkers for local confluence and subject reduction. It also
12
+
provides commands to export Lambdapi files to other formats or
13
+
systems: Dedukti, Coq, HRS, CPF.
14
+
"""
15
+
maintainer: ["dedukti-dev@inria.fr"]
16
+
authors: ["Deducteam"]
17
+
license: "CECILL-2.1"
18
+
homepage: "https://github.com/Deducteam/lambdapi"
19
+
bug-reports: "https://github.com/Deducteam/lambdapi/issues"
20
+
dev-repo: "git+https://github.com/Deducteam/lambdapi.git"
21
+
depends: [
22
+
"dune" {>= "3.7"}
23
+
"ocaml" {>= "4.09.0"}
24
+
"menhir" {>= "20200624"}
25
+
"sedlex" {>= "3.2"}
26
+
"alcotest" {with-test}
27
+
"dedukti" {with-test & >= "2.7"}
28
+
"bindlib" {>= "6.0.0"}
29
+
"timed" {>= "1.0"}
30
+
"pratter" {>= "3.0.0" & < "4"}
31
+
"camlp-streams" {>= "5.0"}
32
+
"why3" {>= "1.8.0"}
33
+
"yojson" {>= "1.6.0"}
34
+
"cmdliner" {>= "1.1.0"}
35
+
"stdlib-shims" {>= "0.1.0"}
36
+
"odoc" {with-doc}
37
+
"lwt_ppx" {>= "1.0.0"}
38
+
"dream" {>= "1.0.0~alpha3"}
39
+
]
40
+
build: [
41
+
["dune" "subst"] {dev}
42
+
[
43
+
"dune"
44
+
"build"
45
+
"-p"
46
+
name
47
+
"-j"
48
+
jobs
49
+
"@install"
50
+
"@runtest" {with-test}
51
+
"@doc" {with-doc}
52
+
]
53
+
]
54
+
conflicts: [ "ocaml-option-bytecode-only" ]
55
+
url {
56
+
src:
57
+
"https://github.com/Deducteam/lambdapi/releases/download/2.6.0/lambdapi-2.6.0.tbz"
58
+
checksum: [
59
+
"sha256=d01e5f13db2eaba6e4fe330667149e0059d4886c651ff9d6b672db2dfc9765ed"
60
+
"sha512=33b68c972aca37985ed73c527076198e7d4961c7e27c89cdabfe4d1cff97cd41ccfb85ae9499eb98ad9a0aefd920bc55555df6393fc441ac2429e4d99cddafa8"
61
+
]
62
+
}
63
+
x-commit-hash: "29be5f84a19e46fd5f1482f1b7e84eddaf9fd49c"
64
+