Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits:
-
fb52239e
by Julien Puydt at 2022-02-06T08:55:13+01:00
-
2beb6080
by Julien Puydt at 2022-02-06T08:56:04+01:00
2 changed files:
Changes:
| 1 |
+ssreflect (1.14.0-3) unstable; urgency=medium
|
|
| 2 |
+ |
|
| 3 |
+ * Depend on the coq library under its new name.
|
|
| 4 |
+ |
|
| 5 |
+ -- Julien Puydt <jpuydt@debian.org> Sun, 06 Feb 2022 08:55:54 +0100
|
|
| 6 |
+ |
|
| 1 | 7 |
ssreflect (1.14.0-2) unstable; urgency=medium
|
| 2 | 8 |
|
| 3 | 9 |
* Make the package auto-adapt to coq's layout.
|
| ... | ... | @@ -18,7 +18,7 @@ Vcs-Git: https://salsa.debian.org/ocaml-team/ssreflect.git |
| 18 | 18 |
Package: libssreflect-coq
|
| 19 | 19 |
Architecture: all
|
| 20 | 20 |
Depends:
|
| 21 |
- libcoq-ocaml,
|
|
| 21 |
+ libcoq-core-ocaml,
|
|
| 22 | 22 |
coq-${F:CoqABI},
|
| 23 | 23 |
${misc:Depends}
|
| 24 | 24 |
Provides: ssreflect, libmathcomp-coq
|