coq: update to 8.8.0.
coq: update to 8.8.0.

NeoChontrix/void-packages,necrophcodr/void-packages,NeoChontrix/void-packages,necrophcodr/void-packages,necrophcodr/void-packages,NeoChontrix/void-packages,necrophcodr/void-packages,NeoChontrix/void-packages,NeoChontrix/void-packages,NeoChontrix/void-packages,necrophcodr/void-packages