blob: 18e000cfe1f012760583897faed93b53dfa4fff2 (
plain)
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
36
37
|
(coq.theory
(name Coq)
(package coq)
(synopsis "Coq's Standard Library")
(flags -q)
; (mode native)
(boot)
; (per_file
; (Init/*.v -> -boot))
(libraries
coq.plugins.ltac
coq.plugins.tauto
coq.plugins.cc
coq.plugins.firstorder
coq.plugins.number_string_notation
coq.plugins.int63_syntax
coq.plugins.float_syntax
coq.plugins.btauto
coq.plugins.rtauto
coq.plugins.ring
coq.plugins.nsatz
coq.plugins.omega
coq.plugins.zify
coq.plugins.micromega
coq.plugins.funind
coq.plugins.ssreflect
coq.plugins.ssrsearch
coq.plugins.derive))
(include_subdirs qualified)
|
