300,303c
Filename: pool/non-free/c/coq-doc/coq-doc-pdf_8.20.0-1_all.deb
Size: 5061848
MD5sum: e1ced2da69ddc82b9937210741abfa7e
SHA256: f64ccb67eb41d708c74bf9627ebbdc1c7698a0c49de4fd06f26227f795332b17
.
289,290c
Version: 8.20.0-1
Installed-Size: 4955
.
282,285c
Filename: pool/non-free/c/coq-doc/coq-doc-html_8.20.0-1_all.deb
Size: 1709724
MD5sum: 9c176cde5e7e19597cb3802269b82def
SHA256: 425bf832977600c6731c0d96779248990d4289c0dfcf21e54a39ce7257b6d784
.
275c
Depends: libjs-sphinxdoc (>= 8.1), sphinx-rtd-theme-common (>= 3.0.2+dfsg)
.
270,271c
Version: 8.20.0-1
Installed-Size: 22259
.
263,266c
Filename: pool/non-free/c/coq-doc/coq-doc_8.20.0-1_all.deb
Size: 5292
MD5sum: 2447bbbbf7fbf1dc95b1f48954cedcbe
SHA256: f276b75f1ffae940e0c4cc8dc03b4d87926468d3e90ca09dac6d2e5cc1259edc
.
256c
Depends: coq-doc-html (>= 8.20.0-1), coq-doc-pdf (>= 8.20.0-1), node-mathjax-full
.
252c
Version: 8.20.0-1
.