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
|