-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy path.Makefile.coq.d
More file actions
6 lines (6 loc) · 783 Bytes
/
.Makefile.coq.d
File metadata and controls
6 lines (6 loc) · 783 Bytes
1
2
3
4
5
6
Syntax.vo Syntax.glob Syntax.v.beautified Syntax.required_vo: Syntax.v /home/hyper/.opam/default/lib/rocq-runtime/rocqworker
Syntax.vos Syntax.vok Syntax.required_vos: Syntax.v /home/hyper/.opam/default/lib/rocq-runtime/rocqworker
Typing.vo Typing.glob Typing.v.beautified Typing.required_vo: Typing.v Syntax.vo /home/hyper/.opam/default/lib/rocq-runtime/rocqworker
Typing.vos Typing.vok Typing.required_vos: Typing.v Syntax.vos /home/hyper/.opam/default/lib/rocq-runtime/rocqworker
Semantics.vo Semantics.glob Semantics.v.beautified Semantics.required_vo: Semantics.v Syntax.vo Typing.vo /home/hyper/.opam/default/lib/rocq-runtime/rocqworker
Semantics.vos Semantics.vok Semantics.required_vos: Semantics.v Syntax.vos Typing.vos /home/hyper/.opam/default/lib/rocq-runtime/rocqworker