Package: coq-theories Version: 8.4pl3dfsg-1 The package does not contain the following file:
/usr/lib/coq/theories/Arith/PeanoNat.vo (see https://packages.debian.org/jessie/all/coq-theories/filelist) I assume this file should be present since Coq.Arith.PeanoNat still appears in the coq standard library documentation ( https://coq.inria.fr/library/Coq.Arith.PeanoNat.html) and in the source ( https://github.com/coq/coq/tree/master/theories/Arith).
