Thanks for doing those checks Christian! Rico confirmed that lp-solve doesn't need graphblas so we went the road of demoting the dev and doc binaries, https://git.launchpad.net/~ubuntu-core-dev/ubuntu-seeds/+git/ubuntu/commit/?id=92d8664c
Thanks for doing those checks Christian! Rico confirmed that lp-solve doesn't need graphblas so we went the road of demoting the dev and doc binaries, https:/ /git.launchpad. net/~ubuntu- core-dev/ ubuntu- seeds/+ git/ubuntu/ commit/ ?id=92d8664c