Commit 36bcb2aced0aad843d8852f7a48f6be0c832f023 - coq

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

2 changed file(s) with 23 addition(s) and 10 deletion(s). Raw diff Collapse all Expand all

+13

-0

debian/changelog less more

0	0	coq (8.14.0+dfsg-4) UNRELEASED; urgency=medium
1	1
	2	[ Julien Puydt ]
2	3	* Strip libraries.
	4
	5	[ Debian Janitor ]
	6	* Remove constraints unnecessary since buster:
	7	+ Build-Depends: Drop versioned constraint on bash, camlp5, dh-ocaml and
	8	ocaml-nox.
	9	+ coq-theories: Drop versioned constraint on coq in Recommends.
	10	+ libcoq-ocaml: Drop versioned constraint on coq and libcoq-ocaml-dev in
	11	Replaces.
	12	+ libcoq-ocaml: Drop versioned constraint on coq and libcoq-ocaml-dev in
	13	Breaks.
	14	+ libcoq-ocaml-dev: Drop versioned constraint on coq in Replaces.
	15	+ libcoq-ocaml-dev: Drop versioned constraint on coq in Breaks.
3	16
4	17	-- Julien Puydt <jpuydt@debian.org> Sat, 13 Nov 2021 16:00:07 +0100
5	18

+10

-10

debian/control less more

7	7	Ralf Treinen <treinen@debian.org>,
8	8	Stéphane Glondu <glondu@debian.org>
9	9	Standards-Version: 4.6.0
10		Build-Depends:
11		bash (>= 5.0),
	10	Build-Depends:
	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-findlib (>= 1.8.0),
19		camlp5 (>= 6.14),
	19	camlp5,
20	20	liblablgtk3-ocaml-dev,
21	21	liblablgtksourceview3-ocaml-dev (>= 3.0~beta8),
22	22	libnum-ocaml-dev,

80	80	Package: coq-theories
81	81	Architecture: any
82	82	Depends: coq-${F:CoqABI}, ${misc:Depends}, ${shlibs:Depends}
83		Recommends: coq (>= 8.0)
	83	Recommends: coq
84	84	Breaks: coq-doc (<= 8.0pl1.0-2), coq-libs (<< 8.2.pl1)
85	85	Replaces: coq-libs (<< 8.2.pl1)
86	86	Description: proof assistant for higher-order logic (theories)

99	99	${shlibs:Depends},
100	100	${misc:Depends}
101	101	Provides: ${ocaml:Provides}
102		Breaks: coq (<< 8.3~), libcoq-ocaml-dev (<< 8.3~), coq-libs
103		Replaces: coq (<< 8.3~), libcoq-ocaml-dev (<< 8.3~), coq-libs
	102	Breaks: coq-libs
	103	Replaces: coq-libs
104	104	Description: runtime libraries for Coq
105	105	Coq is a proof assistant for higher-order logic, which allows the
106	106	development of computer programs consistent with their formal

117	117	${shlibs:Depends},
118	118	${misc:Depends}
119	119	Provides: ${ocaml:Provides}
120		Breaks: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
121		Replaces: coq (<< 8.2-1+dfsg-1), coq-libs (<< 8.2.pl1)
	120	Breaks: coq-libs (<< 8.2.pl1)
	121	Replaces: coq-libs (<< 8.2.pl1)
122	122	Description: development libraries and tools for Coq
123	123	Coq is a proof assistant for higher-order logic, which allows the
124	124	development of computer programs consistent with their formal