5181,5184c
Filename: pool/non-free/m/manpages-posix/manpages-posix-dev_2017a-2.1_all.deb
Size: 1786344
MD5sum: 758f339ffbd44e50adb3b1db4dd21c92
SHA256: 9f03d638492e9a20a818e32394e76aa30ec326209c01458accd281d7d08899a0
.
5165,5166c
Version: 2017a-2.1
Installed-Size: 2228
.
5158,5161c
Filename: pool/non-free/m/manpages-posix/manpages-posix_2017a-2.1_all.deb
Size: 931388
MD5sum: 7ea5185b30a3615241d07892a51e353c
SHA256: 59ccfa424de1c78b3a1e742b71a0f9c17e3097f9ab1745f16640e7fbaf273ebc
.
5145,5146c
Version: 2017a-2.1
Installed-Size: 991
.
983,986c
Filename: pool/non-free/e/ebook-dev-alp/ebook-dev-alp_200407-3.1_all.deb
Size: 3559264
MD5sum: 915866f5e362faf119d0a7be86ea793e
SHA256: 29a390b62ae22833b0c74b3a7bd9a8be38378cd41931e9fec6256d647619d212
.
977a
Homepage: https://www.advancedlinuxprogramming.com
.
972c
Version: 200407-3.1
.
524,527c
Filename: pool/non-free/c/coq-doc/coq-doc-pdf_9.2.0-1_all.deb
Size: 5681408
MD5sum: 6fdc818a4096935cacd7f84e7a8ee27e
SHA256: 9c67da38c365952bc533fc7fde46941b42162deefc7e2f7dde86c913a5cfc9a2
.
513,514c
Version: 9.2.0-1
Installed-Size: 5559
.
506,509c
Filename: pool/non-free/c/coq-doc/coq-doc-html_9.2.0-1_all.deb
Size: 1910192
MD5sum: 4449ff4e8b4ee61fe05b5ba3b1c55323
SHA256: 52e5ee7f2039dd25962727ee1e36ed80677c0256bd48c233873d220b012d3a48
.
499c
Depends: libjs-jquery (>= 3.6.0), libjs-sphinxdoc (>= 9.0), sphinx-rtd-theme-common (>= 3.1.0+dfsg), node-mathjax-full
.
494,495c
Version: 9.2.0-1
Installed-Size: 24954
.
487,490c
Filename: pool/non-free/c/coq-doc/coq-doc_9.2.0-1_all.deb
Size: 4920
MD5sum: 96affec0a6512b139eedc05390790ba5
SHA256: 8a6cda1fcaf3bf6283a5b4996dcf6472f5b4580bf7941d1c6ff7f5d7ccf33a18
.
480c
Depends: coq-doc-html (>= 9.2.0-1), coq-doc-pdf (>= 9.2.0-1), node-mathjax-full
.
476,477c
Version: 9.2.0-1
Installed-Size: 20
.
221,237d
