← Back to branch summary

~ubuntu-branches/ubuntu/wily/coq-doc/wily

« back to all changes in this revision

Viewing changes to checker/.depend

  • Committer: Bazaar Package Importer
  • Author(s): Stéphane Glondu, Stéphane Glondu, Samuel Mimram
  • Date: 2010-01-07 22:50:39 UTC
  • mfrom: (1.2.2 upstream)
  • Revision ID: james.westby@ubuntu.com-20100107225039-n3cq82589u0qt0s2
Tags: 8.2pl1-1
http://bugs.debian.org/563669
http://bugs.debian.org/543545
[ Stéphane Glondu ]
* New upstream release (Closes: #563669)
  - remove patches
* Packaging overhaul:
  - use git, advertise it in Vcs-* fields of debian/control
  - use debhelper 7 and dh with override
  - use source format 3.0 (quilt)
* debian/control:
  - set Maintainer to d-o-m, set Uploaders to Sam and myself
  - add Homepage field
  - bump Standards-Version to 3.8.3
* Register PDF documentation into doc-base
* Add debian/watch
* Update debian/copyright

[ Samuel Mimram ]
* Change coq-doc's description to mention that it provides documentation in
  pdf format, not postscript, closes: #543545.

Show diffs side-by-side

added added

removed removed

Lines of Context:
checker/.depend
 
1
checker.cmo: type_errors.cmi term.cmo safe_typing.cmi indtypes.cmi \
 
2
    declarations.cmi check_stat.cmi check.cmo 
 
3
checker.cmx: type_errors.cmx term.cmx safe_typing.cmx indtypes.cmx \
 
4
    declarations.cmx check_stat.cmx check.cmx 
 
5
check.cmo: safe_typing.cmi 
 
6
check.cmx: safe_typing.cmx 
 
7
check_stat.cmo: term.cmo safe_typing.cmi indtypes.cmi environ.cmo \
 
8
    declarations.cmi check_stat.cmi 
 
9
check_stat.cmx: term.cmx safe_typing.cmx indtypes.cmx environ.cmx \
 
10
    declarations.cmx check_stat.cmi 
 
11
closure.cmo: term.cmo environ.cmo closure.cmi 
 
12
closure.cmx: term.cmx environ.cmx closure.cmi 
 
13
closure.cmi: term.cmo environ.cmo 
 
14
declarations.cmo: term.cmo declarations.cmi 
 
15
declarations.cmx: term.cmx declarations.cmi 
 
16
declarations.cmi: term.cmo 
 
17
environ.cmo: term.cmo declarations.cmi 
 
18
environ.cmx: term.cmx declarations.cmx 
 
19
indtypes.cmo: typeops.cmi term.cmo reduction.cmi inductive.cmi environ.cmo \
 
20
    declarations.cmi indtypes.cmi 
 
21
indtypes.cmx: typeops.cmx term.cmx reduction.cmx inductive.cmx environ.cmx \
 
22
    declarations.cmx indtypes.cmi 
 
23
indtypes.cmi: typeops.cmi term.cmo environ.cmo declarations.cmi 
 
24
inductive.cmo: type_errors.cmi term.cmo reduction.cmi environ.cmo \
 
25
    declarations.cmi inductive.cmi 
 
26
inductive.cmx: type_errors.cmx term.cmx reduction.cmx environ.cmx \
 
27
    declarations.cmx inductive.cmi 
 
28
inductive.cmi: term.cmo environ.cmo declarations.cmi 
 
29
main.cmo: checker.cmo 
 
30
main.cmx: checker.cmx 
 
31
mod_checking.cmo: typeops.cmi term.cmo subtyping.cmi reduction.cmi modops.cmi \
 
32
    inductive.cmi indtypes.cmi environ.cmo declarations.cmi 
 
33
mod_checking.cmx: typeops.cmx term.cmx subtyping.cmx reduction.cmx modops.cmx \
 
34
    inductive.cmx indtypes.cmx environ.cmx declarations.cmx 
 
35
modops.cmo: term.cmo environ.cmo declarations.cmi modops.cmi 
 
36
modops.cmx: term.cmx environ.cmx declarations.cmx modops.cmi 
 
37
modops.cmi: term.cmo environ.cmo declarations.cmi 
 
38
reduction.cmo: term.cmo environ.cmo closure.cmi reduction.cmi 
 
39
reduction.cmx: term.cmx environ.cmx closure.cmx reduction.cmi 
 
40
reduction.cmi: term.cmo environ.cmo 
 
41
safe_typing.cmo: validate.cmo modops.cmi mod_checking.cmo environ.cmo \
 
42
    declarations.cmi safe_typing.cmi 
 
43
safe_typing.cmx: validate.cmx modops.cmx mod_checking.cmx environ.cmx \
 
44
    declarations.cmx safe_typing.cmi 
 
45
safe_typing.cmi: term.cmo environ.cmo declarations.cmi 
 
46
subtyping.cmo: typeops.cmi term.cmo reduction.cmi modops.cmi inductive.cmi \
 
47
    environ.cmo declarations.cmi subtyping.cmi 
 
48
subtyping.cmx: typeops.cmx term.cmx reduction.cmx modops.cmx inductive.cmx \
 
49
    environ.cmx declarations.cmx subtyping.cmi 
 
50
subtyping.cmi: term.cmo environ.cmo declarations.cmi 
 
51
type_errors.cmo: term.cmo environ.cmo type_errors.cmi 
 
52
type_errors.cmx: term.cmx environ.cmx type_errors.cmi 
 
53
type_errors.cmi: term.cmo environ.cmo 
 
54
typeops.cmo: type_errors.cmi term.cmo reduction.cmi inductive.cmi environ.cmo \
 
55
    declarations.cmi typeops.cmi 
 
56
typeops.cmx: type_errors.cmx term.cmx reduction.cmx inductive.cmx environ.cmx \
 
57
    declarations.cmx typeops.cmi 
 
58
typeops.cmi: term.cmo environ.cmo declarations.cmi