this repo has no description
Merge pull request #26682 from thibautbenjamin/release-catt-1.0
[new release] catt (3 packages) (1.0)
authored by
Marcello Seri
and committed by
GitHub
cdc6ae9b
178b6116
+80
+40
packages/catt/catt.1.0/opam
+40
packages/catt/catt.1.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "An infinity-categorical coherence typechecker"
3
+
description: "An infinity-categorical coherence typechecker"
4
+
maintainer: ["Thibaut Benjamin <thibaut.benjamin@gmail.com>" "Chiara Sarti <cs2197@cam.ac.uk>"]
5
+
authors: ["Thibaut Benjamin <thibaut.benjamin@gmail.com>" "Chiara Sarti <cs2197@cam.ac.uk>"]
6
+
license: "MIT"
7
+
tags: ["higher-categories" "dependent-type-theory"]
8
+
homepage: "https://github.com/thibautbenjamin/catt"
9
+
bug-reports: "https://github.com/thibautbenjamin/catt/issues"
10
+
depends: [
11
+
"ocaml" {>= "4.14" & < "5.0"}
12
+
"dune" {>= "3.16" & >= "3.10"}
13
+
"menhir" {>= "20240715"}
14
+
"base" {>= "0.17.0"}
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
dev-repo: "git+https://github.com/thibautbenjamin/catt.git"
32
+
url {
33
+
src:
34
+
"https://github.com/thibautbenjamin/catt/releases/download/1.0/catt-1.0.tbz"
35
+
checksum: [
36
+
"sha256=20a0b4aae3655274cb7336cb158699ceb1ee29909e50405d0ccb9d54d985baeb"
37
+
"sha512=1919da8eea60817a0907be4aa6f399a9e66fc8746d190ea805de8721a44f5f8a68b9c67626b7767e42a7cd0f061e00c16cd6c63570cbdedf15bc31f8b598f72b"
38
+
]
39
+
}
40
+
x-commit-hash: "a3a3f3611f38b9fe295bcc6ca731b21e0a499cb3"
+40
packages/coq-catt-plugin/coq-catt-plugin.1.0/opam
+40
packages/coq-catt-plugin/coq-catt-plugin.1.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "A Coq plugin for the catt proof-assistant"
3
+
description:
4
+
"A Coq plugin to interpret terms built in the catt proof assistant as functions computing on higher dimensional identity types"
5
+
maintainer: ["Thibaut Benjamin <thibaut.benjamin@gmail.com>" "Chiara Sarti <cs2197@cam.ac.uk>"]
6
+
authors: ["Thibaut Benjamin <thibaut.benjamin@gmail.com>" "Chiara Sarti <cs2197@cam.ac.uk>"]
7
+
license: "MIT"
8
+
tags: ["higher-categories" "dependent-type-theory"]
9
+
homepage: "https://github.com/thibautbenjamin/catt"
10
+
bug-reports: "https://github.com/thibautbenjamin/catt/issues"
11
+
depends: [
12
+
"dune" {>= "3.16"}
13
+
"catt"
14
+
"coq" {>= "8.20"}
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
dev-repo: "git+https://github.com/thibautbenjamin/catt.git"
32
+
url {
33
+
src:
34
+
"https://github.com/thibautbenjamin/catt/releases/download/1.0/catt-1.0.tbz"
35
+
checksum: [
36
+
"sha256=20a0b4aae3655274cb7336cb158699ceb1ee29909e50405d0ccb9d54d985baeb"
37
+
"sha512=1919da8eea60817a0907be4aa6f399a9e66fc8746d190ea805de8721a44f5f8a68b9c67626b7767e42a7cd0f061e00c16cd6c63570cbdedf15bc31f8b598f72b"
38
+
]
39
+
}
40
+
x-commit-hash: "a3a3f3611f38b9fe295bcc6ca731b21e0a499cb3"