Bug#1112823: cvc4: diff for NMU version 1.8-4.1

[Adrian Bunk]

Control: tags 1112823 + patch
Control: tags 1112823 + pending

Dear maintainer,

I've prepared an NMU for cvc4 (versioned as 1.8-4.1) and uploaded
it to DELAYED/15. Please feel free to tell me if I should cancel it.

cu
Adrian
-------------- next part --------------
A non-text attachment was scrubbed...
Name: cvc4-1.8-4.1-nmu.diff
Type: text/x-diff
Size: 1840 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20251027/29ed6569/attachment-0001.diff>