File: .depend

package info (click to toggle)
coq-doc 8.2pl1-1
  • links: PTS, VCS
  • area: non-free
  • in suites: squeeze
  • size: 19,240 kB
  • ctags: 22,737
  • sloc: ml: 132,933; ansic: 1,960; sh: 1,366; lisp: 456; makefile: 327
file content (58 lines) | stat: -rw-r--r-- 3,051 bytes parent folder | download | duplicates (12)
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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
checker.cmo: type_errors.cmi term.cmo safe_typing.cmi indtypes.cmi \
    declarations.cmi check_stat.cmi check.cmo 
checker.cmx: type_errors.cmx term.cmx safe_typing.cmx indtypes.cmx \
    declarations.cmx check_stat.cmx check.cmx 
check.cmo: safe_typing.cmi 
check.cmx: safe_typing.cmx 
check_stat.cmo: term.cmo safe_typing.cmi indtypes.cmi environ.cmo \
    declarations.cmi check_stat.cmi 
check_stat.cmx: term.cmx safe_typing.cmx indtypes.cmx environ.cmx \
    declarations.cmx check_stat.cmi 
closure.cmo: term.cmo environ.cmo closure.cmi 
closure.cmx: term.cmx environ.cmx closure.cmi 
closure.cmi: term.cmo environ.cmo 
declarations.cmo: term.cmo declarations.cmi 
declarations.cmx: term.cmx declarations.cmi 
declarations.cmi: term.cmo 
environ.cmo: term.cmo declarations.cmi 
environ.cmx: term.cmx declarations.cmx 
indtypes.cmo: typeops.cmi term.cmo reduction.cmi inductive.cmi environ.cmo \
    declarations.cmi indtypes.cmi 
indtypes.cmx: typeops.cmx term.cmx reduction.cmx inductive.cmx environ.cmx \
    declarations.cmx indtypes.cmi 
indtypes.cmi: typeops.cmi term.cmo environ.cmo declarations.cmi 
inductive.cmo: type_errors.cmi term.cmo reduction.cmi environ.cmo \
    declarations.cmi inductive.cmi 
inductive.cmx: type_errors.cmx term.cmx reduction.cmx environ.cmx \
    declarations.cmx inductive.cmi 
inductive.cmi: term.cmo environ.cmo declarations.cmi 
main.cmo: checker.cmo 
main.cmx: checker.cmx 
mod_checking.cmo: typeops.cmi term.cmo subtyping.cmi reduction.cmi modops.cmi \
    inductive.cmi indtypes.cmi environ.cmo declarations.cmi 
mod_checking.cmx: typeops.cmx term.cmx subtyping.cmx reduction.cmx modops.cmx \
    inductive.cmx indtypes.cmx environ.cmx declarations.cmx 
modops.cmo: term.cmo environ.cmo declarations.cmi modops.cmi 
modops.cmx: term.cmx environ.cmx declarations.cmx modops.cmi 
modops.cmi: term.cmo environ.cmo declarations.cmi 
reduction.cmo: term.cmo environ.cmo closure.cmi reduction.cmi 
reduction.cmx: term.cmx environ.cmx closure.cmx reduction.cmi 
reduction.cmi: term.cmo environ.cmo 
safe_typing.cmo: validate.cmo modops.cmi mod_checking.cmo environ.cmo \
    declarations.cmi safe_typing.cmi 
safe_typing.cmx: validate.cmx modops.cmx mod_checking.cmx environ.cmx \
    declarations.cmx safe_typing.cmi 
safe_typing.cmi: term.cmo environ.cmo declarations.cmi 
subtyping.cmo: typeops.cmi term.cmo reduction.cmi modops.cmi inductive.cmi \
    environ.cmo declarations.cmi subtyping.cmi 
subtyping.cmx: typeops.cmx term.cmx reduction.cmx modops.cmx inductive.cmx \
    environ.cmx declarations.cmx subtyping.cmi 
subtyping.cmi: term.cmo environ.cmo declarations.cmi 
type_errors.cmo: term.cmo environ.cmo type_errors.cmi 
type_errors.cmx: term.cmx environ.cmx type_errors.cmi 
type_errors.cmi: term.cmo environ.cmo 
typeops.cmo: type_errors.cmi term.cmo reduction.cmi inductive.cmi environ.cmo \
    declarations.cmi typeops.cmi 
typeops.cmx: type_errors.cmx term.cmx reduction.cmx inductive.cmx environ.cmx \
    declarations.cmx typeops.cmi 
typeops.cmi: term.cmo environ.cmo declarations.cmi