Add dependencies on ${misc:Depends}.
Samuel Mimram
16 years ago
|
0 |
coq (8.1+dfsg-6) unstable; urgency=low
|
|
1 |
|
|
2 |
* Add dependencies on ${misc:Depends}, closes: #431679.
|
|
3 |
|
|
4 |
-- Samuel Mimram <smimram@debian.org> Wed, 04 Jul 2007 10:49:01 +0200
|
|
5 |
|
| 0 | 6 |
coq (8.1+dfsg-5) unstable; urgency=low
|
| 1 | 7 |
|
| 2 | 8 |
* Correctly clean, closes: #424162.
|
| 27 | 27 |
|
| 28 | 28 |
Package: coqide
|
| 29 | 29 |
Architecture: any
|
| 30 | |
Depends: ${shlibs:Depends}, coq (>= 8.0)
|
|
30 |
Depends: ${shlibs:Depends}, ${misc:Depends}, coq (>= 8.0)
|
| 31 | 31 |
Description: proof assistant for higher-order logic (gtk interface)
|
| 32 | 32 |
Coq is a proof assistant for higher-order logic, which allows the
|
| 33 | 33 |
development of computer programs consistent with their formal
|
|
| 39 | 39 |
|
| 40 | 40 |
Package: coq-libs
|
| 41 | 41 |
Architecture: all
|
|
42 |
Depends: ${misc:Depends}
|
| 42 | 43 |
Recommends: coq (>= 8.0)
|
| 43 | 44 |
Conflicts: coq (<< 8.0), coq-doc (<= 8.0pl1.0-2)
|
| 44 | 45 |
Description: proof assistant for higher-order logic (theories)
|