Control: retitle -1 trilinos: intrepid2 package is not shipped Control: reassign -1 src:trilinos 12.14.1-1 Control: affects -1 src:deal.ii
On 2019/11/14 20:05, Adrian Bunk wrote:
So that's caused by the new trilinos.
Indeed, the new trilinos package introduces, and builds, the new intrepid2 package, but the packaging was not updated to ship it.
