Remove constraints unnecessary since buster
* Build-Depends: Drop versioned constraint on bash, camlp5, dh-ocaml and ocaml-nox.
* coq-theories: Drop versioned constraint on coq in Recommends.
* libcoq-ocaml: Drop versioned constraint on coq and libcoq-ocaml-dev in Replaces.
* libcoq-ocaml: Drop versioned constraint on coq and libcoq-ocaml-dev in Breaks.
* libcoq-ocaml-dev: Drop versioned constraint on coq in Replaces.
* libcoq-ocaml-dev: Drop versioned constraint on coq in Breaks.
Changes-By: deb-scrub-obsolete
Debian Janitor
2 years ago
|
0 |
coq (8.15.0+dfsg-2) UNRELEASED; urgency=medium
|
|
1 |
|
|
2 |
* Remove constraints unnecessary since buster:
|
|
3 |
+ Build-Depends: Drop versioned constraint on bash, camlp5, dh-ocaml and
|
|
4 |
ocaml-nox.
|
|
5 |
+ coq-theories: Drop versioned constraint on coq in Recommends.
|
|
6 |
+ libcoq-ocaml: Drop versioned constraint on coq and libcoq-ocaml-dev in
|
|
7 |
Replaces.
|
|
8 |
+ libcoq-ocaml: Drop versioned constraint on coq and libcoq-ocaml-dev in
|
|
9 |
Breaks.
|
|
10 |
+ libcoq-ocaml-dev: Drop versioned constraint on coq in Replaces.
|
|
11 |
+ libcoq-ocaml-dev: Drop versioned constraint on coq in Breaks.
|
|
12 |
|
|
13 |
-- Debian Janitor <janitor@jelmer.uk> Wed, 02 Feb 2022 14:16:49 -0000
|
|
14 |
|
| 0 | 15 |
coq (8.15.0+dfsg-1) unstable; urgency=medium
|
| 1 | 16 |
|
| 2 | 17 |
* New upstream release. (Closes: #1003586)
|
| 8 | 8 |
Stéphane Glondu <glondu@debian.org>
|
| 9 | 9 |
Standards-Version: 4.6.0
|
| 10 | 10 |
Build-Depends:
|
| 11 | |
bash (>= 5.0),
|
|
11 |
bash,
|
| 12 | 12 |
debhelper-compat (= 13),
|
| 13 | 13 |
dh-exec,
|
| 14 | |
dh-ocaml (>= 0.9.5~),
|
|
14 |
dh-ocaml,
|
| 15 | 15 |
dh-python,
|
| 16 | 16 |
ocaml-dune,
|
| 17 | |
ocaml-nox (>= 4.05),
|
|
17 |
ocaml-nox,
|
| 18 | 18 |
ocaml-native-compilers,
|
| 19 | 19 |
ocaml-findlib (>= 1.8.0),
|
| 20 | |
camlp5 (>= 6.14),
|
|
20 |
camlp5,
|
| 21 | 21 |
liblablgtk3-ocaml-dev,
|
| 22 | 22 |
liblablgtksourceview3-ocaml-dev (>= 3.0~beta8),
|
| 23 | 23 |
libnum-ocaml-dev,
|
|
| 81 | 81 |
Package: coq-theories
|
| 82 | 82 |
Architecture: any
|
| 83 | 83 |
Depends: coq-${F:CoqABI}, ${misc:Depends}, ${shlibs:Depends}
|
| 84 | |
Recommends: coq (>= 8.0)
|
|
84 |
Recommends: coq
|
| 85 | 85 |
Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1)
|
| 86 | 86 |
Replaces: coq-libs (<< 8.2.pl1)
|
| 87 | 87 |
Description: proof assistant for higher-order logic (theories)
|
|
| 101 | 101 |
${misc:Depends}
|
| 102 | 102 |
Suggests: ocaml-findlib
|
| 103 | 103 |
Provides: ${ocaml:Provides}
|
| 104 | |
Breaks: coq (<< 8.3~), libcoq-ocaml-dev (<< 8.3~), coq-libs
|
| 105 | |
Replaces: coq (<< 8.3~), libcoq-ocaml-dev (<< 8.3~), coq-libs
|
|
104 |
Breaks: coq-libs
|
|
105 |
Replaces: coq-libs
|
| 106 | 106 |
Description: runtime libraries for Coq
|
| 107 | 107 |
Coq is a proof assistant for higher-order logic, which allows the
|
| 108 | 108 |
development of computer programs consistent with their formal
|
|
| 119 | 119 |
${shlibs:Depends},
|
| 120 | 120 |
${misc:Depends}
|
| 121 | 121 |
Provides: ${ocaml:Provides}
|
| 122 | |
Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
|
| 123 | |
Replaces: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
|
|
122 |
Breaks: coq-libs (<< 8.2.pl1)
|
|
123 |
Replaces: coq-libs (<< 8.2.pl1)
|
| 124 | 124 |
Description: development libraries and tools for Coq
|
| 125 | 125 |
Coq is a proof assistant for higher-order logic, which allows the
|
| 126 | 126 |
development of computer programs consistent with their formal
|