Comparing builds

Builds builder@2022-10-13 07:51:22Z on ubuntu-20.04 and builder@2022-10-12 07:33:53Z on ubuntu-20.04

Compare in reverse direction

System packages changed

libgmp-dev 2:6.2.0+dfsg-4ubuntu0.1->2:6.2.0+dfsg-4
libgmp10 2:6.2.0+dfsg-4ubuntu0.1->2:6.2.0+dfsg-4
libgmpxx4ldbl 2:6.2.0+dfsg-4ubuntu0.1->2:6.2.0+dfsg-4