-
Notifications
You must be signed in to change notification settings - Fork 0
/
coq-lttt.opam
35 lines (30 loc) · 856 Bytes
/
coq-lttt.opam
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
# This file was generated from `meta.yml`, please do not edit manually.
# Follow the instructions on https://github.com/coq-community/templates to regenerate.
opam-version: "2.0"
maintainer: "palmskog@gmail.com"
version: "dev"
homepage: "https://github.com/aerabi/lttt"
dev-repo: "git+https://github.com/aerabi/lttt.git"
bug-reports: "https://github.com/aerabi/lttt/issues"
license: "MIT"
synopsis: "An implementation of Linear-Time Temporal Type Theory"
description: """
An implementation of Linear-Time Temporal Type Theory
"""
build: [make "-j%{jobs}%" ]
install: [make "install"]
depends: [
"coq"
"coq-quickchick"
]
tags: [
"category:Mathematics/Logic/Type theory"
"keyword:linear types"
"keyword:temporal type theory"
"keyword:typing"
"keyword:type theory"
"logpath:LTTT"
]
authors: [
"Mohammad-Ali A'RÂBI <aerabi@gmx.de>"
]