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
|
(coq.theory
(name Coq)
(package coq-stdlib)
(synopsis "Coq's Standard Library")
(flags -q -w -deprecated-native-compiler-option)
; (mode native)
(boot)
; (per_file
; (Init/*.v -> -boot))
(libraries
coq-core.plugins.ltac
coq-core.plugins.tauto
coq-core.plugins.cc
coq-core.plugins.firstorder
coq-core.plugins.number_string_notation
coq-core.plugins.btauto
coq-core.plugins.rtauto
coq-core.plugins.ring
coq-core.plugins.nsatz
coq-core.plugins.zify
coq-core.plugins.micromega
coq-core.plugins.funind
coq-core.plugins.ssreflect
coq-core.plugins.derive))
(include_subdirs qualified)
(documentation
(package coq-stdlib))
|
