Codebase list coq / 83fd8b60-afe5-41bb-8e03-0687ed2c126a/main
Remove constraints unnecessary since buster (oldstable) * Build-Depends: Drop versioned constraint on bash, camlp5, dh-ocaml and ocaml-nox. * libcoq-stdlib: Drop versioned constraint on coq in Recommends. * libcoq-core-ocaml: Drop versioned constraint on coq and libcoq-ocaml-dev in Replaces. * libcoq-core-ocaml: Drop versioned constraint on coq and libcoq-ocaml-dev in Breaks. * libcoq-core-ocaml-dev: Drop versioned constraint on coq in Replaces. * libcoq-core-ocaml-dev: Drop versioned constraint on coq in Breaks. Changes-By: deb-scrub-obsolete Debian Janitor 1 year, 6 months ago
2 changed file(s) with 23 addition(s) and 9 deletion(s). Raw diff Collapse all Expand all
+15
-0
debian/changelog less more
0 coq (8.16.0+dfsg-2) UNRELEASED; urgency=medium
1
2 * Remove constraints unnecessary since buster (oldstable):
3 + Build-Depends: Drop versioned constraint on bash, camlp5, dh-ocaml and
4 ocaml-nox.
5 + libcoq-stdlib: Drop versioned constraint on coq in Recommends.
6 + libcoq-core-ocaml: Drop versioned constraint on coq and libcoq-ocaml-dev
7 in Replaces.
8 + libcoq-core-ocaml: Drop versioned constraint on coq and libcoq-ocaml-dev
9 in Breaks.
10 + libcoq-core-ocaml-dev: Drop versioned constraint on coq in Replaces.
11 + libcoq-core-ocaml-dev: Drop versioned constraint on coq in Breaks.
12
13 -- Debian Janitor <janitor@jelmer.uk> Wed, 02 Nov 2022 11:59:55 -0000
14
015 coq (8.16.0+dfsg-1) unstable; urgency=medium
116
217 * New upstream release.
+8
-9
debian/control less more
88 Stéphane Glondu <glondu@debian.org>
99 Standards-Version: 4.6.1
1010 Build-Depends:
11 bash (>= 5.0),
1211 debhelper-compat (= 13),
1312 dh-coq,
1413 dh-exec,
15 dh-ocaml (>= 0.9.5~),
14 dh-ocaml,
1615 dh-python,
1716 ocaml-dune,
18 ocaml-nox (>= 4.05),
17 ocaml-nox,
1918 ocaml-native-compilers,
2019 ocaml-findlib (>= 1.8.0),
21 camlp5 (>= 6.14),
20 camlp5,
2221 libfindlib-ocaml-dev,
2322 liblablgtk3-ocaml-dev,
2423 liblablgtksourceview3-ocaml-dev (>= 3.0~beta8),
8281 Package: libcoq-stdlib
8382 Architecture: any
8483 Depends: ${misc:Depends}, ${shlibs:Depends}
85 Recommends: coq (>= 8.0)
84 Recommends: coq
8685 Provides: coq-theories (= ${binary:Version}), ${coq:Provides}
8786 Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1), coq-theories
8887 Replaces: coq-libs (<< 8.2.pl1), coq-theories
103102 ${misc:Depends}
104103 Suggests: ocaml-findlib
105104 Provides: ${ocaml:Provides}, libcoq-ocaml (= ${binary:Version})
106 Breaks: coq (<< 8.3~), libcoq-ocaml-dev (<< 8.3~), coq-libs, libcoq-ocaml
107 Replaces: coq (<< 8.3~), libcoq-ocaml-dev (<< 8.3~), coq-libs, libcoq-ocaml
105 Breaks: coq-libs, libcoq-ocaml
106 Replaces: coq-libs, libcoq-ocaml
108107 Description: runtime libraries for Coq
109108 Coq is a proof assistant for higher-order logic, which allows the
110109 development of computer programs consistent with their formal
121120 ${shlibs:Depends},
122121 ${misc:Depends}
123122 Provides: ${ocaml:Provides}, libcoq-ocaml-dev (= ${binary:Version})
124 Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1), libcoq-ocaml-dev
125 Replaces: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1), libcoq-ocaml-dev
123 Breaks: coq-libs (<< 8.2.pl1), libcoq-ocaml-dev
124 Replaces: coq-libs (<< 8.2.pl1), libcoq-ocaml-dev
126125 Description: development libraries and tools for Coq
127126 Coq is a proof assistant for higher-order logic, which allows the
128127 development of computer programs consistent with their formal