[Git][ocaml-team/coq-doc][master] 10 commits: Switch from debian/compat to depend on debhelper-compat (and level 13)

8152918d

by Julien Puydt at 2022-02-06T21:32:28+01:00

Switch from debian/compat to depend on debhelper-compat (and level 13)

ee49c538
by Julien Puydt at 2022-02-06T21:32:58+01:00
```
Bump standards-version to 4.6.0
```
d306aee5
by Julien Puydt at 2022-02-06T21:33:30+01:00
```
Declare d/rules doesn't require root
```
e24c37e0
by Julien Puydt at 2022-02-06T21:34:14+01:00
```
Simplify d/rules
```
d9b924e5
by Julien Puydt at 2022-02-06T21:34:59+01:00
```
Rewrite d/watch following the main coq package
```
f70ccf62
by Julien Puydt at 2022-02-06T21:35:10+01:00
```
New upstream version 8.15.0
```

d69f749c

by Julien Puydt at 2022-02-06T21:35:28+01:00

Update upstream source from tag 'upstream/8.15.0'

Update to upstream version '8.15.0'
with Debian dir 44ef702abf4a8e6a75bd5d4c2627e932e7da8e47

0c53607b
by Julien Puydt at 2022-02-08T15:04:29+01:00
```
Package new upstream 8.15.0 (closes: #1003539)
```
d1421a29
by Julien Puydt at 2022-02-08T16:45:59+01:00
```
Add myself to uploaders
```
0c3696ce
by Julien Puydt at 2022-02-08T17:10:26+01:00
```
Prepare for upload
```