Comparing builds

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

Compare in reverse direction

System packages changed

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