Let `iProp` refer to `uPred ...`, so not the canonical structure bundle.

6 jobs for ci/robbert/iprop_structures in 15 minutes and 14 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #41735
fp
build-coq.8.10.dev

00:12:50

passed #41739
fp
build-coq.8.7.2

00:05:50

passed #41738
fp
build-coq.8.8.2

00:06:53

passed #41737
fp-timing
build-coq.8.9.0

00:05:47

passed #41736
fp
build-coq.8.9.1

00:07:16

passed #41734
fp
build-coq.dev

00:15:13