why3 is marked for autoremoval from testing

Sat, 26 May 2018 21:57:38 -0700 

why3 0.88.3-2 is marked for autoremoval from testing on 2018-07-02

It is affected by these RC bugs:
899084: why3: FTBFS: File `ifetex.sty' not found.  Emergency stop.

Reply via email to