Hi,
On Thu, Feb 07, 2019 at 12:51:54PM -0500, Benjamin Barenblat wrote:
> Control: retitle 919461 ssreflect FTBFS in unstable
> Control: noowner 919461
>
> I’m guessing this is just that 1.6.1 is not compatible with Coq 8.9.
> Uploading 1.7.0 might resolve the issue, but I’m uninterested in
Control: retitle 919461 ssreflect FTBFS in unstable
Control: noowner 919461
I’m guessing this is just that 1.6.1 is not compatible with Coq 8.9.
Uploading 1.7.0 might resolve the issue, but I’m uninterested in doing
that work, particularly since the package is licensed under CeCILL-B,
which I
On Wed, Jan 16, 2019 at 08:50:51AM -0500, Benjamin Barenblat wrote:
> 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
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
Package: src:ssreflect
Version: 1.6.1-3
Severity: serious
Tags: sid buster
[...]
debian/rules override_dh_auto_install
make[1]: Entering directory '/home/packages/tmp/ssreflect-1.6.1'
/usr/bin/make -C mathcomp
make[2]: Entering directory '/home/packages/tmp/ssreflect-1.6.1/mathcomp'
Generating
5 matches
Mail list logo
