Update topcom to 1.1.2, fix cddlib header search #31531
Description
Part of #29413.
TOPCOM home page has moved to:
For what's new in 1.1.x, see the changelog at:
Our 0.17.7 tarball was built using spkg-src and deposited in https://github.com/mkoeppe/topcom; but there is no git repository.
Arch linux already has an 1.1.x package - https://github.com/archlinux/svntogit-community/blob/packages/topcom/trunk/PKGBUILD
Upstream: Reported upstream. No feedback yet.
CC: @kiwifb @kliem @orlitzky @slel @antonio-rojas @tscrim
Component: packages: optional
Keywords: upgrade, topcom
Author: Dima Pasechnik
Branch/Commit: e481535
Reviewer: Matthias Koeppe
Issue created by migration from https://trac.sagemath.org/ticket/31531