Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq
Commits:
-
bd747846
by Julien Puydt at 2025-11-10T10:59:13+01:00
-
802056f7
by Julien Puydt at 2025-11-11T18:09:23+01:00
2 changed files:
Changes:
| 1 | +coq (9.1.0+dfsg-3) experimental; urgency=medium
|
|
| 2 | + |
|
| 3 | + * Add missing Break+Replaces.
|
|
| 4 | + |
|
| 5 | + -- Julien Puydt <jpuydt@debian.org> Tue, 11 Nov 2025 18:09:11 +0100
|
|
| 6 | + |
|
| 1 | 7 | coq (9.1.0+dfsg-2) experimental; urgency=medium
|
| 2 | 8 | |
| 3 | 9 | * Update depends from why to why3 (Closes: #1117585).
|
| ... | ... | @@ -80,6 +80,8 @@ Architecture: any |
| 80 | 80 | Depends: ${misc:Depends}
|
| 81 | 81 | Recommends: coq
|
| 82 | 82 | Provides: ${coq:Provides}
|
| 83 | +Breaks: libcoq-stdlib (<< 9)
|
|
| 84 | +Replaces: libcoq-stdlib (<< 9)
|
|
| 83 | 85 | Description: proof assistant for higher-order logic (theories)
|
| 84 | 86 | Coq is a proof assistant for higher-order logic, which allows the
|
| 85 | 87 | development of computer programs consistent with their formal
|