Removing packages from cosmic-proposed: ppx-core 113.33.03-1ubuntu4 in cosmic Comment: FTBFS; LP: #1729235, Debian bug #877507 1 package successfully removed.
Removing packages from cosmic-proposed:
ppx-core 113.33.03-1ubuntu4 in cosmic
Comment: FTBFS; LP: #1729235, Debian bug #877507
1 package successfully removed.