Tweak math/coq version 8.4.2,1
Update graphics/evince to version 2.32.0_11