DH compat level 13
Ralf Treinen
3 years ago
| 0 | |
coq (8.12.0-1) UNRELEASED; urgency=medium
|
| 1 | |
|
| 2 | |
* New upstream release.
|
| 3 | |
refresh patches:
|
|
0 |
coq (8.12.0-1) experimental; urgency=medium
|
|
1 |
|
|
2 |
* New upstream release.
|
|
3 |
* Refresh patches:
|
| 4 | 4 |
- remove-tests-that-need-coqlib
|
| 5 | 5 |
- remove-bytecode-failing-tests
|
| 6 | 6 |
- avoid-usr-bin-env
|
|
| 12 | 12 |
* d/*.install.in files:
|
| 13 | 13 |
- install ssrsearch plugin in the libcoq-ocaml package
|
| 14 | 14 |
- install ocamllibdep binary in the coq package
|
| 15 | |
* Debhelper compatibility level 12 (no change)
|
| 16 | |
|
| 17 | |
-- Ralf Treinen <treinen@debian.org> Fri, 21 Aug 2020 16:47:22 +0200
|
|
15 |
* Debhelper compatibility level 13
|
|
16 |
- drop override of dh_missing
|
|
17 |
|
|
18 |
-- Ralf Treinen <treinen@debian.org> Fri, 21 Aug 2020 20:21:06 +0200
|
| 18 | 19 |
|
| 19 | 20 |
coq (8.11.1~pre1-1) experimental; urgency=medium
|
| 20 | 21 |
|
| 8 | 8 |
Enrico Tassi <gareuselesinge@debian.org>
|
| 9 | 9 |
Standards-Version: 4.5.0
|
| 10 | 10 |
Build-Depends:
|
| 11 | |
debhelper-compat (= 12),
|
|
11 |
debhelper-compat (= 13),
|
| 12 | 12 |
dh-exec,
|
| 13 | 13 |
dh-ocaml (>= 0.9.5~),
|
| 14 | 14 |
dh-python,
|
| 104 | 104 |
find debian/tmp -name '.coq-native' -printf '%P\n' \
|
| 105 | 105 |
>> debian/coq-theories.install
|
| 106 | 106 |
|
| 107 | |
.PHONY: override_dh_missing
|
| 108 | |
override_dh_missing:
|
| 109 | |
dh_missing --fail-missing
|
| 110 | |
|
| 111 | 107 |
.PHONY: override_dh_install
|
| 112 | 108 |
override_dh_install:
|
| 113 | 109 |
chmod +x debian/coq.install
|