12 lines
195 B
YAML
12 lines
195 B
YAML
|
image: archlinux
|
||
|
|
packages:
|
||
|
|
- opam
|
||
|
|
sources:
|
||
|
|
- https://git.sr.ht/~iptq/logical-foundations
|
||
|
|
tasks:
|
||
|
|
- setup: |
|
||
|
|
opam install coq=8.8.1
|
||
|
|
- build: |
|
||
|
|
cd logical-foundations
|
||
|
|
make
|