coq-8.9 is packaged and 8.8 disappeared, so package it instead of 8.9

LEPILLER JulienTue May 14 17:17:48+0200 2019

de2d557

guix-more/more
namelast commitdate
packages/coq-8.9 is packaged and 8.8 disappeared, so package it instead of 8.9Tue May 14 17:17:48+0200 2019