Bug#919461: ssreflect ftbfs in unstable
Control: retitle 919461 ssreflect FTBFS in unstable due to missing ssrmatching
Control: owner 919461 !
That’s my fault. In my most recent Coq upload, I disabled ssrmatching
and a couple of other plugins due to license concerns [1]. Those have
now been resolved upstream [2]. I’m going to backport the changes to
8.8.2 and do another upload in the next few days, after which this bug
should go away.
[1] https://salsa.debian.org/ocaml-team/coq/commit/4181269ff800d58e60b886d0aaa2894444a9cd0d
[2] https://github.com/coq/coq/commit/a92e4fbe88e16c312fe57a6f00ccba94322ee111
Reply to: