1155,1158c
Filename: pool/non-free/g/glibc-doc-reference/glibc-doc-reference_2.43-1_all.deb
Size: 5791328
MD5sum: 6088aebd5d99ee7f6e3df4d0dba855d6
SHA256: 112f9f1775e810aa9cc5b32fb1de19202c9677ef065a560aaf6519af3e2d2bed
.
1151,1152c
Description: GNU C Library Reference Manual
Description-md5: e1f0fafd0461e7f913cc72d7e9c694b7
.
1147,1148c
Version: 2.43-1
Installed-Size: 14764
.
261,264c
Filename: pool/non-free/c/coq-doc/coq-doc-pdf_9.2.0-1_all.deb
Size: 5681408
MD5sum: 6fdc818a4096935cacd7f84e7a8ee27e
SHA256: 9c67da38c365952bc533fc7fde46941b42162deefc7e2f7dde86c913a5cfc9a2
.
250,251c
Version: 9.2.0-1
Installed-Size: 5559
.
243,246c
Filename: pool/non-free/c/coq-doc/coq-doc-html_9.2.0-1_all.deb
Size: 1910192
MD5sum: 4449ff4e8b4ee61fe05b5ba3b1c55323
SHA256: 52e5ee7f2039dd25962727ee1e36ed80677c0256bd48c233873d220b012d3a48
.
236c
Depends: libjs-jquery (>= 3.6.0), libjs-sphinxdoc (>= 9.0), sphinx-rtd-theme-common (>= 3.1.0+dfsg), node-mathjax-full
.
231,232c
Version: 9.2.0-1
Installed-Size: 24954
.
224,227c
Filename: pool/non-free/c/coq-doc/coq-doc_9.2.0-1_all.deb
Size: 4920
MD5sum: 96affec0a6512b139eedc05390790ba5
SHA256: 8a6cda1fcaf3bf6283a5b4996dcf6472f5b4580bf7941d1c6ff7f5d7ccf33a18
.
217c
Depends: coq-doc-html (>= 9.2.0-1), coq-doc-pdf (>= 9.2.0-1), node-mathjax-full
.
213,214c
Version: 9.2.0-1
Installed-Size: 20
.
91,107d
