Bug#883645: Coq.Arith.PeanoNat missing from coq-theories

[Stewart Wilcox <stewbasic@gmail.com>]

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).