38393,38409d
28485a

Package: plantuml
Version: 1:1.2026.2+ds-2
Installed-Size: 29514
Maintainer: Andrej Shadura <andrewsh@debian.org>
Architecture: all
Depends: default-jre-headless, libavalon-framework-java, libbatik-java, libcommons-io-java, libcommons-logging-java, libfop-java, libjlatexmath-java, libxml-commons-external-java, libxmlgraphics-commons-java, libfontconfig1, libfreetype6 (>= 2.3.5), libharfbuzz0b (>= 2.1.1)
Recommends: graphviz
Description: text-to-UML converter
Homepage: http://plantuml.com/
Description-md5: fe3fe5ee20f1cbdeefe10d6d499e71cb
Section: graphics
Priority: optional
Filename: pool/main/p/plantuml/plantuml_1.2026.2+ds-2_all.deb
Size: 27568612
MD5sum: 8dc746a3afb31bf033b6a43f96033cb1
SHA256: 884be13345bcc499c58d9e758383d24eb9d9e1e0db06444641ff3b340f4675c2
.
24380a
Package: node-dedent
Version: 1.7.2-1
Installed-Size: 37
Maintainer: Debian Javascript Maintainers <pkg-javascript-devel@lists.alioth.debian.org>
Architecture: all
Description: FIX_ME write the Debian package description
Homepage: https://github.com/dmnd/dedent
Description-md5: ea2d3279acb31b5e56d1627d5bbe34e8
Section: javascript
Priority: optional
Filename: pool/main/n/node-dedent/node-dedent_1.7.2-1_all.deb
Size: 9976
MD5sum: 5b6479026d2da2d3fc650b708f60332d
SHA256: c592b941e5e4a22a3bea5b611fa97eef4f9d9b06480eecfff0ea6e82bc6678b2

.
2497,2500c
Filename: pool/main/c/coq/rocqide_9.2.0+dfsg-1_riscv64.deb
Size: 2046304
MD5sum: 97876ece909d9f02a4c73ba90a9dd55b
SHA256: 06bb24595aa7816906c5564bb19b5e88b21a743a8ebd76c0dd29efa21234c3a0
.
2490c
Depends: coq (= 9.2.0+dfsg-1), libc6 (>= 2.42), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0t64 (>= 2.36.0), libgtk-3-0t64 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.14.0)
.
2484,2486c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 9679
.
2478,2481c
Filename: pool/main/c/coq/libcoq-core-ocaml-dev_9.2.0+dfsg-1_riscv64.deb
Size: 60605084
MD5sum: 3743b57cbb300b0d5aad6f2cd9de7c8e
SHA256: 028054c8f0bb7fa86705a2dafc1e79c4f0916b74218412c7f1508206654548e8
.
2471,2472c
Provides: libcoq-core-ocaml-dev-54wt9
Depends: libcompiler-libs-ocaml-dev-fsii6, libcoq-core-ocaml-54wt9, libfindlib-ocaml-dev-jtuk9, libstdlib-ocaml-dev-1ltp0, libzarith-ocaml-dev-igxp5, ocaml-5.4.1
.
2466,2468c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 322892
.
2460,2463c
Filename: pool/main/c/coq/libcoq-core-ocaml_9.2.0+dfsg-1_riscv64.deb
Size: 25873476
MD5sum: 25f4bb5202e88fcd2667254e871c0d09
SHA256: c952ff8276838d2c88fb2f8b55502aa7c2de2f2dd5f4c3fae1b411dd55dc3ef3
.
2452c
Provides: libcoq-core-ocaml-54wt9
.
2447,2449c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 95986
.
2441,2444c
Filename: pool/main/c/coq/libcoq-core_9.2.0+dfsg-1_riscv64.deb
Size: 1152216
MD5sum: 21a9e042c8b117de98025b4e9185b23b
SHA256: 2e516d4a1fe666b5aa968d1c48070fe9a705258363256a4f0004464c84ffcd8e
.
2433c
Provides: libcoq-core-8xxz6
.
2427,2429c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 5685
.
2421,2424c
Filename: pool/main/c/coq/coq_9.2.0+dfsg-1_riscv64.deb
Size: 42398856
MD5sum: 07c8c8271ea2a2a6e5c58e714012370a
SHA256: 28c3b055aea3ddf1e27eb9c6b7bdc9d6a7cf40a3884dbac3ff0c6438ced69c0b
.
2410,2411c
Provides: coq-9.2+5.4.1
Depends: libcoq-core (= 9.2.0+dfsg-1), libcoq-core-ocaml-54wt9, libfindlib-ocaml-jtuk9, libstdlib-ocaml-1ltp0, libzarith-ocaml-igxp5, ocaml-base-5.4.1, libc6 (>= 2.42), libgmp10 (>= 2:6.3.0+dfsg), ocaml, ocaml-findlib, python3
.
2405,2407c
Version: 9.2.0+dfsg-1
Installed-Size: 174204
.
