Version: 8.5~beta2+dfsg-1 Nevermind.
I finally found it:
coq (8.5~beta2+dfsg-1) experimental; urgency=medium
* coq-theories is now arch any, since it contains .coq-native/ directories
(i.e. cmxs files for native compute)
Because there was not a Close statement there, I'm closing this report
by hand with this message.
Thanks.
