20 lines
372 B
Plaintext
20 lines
372 B
Plaintext
|
(lang dune 3.11)
|
||
|
|
(using coq 0.8)
|
||
|
|
(name coq-barebone)
|
||
|
|
|
||
|
|
(license MIT)
|
||
|
|
(authors "Peio Borthelle <peio.borthelle@univ-smb.fr>")
|
||
|
|
(source (github "lapin0t/coq-barebone"))
|
||
|
|
(bug_reports "https://github.com/lapin0t/coq-barebone/issues")
|
||
|
|
|
||
|
|
(generate_opam_files true)
|
||
|
|
|
||
|
|
(package
|
||
|
|
(name coq-barebone)
|
||
|
|
(synopsis "A barebone Coq prelude")
|
||
|
|
(version 0.1)
|
||
|
|
(depends
|
||
|
|
(coq (>= 8.18))
|
||
|
|
)
|
||
|
|
)
|