45562,45578d
37682,37685c
Filename: pool/main/r/rocq-stdlib/libcoq-stdlib_9.1.0-1+b1_ppc64el.deb
Size: 20078244
MD5sum: d8fe46af3dbfd7d6f1bee25e22436847
SHA256: 2fd9b2ed789cb70433ee3cd9100e393239f8de6ef7efd20fdfc8f574c79bd21a
.
37675c
Provides: libcoq-stdlib-00o88
.
37670,37672c
Source: rocq-stdlib (9.1.0-1)
Version: 9.1.0-1+b1
Installed-Size: 70706
.
34505a
Package: plantuml
Version: 1:1.2026.2+ds-3
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-3_all.deb
Size: 27568476
MD5sum: 88a2b97e17f002fed5ea8c8466b5c8e8
SHA256: 016ccbd0e81ae1c46cb2c18a4d893d8dcdfc46f8e76226b38cb4b816f39f89bd

.
34320,34450d
31426a
Package: liboxygenstyleconfig-data
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 221
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: all
Replaces: liboxygenstyleconfig5-6 (<< 4:6.6.3-1~)
Depends: plasma-version-base-6.7
Breaks: liboxygenstyleconfig5-6 (<< 4:6.6.3-1~)
Description: style library configuration for the Oxygen desktop theme - data files
Multi-Arch: foreign
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: 628ef7706ead395de17f524e704edfe2
Section: kde
Priority: optional
Filename: pool/main/o/oxygen/liboxygenstyleconfig-data_6.7.2-1_all.deb
Size: 19172
MD5sum: a40c85970fd19143ae459c3834fa61e3
SHA256: 663773d84f570ab9bfa703fc1556bb1b21bbb0101b0b5b7934f805ad981bf929

Package: oxygen-wallpapers
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 25252
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: all
Depends: plasma-version-base-6.7
Description: wallpapers for the Oxygen desktop theme
Multi-Arch: foreign
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: 8756a17a8737d1b08cda710fb1c4545f
Section: kde
Priority: optional
Filename: pool/main/o/oxygen/oxygen-wallpapers_6.7.2-1_all.deb
Size: 25358160
MD5sum: 1a4b496ce74570f219c735b7ae6597fa
SHA256: 71f9e8f6c505f09838c1ee77b82bba5886ffdfeec815d5a74eb3bf8fd8dae1a4

.
31387,31390c
Filename: pool/main/o/ott/ott-tools_0.34+ds-4_ppc64el.deb
Size: 1532804
MD5sum: 9ef991c177860bb544cfe493c69c4619
SHA256: 287356752b87c80951c6b3f49115abdd4502333d2ba3ab8f94ba4a8b31fb5cab
.
31377,31378c
Version: 0.34+ds-4
Installed-Size: 6719
.
31370,31373c
Filename: pool/main/o/ott/libcoq-ott_0.34+ds-4_ppc64el.deb
Size: 164148
MD5sum: 4edcf00f294c98e16b3a979408d853ad
SHA256: 2b282a0064621fa9bc2abb1f544cf01cfc93cf730ffcda6e5af857c32240ddd3
.
31363,31364c
Provides: libcoq-ott-yyvz3
Depends: libcoq-stdlib-00o88
.
31359,31360c
Version: 0.34+ds-4
Installed-Size: 537
.
29554,29572d
29501a

Package: node-stylis
Version: 4.4.0+~cs4.2.7-1
Installed-Size: 177
Maintainer: Debian Javascript Maintainers <pkg-javascript-devel@lists.alioth.debian.org>
Architecture: all
Description: Light–weight CSS Preprocessor
Multi-Arch: foreign
Homepage: https://github.com/thysultan/stylis.js
Description-md5: 3df819d5b9e278e726fe7cab5988dc75
Section: javascript
Priority: optional
Filename: pool/main/n/node-stylis/node-stylis_4.4.0+~cs4.2.7-1_all.deb
Size: 27056
MD5sum: e8e6f91b23e3e3ec5b6ce9fcd209f69f
SHA256: e3660e88cc80de3d8ef61719b872aa1fb64b9c940d5c83d54802e90c75251f8b
.
29329c

.
29037,29223d
27788,27871d
27498,27501c
Filename: pool/main/m/mini-buildd/python3-mini-buildd_2.5.4_all.deb
Size: 203440
MD5sum: a0d67eae741c1918eecc477bd359a030
SHA256: 184547360ea37ebacd68349563f82b48a82311d8fb06ff7c32a9c9ef09c29dbc
.
27485,27486c
Version: 2.5.4
Installed-Size: 1056
.
27478,27481c
Filename: pool/main/m/mini-buildd/mini-buildd-utils_2.5.4_all.deb
Size: 59212
MD5sum: 8c4506de829d688d78913b8a0311e025
SHA256: 314160ee18dbd12c8f5a45cc376a8555f363612e7141c0b79c7e5e6f190f985c
.
27470c
Depends: python3:any (>= 3.11~), python3-mini-buildd (= 2.5.4), python3-apt
.
27465,27466c
Version: 2.5.4
Installed-Size: 110
.
27458,27461c
Filename: pool/main/m/mini-buildd/mini-buildd-doc_2.5.4_all.deb
Size: 341044
MD5sum: 9feeec4a5bd504624365768349fcdbf2
SHA256: 847f90552dd94c32e384f2be84be296892c2e41db9033e6ddf0d4c94696a0be8
.
27450c
Depends: libjs-sphinxdoc (>= 9.0)
.
27445,27446c
Version: 2.5.4
Installed-Size: 3707
.
27438,27441c
Filename: pool/main/m/mini-buildd/mini-buildd_2.5.4_all.deb
Size: 77916
MD5sum: edd6c71852aab6a23741344a861ffaca
SHA256: f6e4a12d720ae995f9242eedb1290dfbde1b1c761a240def76ccba7696bbf389
.
27428,27429c
Depends: debconf (>= 0.5) | debconf-2.0, python3:any (>= 3.11~), python3-mini-buildd (= 2.5.4), adduser, sudo, gnupg (>= 2.2.26), dirmngr, reprepro (>= 5.3.1-4~), debootstrap (>= 1.0.126+nmu1~), zstd, schroot (>= 1.6.10-3~), schroot (<< 1.7), dpkg-dev (>= 1.17.27~), devscripts (>= 2.14.5~)
Pre-Depends: sbuild-schroot | sbuild (>= 0.72)
.
27423,27424c
Version: 2.5.4
Installed-Size: 246
.
23586a
Package: libyang-cpp-dev
Source: libyang-cpp
Version: 4+20260710-1
Installed-Size: 97
Maintainer: Daniel Baumann <daniel@debian.org>
Architecture: ppc64el
Depends: libyang-cpp10 (= 4+20260710-1)
Description: parser toolkit for IETF YANG data modeling language (C++ development)
Homepage: https://github.com/CESNET/libyang-cpp
Description-md5: 70812117644de8fe2f29a09d12942392
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/liby/libyang-cpp/libyang-cpp-dev_4+20260710-1_ppc64el.deb
Size: 17136
MD5sum: 6ab11e676d5bab79c5359df964cdce46
SHA256: 0ea146dab7f4062cdee541485968f53df93d8913703202d5e1c4c5f79d012133

Package: libyang-cpp10
Source: libyang-cpp
Version: 4+20260710-1
Installed-Size: 532
Maintainer: Daniel Baumann <daniel@debian.org>
Architecture: ppc64el
Depends: libc6 (>= 2.32), libgcc-s1 (>= 3.0), libstdc++6 (>= 13), libyang5 (>= 5.8.6)
Description: parser toolkit for IETF YANG data modeling language (C++ library)
Multi-Arch: same
Homepage: https://github.com/CESNET/libyang-cpp
Description-md5: 9510f9aecdbdadb47deee730c0a72ebb
Section: libs
Priority: optional
Filename: pool/main/liby/libyang-cpp/libyang-cpp10_4+20260710-1_ppc64el.deb
Size: 117016
MD5sum: 8fdb0e1b7e2cf914ad5220890674b49b
SHA256: 1767176351f8591377fbaec6c6df19b46513a3432fae2ee639938d83a7c91581

.
23264,23379d
23246a
Package: libtorrent-rasterbar-dev
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 2239
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: ppc64el
Depends: libtorrent-rasterbar2.1 (= 2.1.0-2), libssl-dev, pkgconf, libboost-dev
Suggests: libtorrent-rasterbar-doc
Description: Development files for libtorrent-rasterbar
Multi-Arch: same
Homepage: https://libtorrent.org/
Description-md5: 705ada813b82d11c67efa98c9c4ca92d
Tag: devel::lang:c++, devel::library, implemented-in::c++, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/libt/libtorrent-rasterbar/libtorrent-rasterbar-dev_2.1.0-2_ppc64el.deb
Size: 437496
MD5sum: 585abb0ac5ef21ac7ec7dc9cd2212a88
SHA256: 933d6935681a21d80f05af703142deec3d3fb39a971da0ef435beb8e367c5383

Package: libtorrent-rasterbar-doc
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 6074
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: all
Description: Documentation for libtorrent-rasterbar
Multi-Arch: foreign
Homepage: https://libtorrent.org/
Description-md5: 73e12f09fdc69aff638cb9fc1456982b
Tag: devel::doc, made-of::html, protocol::bittorrent, role::documentation,
 role::program, use::downloading
Section: doc
Priority: optional
Filename: pool/main/libt/libtorrent-rasterbar/libtorrent-rasterbar-doc_2.1.0-2_all.deb
Size: 1718880
MD5sum: cd06f1fb71d1ee5e128e361e4ee4a7a5
SHA256: 1fcecf59a35b14a865a002184fe3b3d1bb55d96af99f98b3cc471ef2c56198f9

Package: libtorrent-rasterbar2.1
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 11504
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: ppc64el
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.0), libssl3t64 (>= 3.0.0), libstdc++6 (>= 14)
Description: C++ bittorrent library by Rasterbar Software
Multi-Arch: same
Homepage: https://libtorrent.org/
Description-md5: 2eaccb98576b5d83c868c53992a012f8
Section: libs
Priority: optional
Filename: pool/main/libt/libtorrent-rasterbar/libtorrent-rasterbar2.1_2.1.0-2_ppc64el.deb
Size: 2924764
MD5sum: 1616af73929022a66ce6a6adc4aeb449
SHA256: 6fa9aef806e66c053e1f26d009aee83c102b6126cbdfe6e1225a2317138f4bec

Package: python3-libtorrent
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 5453
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: ppc64el
Depends: libboost-python1.90.0 (>= 1.90.0), libboost-python1.90.0-py314, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libssl3t64 (>= 3.0.0), libstdc++6 (>= 14), libtorrent-rasterbar2.1 (>= 2.1.0), python3 (<< 3.15), python3 (>= 3.14~)
Description: Python bindings for libtorrent-rasterbar (Python 3)
Homepage: https://libtorrent.org/
Description-md5: 1ae4d06eab5e84835d075e1f7376d626
Section: python
Priority: optional
Filename: pool/main/libt/libtorrent-rasterbar/python3-libtorrent_2.1.0-2_ppc64el.deb
Size: 656064
MD5sum: 60e2842b49193492355a2093d8023171
SHA256: 1bd3178efdb42552d4d37d82a2607a9602e4fe876df9f16586bbe8723b8fa93e

.
18477,18513d
16785,16788c
Filename: pool/main/k/kstars/kstars-data_3.8.3-2_all.deb
Size: 22397564
MD5sum: 32b0caa52d05f969b1cc6bbcaf240129
SHA256: cd60ece65960bb50b1b0cfd8638a819f0fca273f8e84507c39463e8d6a6c5cc7
.
16774,16776c
Version: 5:3.8.3-2
Installed-Size: 73323
Maintainer: Debian KDE Extras Team <pkg-kde-extras@alioth-lists.debian.net>
.
16767,16770c
Filename: pool/main/k/kstars/kstars_3.8.3-2_ppc64el.deb
Size: 9009500
MD5sum: 8bae4e4267be0e05e685d807feb59c67
SHA256: e2edafe541e0c6c2a4cf1c35064b93bdc81364725f4952118298e1c884f5cbd7
.
16756,16757c
Depends: kstars-data (= 5:3.8.3-2), libqt5sql5-sqlite, kio, libc6 (>= 2.38), libcfitsio10t64 (>= 4.2.0~), libgcc-s1 (>= 4.0), libgsl28 (>= 2.8+dfsg), libindiclient2 (>= 2.2.3.1+dfsg), libkf5configcore5 (>= 5.68.0~), libkf5configgui5 (>= 5.68.0~), libkf5configwidgets5 (>= 5.23.0), libkf5coreaddons5 (>= 4.100.0), libkf5i18n5 (>= 5.69.0), libkf5kiocore5 (>= 5.69.0), libkf5kiowidgets5 (>= 5.69.0), libkf5newstuff5 (>= 5.68.0~), libkf5notifications5 (>= 5.68.0~), libkf5notifyconfig5 (>= 5.68.0~), libkf5plotting5 (>= 5.68.0~), libkf5widgetsaddons5 (>= 5.100.0), libkf5xmlgui5 (>= 5.68.0~), libopencv-calib3d410 (>= 4.10.0+dfsg), libopencv-core410 (>= 4.10.0+dfsg), libopencv-imgproc410 (>= 4.10.0+dfsg), libqt5concurrent5t64 (>= 5.12.7~), libqt5core5t64 (>= 5.15.1), libqt5datavisualization5 (>= 5.12.7~), libqt5dbus5t64 (>= 5.14.1), libqt5gui5t64 (>= 5.14.1) | libqt5gui5-gles (>= 5.14.1), libqt5keychain1 (>= 0.7.0), libqt5network5t64 (>= 5.15.1), libqt5printsupport5t64 (>= 5.12.7~), libqt5qml5 (>= 5.12.7~), libqt5quick5 (>= 5.12.7~) | libqt5quick5-gles (>= 5.12.7~), libqt5sql5t64 (>= 5.12.7~), libqt5svg5 (>= 5.12.7~), libqt5websockets5 (>= 5.12.7~), libqt5widgets5t64 (>= 5.15.1), libraw25 (>= 0.22.0), libstdc++6 (>= 14), libstellarsolver2 (>= 2.7), libwcs8 (>= 8.1), libxisf0 (>= 0.2.13), zlib1g (>= 1:1.2.0)
Recommends: astrometry.net, breeze-icon-theme, indi-bin, xplanet
.
16754c
Maintainer: Debian KDE Extras Team <pkg-kde-extras@alioth-lists.debian.net>
.
16752c
Version: 5:3.8.3-2
.
15665a
Package: jupyterlab
Version: 4.4.1+ds1+~3.0.5+~0.16.6+~cs1.4.4-1
Installed-Size: 103657
Maintainer: Debian Javascript Maintainers <pkg-javascript-devel@lists.alioth.debian.org>
Architecture: all
Replaces: node-jupyterlab (<< 4.0.11+ds1+~cs11.25.27~), python3-jupyterlab (<< 4.0.11+ds1+~cs11.25.27~)
Provides: jupyter-lab (= 4.4.1+ds1+~3.0.5+~0.16.6+~cs1.4.4-1), jupyter-labextension (= 4.4.1+ds1+~3.0.5+~0.16.6+~cs1.4.4-1), jupyter-labhub (= 4.4.1+ds1+~3.0.5+~0.16.6+~cs1.4.4-1), node-jupyter-react-components (= 0.16.6), node-jupyter-ui-demo (= 0.16.6), node-jupyter-web-components (= 0.16.6), node-jupyter-ydoc (= 3.0.5), node-jupyterlab (= 4.4.1+ds1+~3.0.5+~0.16.6+~cs1.4.4-1), node-jupyterlab-application (= 4.4.1), node-jupyterlab-application-extension (= 4.4.1), node-jupyterlab-application-top (= 4.4.1), node-jupyterlab-apputils (= 4.5.1), node-jupyterlab-apputils-extension (= 4.4.1), node-jupyterlab-attachments (= 4.4.1), node-jupyterlab-builder (= 4.4.1), node-jupyterlab-buildutils (= 4.4.1), node-jupyterlab-cell-toolbar (= 4.4.1), node-jupyterlab-cell-toolbar-extension (= 4.4.1), node-jupyterlab-cells (= 4.4.1), node-jupyterlab-celltags-extension (= 4.4.1), node-jupyterlab-codeeditor (= 4.4.1), node-jupyterlab-codemirror (= 4.4.1), node-jupyterlab-codemirror-extension (= 4.4.1), node-jupyterlab-completer (= 4.4.1), node-jupyterlab-completer-extension (= 4.4.1), node-jupyterlab-console (= 4.4.1), node-jupyterlab-console-extension (= 4.4.1), node-jupyterlab-coreutils (= 6.4.1), node-jupyterlab-csvviewer (= 4.4.1), node-jupyterlab-csvviewer-extension (= 4.4.1), node-jupyterlab-debugger (= 4.4.1), node-jupyterlab-debugger-extension (= 4.4.1), node-jupyterlab-docmanager (= 4.4.1), node-jupyterlab-docmanager-extension (= 4.4.1), node-jupyterlab-docregistry (= 4.4.1), node-jupyterlab-documentsearch (= 4.4.1), node-jupyterlab-documentsearch-extension (= 4.4.1), node-jupyterlab-extensionmanager (= 4.4.1), node-jupyterlab-extensionmanager-extension (= 4.4.1), node-jupyterlab-filebrowser (= 4.4.1), node-jupyterlab-filebrowser-extension (= 4.4.1), node-jupyterlab-fileeditor (= 4.4.1), node-jupyterlab-fileeditor-extension (= 4.4.1), node-jupyterlab-galata (= 5.4.1), node-jupyterlab-help-extension (= 4.4.1), node-jupyterlab-htmlviewer (= 4.4.1), node-jupyterlab-htmlviewer-extension (= 4.4.1), node-jupyterlab-hub-extension (= 4.4.1), node-jupyterlab-imageviewer (= 4.4.1), node-jupyterlab-imageviewer-extension (= 4.4.1), node-jupyterlab-inspector (= 4.4.1), node-jupyterlab-inspector-extension (= 4.4.1), node-jupyterlab-javascript-extension (= 4.4.1), node-jupyterlab-json-extension (= 4.4.1), node-jupyterlab-launcher (= 4.4.1), node-jupyterlab-launcher-extension (= 4.4.1), node-jupyterlab-logconsole (= 4.4.1), node-jupyterlab-logconsole-extension (= 4.4.1), node-jupyterlab-lsp (= 4.4.1), node-jupyterlab-lsp-extension (= 4.4.1), node-jupyterlab-mainmenu (= 4.4.1), node-jupyterlab-mainmenu-extension (= 4.4.1), node-jupyterlab-markdownviewer (= 4.4.1), node-jupyterlab-markdownviewer-extension (= 4.4.1), node-jupyterlab-markedparser-extension (= 4.4.1), node-jupyterlab-mathjax-extension (= 4.4.1), node-jupyterlab-metadataform (= 4.4.1), node-jupyterlab-metadataform-extension (= 4.4.1), node-jupyterlab-metapackage (= 4.4.1), node-jupyterlab-nbconvert-css (= 4.4.1), node-jupyterlab-nbformat (= 4.4.1), node-jupyterlab-notebook (= 4.4.1), node-jupyterlab-notebook-extension (= 4.4.1), node-jupyterlab-observables (= 5.4.1), node-jupyterlab-outputarea (= 4.4.1), node-jupyterlab-pdf-extension (= 4.4.1), node-jupyterlab-pluginmanager (= 4.4.1), node-jupyterlab-pluginmanager-extension (= 4.4.1), node-jupyterlab-property-inspector (= 4.4.1), node-jupyterlab-rendermime (= 4.4.1), node-jupyterlab-rendermime-extension (= 4.4.1), node-jupyterlab-rendermime-interfaces (= 3.12.1), node-jupyterlab-running (= 4.4.1), node-jupyterlab-running-extension (= 4.4.1), node-jupyterlab-services (= 7.4.1), node-jupyterlab-services-extension (= 4.4.1), node-jupyterlab-settingeditor (= 4.4.1), node-jupyterlab-settingeditor-extension (= 4.4.1), node-jupyterlab-settingregistry (= 4.4.1), node-jupyterlab-shortcuts-extension (= 5.2.1), node-jupyterlab-statedb (= 4.4.1), node-jupyterlab-statusbar (= 4.4.1), node-jupyterlab-statusbar-extension (= 4.4.1), node-jupyterlab-template (= 4.4.1), node-jupyterlab-terminal (= 4.4.1), node-jupyterlab-terminal-extension (= 4.4.1), node-jupyterlab-testing (= 4.4.1), node-jupyterlab-theme-dark-extension (= 4.4.1), node-jupyterlab-theme-dark-high-contrast-extension (= 4.4.1), node-jupyterlab-theme-light-extension (= 4.4.1), node-jupyterlab-toc (= 6.4.1), node-jupyterlab-toc-extension (= 6.4.1), node-jupyterlab-tooltip (= 4.4.1), node-jupyterlab-tooltip-extension (= 4.4.1), node-jupyterlab-translation (= 4.4.1), node-jupyterlab-translation-extension (= 4.4.1), node-jupyterlab-ui-components (= 4.4.1), node-jupyterlab-ui-components-extension (= 4.4.1), node-jupyterlab-vega5-extension (= 4.4.1), node-jupyterlab-workspaces (= 4.4.1), node-jupyterlab-workspaces-extension (= 4.4.1), node-mini-svg-data-uri (= 1.4.4), python3-jupyterlab (= 4.4.1+ds1+~3.0.5+~0.16.6+~cs1.4.4-1)
Depends: python3-async-lru, python3-httpx (>= 0.28~), python3-ipykernel, python3-jinja2, python3-jupyter-core, python3-jupyter-server, python3-jupyterlab-server, python3-notebook-shim, python3-packaging, python3-setuptools, python3-tornado, python3-traitlets, python3:any, jest, node-ajv (>= 8), node-babel7, node-call-bind, node-codemirror-autocomplete, node-codemirror-commands, node-codemirror-lang-cpp, node-codemirror-lang-css, node-codemirror-lang-html, node-codemirror-lang-java, node-codemirror-lang-javascript, node-codemirror-lang-json, node-codemirror-lang-markdown, node-codemirror-lang-php, node-codemirror-lang-python, node-codemirror-lang-rust, node-codemirror-lang-sql, node-codemirror-lang-wast, node-codemirror-lang-xml, node-codemirror-language, node-codemirror-legacy-modes, node-codemirror-search, node-codemirror-state, node-codemirror-view, node-commander (>= 14~), node-css-loader, node-deepmerge, node-fortawesome-fontawesome-free, node-fetch, node-fs-extra, node-get-intrinsic, node-glob (>= 10), node-json-schema, node-json5, node-lezer-common, node-lezer-generator, node-lezer-highlight, node-lezer-markdown, node-license-webpack-plugin, node-lodash-packages, node-long, node-lumino, node-marked (>> 18.0.5+~cs7.2.17-2~), node-mathjax-full, node-mini-css-extract-plugin, node-minimist, node-path-browserify, node-playwright-test, node-process, node-react, node-react-dom, node-react-highlight-words, node-react-json-tree, node-react-paginate, node-react-toastify, node-regexp-match-indices, node-rjsf-core, node-rjsf-utils, node-rjsf-validator-ajv8, node-sanitize-html, node-semver, node-simulate-event, node-source-map-loader, node-stdlib-stats, node-style-loader, node-style-mod, node-supports-color, node-terser-webpack-plugin, node-ts-jest, node-typestyle, node-url-parse, node-vega, node-vega-embed, node-vega-lite, node-vega-statistics, node-vscode-debugprotocol, node-vscode-jsonrpc, node-vscode-languageserver-protocol, node-webpack-merge, node-worker-loader, node-ws, node-xterm-addon-canvas, node-xterm-addon-fit, node-xterm-addon-web-links, node-xterm-addon-webgl, node-yjs, node-y-protocols, python3-jupyter-events, python3-rpds-py, webpack, yarnpkg, node-systeminformation (>> 5.31.6~), node-microsoft-fast-foundation, node-microsoft-fast-colors, node-microsoft-fast-element, node-microsoft-fast-web-utilities, node-xterm (>> 5.5.0~), node-package-json, node-sort-package-json
Breaks: node-duplicate-package-checker-webpack-plugin (<< 3.0.0-1), node-jupyterlab (<< 4.0.11+ds1+~cs11.25.27~), python3-jupyterlab (<< 4.0.11+ds1+~cs11.25.27~)
Description: Node.js modules for JupyterLab
Homepage: https://github.com/jupyterlab/jupyterlab
Description-md5: b3e907729cef56f2b536529c32813b8a
Section: javascript
Priority: optional
Filename: pool/main/j/jupyterlab/jupyterlab_4.4.1+ds1+~3.0.5+~0.16.6+~cs1.4.4-1_all.deb
Size: 17251556
MD5sum: cafe135d11ec636a18ad0d9fcff8daee
SHA256: 8fc3bca5338b7cac9abb3d1802d854a0cea143681ce080d60b36c248054c8a75

.
14297,14373d
11123a
Package: golang-github-martinhoefling-goxkcdpwgen-dev
Source: goxkcdpwgen
Version: 0.0~git20231122.e51aa57-4~exp1
Installed-Size: 235
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: all
Replaces: goxkcdpwgen (<< 0.0~git20231122.e51aa57-1)
Depends: golang-github-stretchr-testify-dev
Conflicts: goxkcdpwgen (<< 0.0~git20231122.e51aa57-1)
Description: xkcd style password generator library and cli tool (library)
Multi-Arch: foreign
Homepage: https://github.com/martinhoefling/goxkcdpwgen
Description-md5: d31c05295246419461c4ec26fcc46271
Section: devel
Priority: optional
Filename: pool/main/g/goxkcdpwgen/golang-github-martinhoefling-goxkcdpwgen-dev_0.0~git20231122.e51aa57-4~exp1_all.deb
Size: 59628
MD5sum: 860fa912c4ac8a5325e66488a150d3fc
SHA256: fc2b19b4fa0b90f8275a30df6c343d8037bc149caf6e82d4728c932f09c13b0a

Package: goxkcdpwgen
Version: 0.0~git20231122.e51aa57-4~exp1
Installed-Size: 2329
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: ppc64el
Description: xkcd style password generator library and cli tool
Homepage: https://github.com/martinhoefling/goxkcdpwgen
Description-md5: d6ff1e001ecf8426f58ab18de0a8756e
Section: devel
Priority: optional
Filename: pool/main/g/goxkcdpwgen/goxkcdpwgen_0.0~git20231122.e51aa57-4~exp1_ppc64el.deb
Size: 680740
MD5sum: a4966edd1065474daef1d2c393c3086f
SHA256: e7d5769c7b681a919d7da76d28d5eb68d81ff57857e2c575a0c43e165cd3a006

.
10891a
Package: golang-github-pocketbase-pocketbase-dev
Source: golang-github-pocketbase-pocketbase
Version: 0.39.4+ds-4~exp2
Installed-Size: 4570
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: all
Description: Open Source realtime backend in 1 file (library)
Multi-Arch: foreign
Homepage: https://github.com/pocketbase/pocketbase
Description-md5: 6b264478fa53bbeb5faaba5b80b7b29d
Section: golang
Priority: optional
Filename: pool/main/g/golang-github-pocketbase-pocketbase/golang-github-pocketbase-pocketbase-dev_0.39.4+ds-4~exp2_all.deb
Size: 618332
MD5sum: 774a688398cd0c4c5df0225bd7944770
SHA256: be0964db33282a7a616813f54ece0815f9640363ac948a84636bdfcd47b0c6f1

Package: pocketbase
Source: golang-github-pocketbase-pocketbase
Version: 0.39.4+ds-4~exp2
Installed-Size: 53952
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: ppc64el
Depends: libc6 (>= 2.34)
Description: Open Source realtime backend in 1 file (program)
Homepage: https://github.com/pocketbase/pocketbase
Description-md5: 51ec5d0c367da47aa5a49a1e97b607f8
Static-Built-Using: golang-1.26 (= 1.26.5-1), golang-fsnotify (= 1.10.1-1), golang-github-asaskevich-govalidator (= 11.0.1-1), golang-github-cznic-mathutil (= 1.7.1-1), golang-github-disintegration-imaging (= 1.6.2-4), golang-github-domodwyer-mailyak (= 3.6.2-3), golang-github-dustin-go-humanize (= 1.0.1-1), golang-github-fatih-color (= 1.19.0-1), golang-github-gabriel-vasile-mimetype (= 1.4.13+dfsg1-1), golang-github-ganigeorgiev-fexpr (= 0.5.0-3), golang-github-go-ozzo-ozzo-validation.v4 (= 4.3.0-2), golang-github-golang-jwt-jwt-v5 (= 5.3.1-1), golang-github-google-uuid (= 1.6.0-1), golang-github-mattn-go-colorable (= 0.1.13-1), golang-github-mattn-go-isatty (= 0.0.20-1), golang-github-pocketbase-dbx (= 1.12.0-2), golang-github-remyoudompheng-bigfft (= 0.0+git20230129.24d4a6f-1), golang-github-spf13-cast (= 1.10.0-2), golang-github-spf13-cobra (= 1.10.2-1), golang-github-spf13-pflag (= 1.0.10-1), golang-go.crypto (= 1:0.53.0-1), golang-golang-x-exp (= 0.0~git20260529.c761662-1), golang-golang-x-image (= 0.42.0-1), golang-golang-x-net (= 1:0.56.0-1), golang-golang-x-oauth2 (= 0.27.0-1), golang-golang-x-sync (= 0.20.0-1), golang-golang-x-sys (= 0.45.0+dfsg-1), golang-golang-x-text (= 0.36.0-1), golang-modernc-libc (= 1.66.10-3), golang-modernc-memory (= 1.11.0+dfsg-4), golang-modernc-sqlite (= 1.40.0+dfsg-1)
Section: golang
Priority: optional
Filename: pool/main/g/golang-github-pocketbase-pocketbase/pocketbase_0.39.4+ds-4~exp2_ppc64el.deb
Size: 13368900
MD5sum: 95b509f0b8337a9a16709eb2f806fd5e
SHA256: e45c5c9762cca118688f6460fc2541371769cac586f37d53678c0c33147072ff

.
10218,10288d
9807,10165d
6386,6389c
Filename: pool/main/f/flocq/libcoq-flocq_4.2.2-1_ppc64el.deb
Size: 3465304
MD5sum: 495235f8e452e5bb5d6a17c03ed6ff64
SHA256: 47d22a3316f16853a38ed39cdde58bd4ade8f3fa479db349132469a57e23e230
.
6379,6380c
Provides: libcoq-flocq-0zu59
Depends: libcoq-stdlib-00o88
.
6375,6376c
Version: 4.2.2-1
Installed-Size: 9252
.
6313,6316c
Filename: pool/main/f/findutils/locate_4.11.0-1_ppc64el.deb
Size: 341644
MD5sum: 387039bbfaec859574627ad6c4efec71
SHA256: 5dd8cf0506742b5bf77e9cf74f5a81df05f17d529abd968412696ac3ef9bf1ad
.
6299,6300c
Version: 4.11.0-1
Installed-Size: 626
.
6292,6295c
Filename: pool/main/f/findutils/findutils_4.11.0-1_ppc64el.deb
Size: 812364
MD5sum: 47482f5431950b6484e6e57ad50d0177
SHA256: 575389c0aa9fb2ba22e59a71c4cce3c559b83d9d8f39ef18a0c2a1177a89d450
.
6279c
Installed-Size: 2572
.
6277c
Version: 4.11.0-1
.
5586,5589c
Filename: pool/main/e/elpi/libelpi-ocaml-dev_3.7.2-1_ppc64el.deb
Size: 12357344
MD5sum: ee4166e72e7bbaa01ecbe1db2c80b174
SHA256: d3fe39f4345cbd4c28ee78e4f6b8e950e9ddc0e906a804f2d5dee8e4e17ce659
.
5578,5579c
Provides: libelpi-ocaml-dev-apmi5
Depends: libcompiler-libs-ocaml-dev-wmsm4, libelpi-ocaml-apmi5, libmenhir-ocaml-dev-bzns5, libocaml-compiler-libs-ocaml-dev-o8ai4, libppx-deriving-ocaml-dev-wjuv3, libppxlib-ocaml-dev-myf98, libre-ocaml-dev-0qw54, libsexplib0-ocaml-dev-glwc7, libstdlib-ocaml-dev-1ltp0, ocaml-5.4.1, libc6 (>= 2.38)
.
5573,5575c
Source: elpi
Version: 3.7.2-1
Installed-Size: 61024
.
5567,5570c
Filename: pool/main/e/elpi/libelpi-ocaml_3.7.2-1_ppc64el.deb
Size: 3411276
MD5sum: b182ab8205197f40db7b26af73a3f3bd
SHA256: 5e81280ab133ea58f073502d92b5b383d25939ee3189094a1d0b5c987dab2d0d
.
5559,5560c
Provides: libelpi-ocaml-apmi5
Depends: libppx-deriving-ocaml-wjuv3, libsexplib0-ocaml-glwc7, libstdlib-ocaml-1ltp0, ocaml-base-5.4.1
.
5554,5556c
Source: elpi
Version: 3.7.2-1
Installed-Size: 14405
.
5548,5551c
Filename: pool/main/e/elpi/elpi_3.7.2-1_ppc64el.deb
Size: 1905640
MD5sum: 48f2a209a44c504787e325037c9ee1b6
SHA256: 3cba076688b485cb9a31e4633f5bd641bac1f4004bd4b9508f2e1bb8d8aa4508
.
5542c
Depends: libelpi-ocaml (= 3.7.2-1), libc6 (>= 2.42)
.
5537,5539c
Version: 3.7.2-1
Installed-Size: 9766
.
5314a
Package: eclib-tools
Source: eclib
Version: 20260707-1
Installed-Size: 81
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Architecture: ppc64el
Depends: libec16 (= 20260707-1), libc6 (>= 2.38), libgcc-s1 (>= 3.0), libntl44 (>= 11.5.1), libstdc++6 (>= 13.1)
Breaks: sagemath (<< 8.4~)
Description: Programs for modular symbols and elliptic curves over Q
Homepage: https://github.com/JohnCremona/eclib/
Description-md5: 0eb561b8bbb6cb2cb47894e7198e0b99
Section: math
Priority: optional
Filename: pool/main/e/eclib/eclib-tools_20260707-1_ppc64el.deb
Size: 10728
MD5sum: 9ad5f5cd037b76ad310bbd40503a6c02
SHA256: 162166633bd00ad382c1e1d01c929c485679c58e0aaf693f72f64117f83ca196

Package: libec-dev
Source: eclib
Version: 20260707-1
Installed-Size: 552
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Architecture: ppc64el
Depends: libec16 (= 20260707-1)
Description: Library for modular symbols and elliptic curves over Q (development)
Multi-Arch: same
Homepage: https://github.com/JohnCremona/eclib/
Description-md5: 8f18a559e7677b64537acd6ee68e3ef0
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/e/eclib/libec-dev_20260707-1_ppc64el.deb
Size: 122232
MD5sum: 9fba533b83e7ee5772ff21a1677e4c16
SHA256: e75ecf4d51ce067e1fc9a5f1b5bb4e577967e513800f417e8969073535d45410

Package: libec16
Source: eclib
Version: 20260707-1
Installed-Size: 4820
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Architecture: ppc64el
Replaces: libec10t64
Depends: libc6 (>= 2.38), libflint23 (>= 3.5.0), libgcc-s1 (>= 3.0), libntl44 (>= 11.5.1), libpari-gmp-tls9, libstdc++6 (>= 14)
Breaks: libec10 (<< 20260707-1)
Description: Library for modular symbols and elliptic curves over Q
Multi-Arch: same
Homepage: https://github.com/JohnCremona/eclib/
Description-md5: ef0e5b8927c7d668542172bb1c11ebbd
Section: libs
Priority: optional
Filename: pool/main/e/eclib/libec16_20260707-1_ppc64el.deb
Size: 1261428
MD5sum: dbd4d0ef631b04708991191d4544126c
SHA256: f961988197a50afc9cd0fc06afebd587116663d8e7e90e8a36fc31c31daa716e

.
5240,5278d
4884,5152d
4488,4491c
Filename: pool/main/d/dh-golang/dh-golang_1.66~exp2_all.deb
Size: 24360
MD5sum: 90b949f34b0895d7b6225c91674c61e7
SHA256: 384d0391b62e48047e124f6895712d19af1537ebe6f5da434cba3632d2d74d77
.
4477c
Version: 1.66~exp2
.
3382,3385c
Filename: pool/main/c/courier/sqwebmail_7.0.2+2.0.2-4_ppc64el.deb
Size: 765740
MD5sum: 48f7cf184242d8675e3a34eda084d348
SHA256: 353d1d9910761e6787b93c3dd4689e38a9ba454f3c2a11b2e648c10ab69ac90a
.
3373c
Depends: apache2, courier-base (= 2.0.2-4), debconf, default-mta | mail-transport-agent, expect, iamerican | ispell-dictionary, ispell, maildrop, debconf (>= 0.5) | debconf-2.0, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libldap2 (>= 2.6.2), libpcre2-8-0 (>= 10.22), libstdc++6 (>= 13.1), perl:any
.
3368,3369c
Source: courier (2.0.2-4)
Version: 7.0.2+2.0.2-4
.
3362,3365c
Filename: pool/main/c/courier/courier-webadmin_2.0.2-4_ppc64el.deb
Size: 114836
MD5sum: 5a47271f9c4fa90c5ddb73d09a3496fa
SHA256: acc86de22ce9c096374f8f0f876d901bfa64d8d6f36c0d5d90969a1828ec15fd
.
3353c
Depends: apache2 | httpd, courier-base (= 2.0.2-4), debconf, libcgi-pm-perl, debconf (>= 0.5) | debconf-2.0, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.34), perl:any
.
3349c
Version: 2.0.2-4
.
3342,3345c
Filename: pool/main/c/courier/courier-pop_2.0.2-4_ppc64el.deb
Size: 189456
MD5sum: 3b41f5f1e304e68302cadc9873326b95
SHA256: eb380a090afd6a85014b7894e5016930e3c66dd04e07a0c8a8578d26f6add81a
.
3331c
Depends: courier-base (= 2.0.2-4), debconf, default-mta | mail-transport-agent, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libidn2-0 (>= 2.0.0), libstdc++6 (>= 12)
.
3325c
Version: 2.0.2-4
.
3318,3321c
Filename: pool/main/c/courier/courier-pcp_2.0.2-4_ppc64el.deb
Size: 185124
MD5sum: 60ea96441ea7d42d5cdd8a2ed763fd68
SHA256: f4c27ca3ef07421f8c8b17d034d55850136520e53cad3d2fc35ec11a39fa8c46
.
3305c
Version: 2.0.2-4
.
3298,3301c
Filename: pool/main/c/courier/courier-mta_2.0.2-4_ppc64el.deb
Size: 810044
MD5sum: 2c49424c5814e8f144d517894b958c24
SHA256: c5a93efdc288f3041c8bd56cb505560bf3bd5b3b0538916581579bccc68e998a
.
3287c
Depends: courier-base (= 2.0.2-4), debconf, libnet-cidr-perl, wget, debconf (>= 0.5) | debconf-2.0, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libperl5.40 (>= 5.40.0), libstdc++6 (>= 13.1), perl:any
.
3281c
Version: 2.0.2-4
.
3274,3277c
Filename: pool/main/c/courier/courier-mlm_2.0.2-4_ppc64el.deb
Size: 467032
MD5sum: 22185ea17ff57d0a47e11102d01fa692
SHA256: 416b60b3c92d38ea278409f9319265a2cc2ad0bbb7f103b008f5c57b8752b1c1
.
3265c
Depends: courier-base (= 2.0.2-4), maildrop, libc6 (>= 2.38), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libstdc++6 (>= 13.1)
.
3261c
Version: 2.0.2-4
.
3254,3257c
Filename: pool/main/c/courier/courier-ldap_2.0.2-4_ppc64el.deb
Size: 106868
MD5sum: 89e9a9feba5fd8d61ad8fa1a079dea90
SHA256: c588073c2368bb09c0d946df0d846c39984c6ca20bf184ba723cb6df4d305c59
.
3244c
Depends: courier-base (= 2.0.2-4), debconf, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libgcc-s1 (>= 3.0), libldap2 (>= 2.6.2), libstdc++6 (>= 4.1.1)
.
3239c
Version: 2.0.2-4
.
3232,3235c
Filename: pool/main/c/courier/courier-imap_6.0.1+2.0.2-4_ppc64el.deb
Size: 447516
MD5sum: 5c24f135ca6ed79f9fe4bd895b9a362a
SHA256: 42beeaaae2f2a04e5149376ff30dae616da9d95a2c28ca98ae0ed3678fa0b755
.
3221c
Depends: courier-base (= 2.0.2-4), debconf, default-mta | mail-transport-agent, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libstdc++6 (>= 14)
.
3214,3215c
Source: courier (2.0.2-4)
Version: 6.0.1+2.0.2-4
.
3208,3211c
Filename: pool/main/c/courier/courier-faxmail_2.0.2-4_ppc64el.deb
Size: 100552
MD5sum: 7439742b7f0ba3ea869957da249da0ba
SHA256: 80ecd4c97f843dd49b143d258bf173b7f2346026e2e25c625384bc44ba6bda7b
.
3198c
Depends: courier-mta (= 2.0.2-4), ghostscript, groff, mgetty-fax, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles
.
3194c
Version: 2.0.2-4
.
3187,3190c
Filename: pool/main/c/courier/courier-doc_2.0.2-4_all.deb
Size: 378280
MD5sum: 171bd118b02f6f30b1110b779150d428
SHA256: 2adeb68c141472bef3657f5f2f41e9a94758c6a30f9d27cd546bba5561154cb7
.
3175c
Version: 2.0.2-4
.
3168,3171c
Filename: pool/main/c/courier/courier-base_2.0.2-4_ppc64el.deb
Size: 360188
MD5sum: 915fbc19c3b65597f266bced3f1a499c
SHA256: 775433e982ea7b6492e33df7b9125fbeaacc9fd8ddbb9d48b6f84855ce5f9092
.
3155c
Version: 2.0.2-4
.
3022,3025c
Filename: pool/main/c/coqprime/libcoq-coqprime_8.20.1-4_ppc64el.deb
Size: 1770236
MD5sum: 7e2121f5c0792c8223e8c29c2bcecd10
SHA256: 742b6d2fc188cccbf63be4d2bf7b03b74749d48e7c7b966db78ad991c93abe28
.
3015,3016c
Provides: libcoq-coqprime-r7sj1
Depends: libcoq-bignums-837p5, libcoq-stdlib-00o88
.
3011,3012c
Version: 8.20.1-4
Installed-Size: 5606
.
3004,3007c
Filename: pool/main/c/coqprime/coqprime-tools_8.20.1-4_ppc64el.deb
Size: 145828
MD5sum: e0a61a8901867c1c9bd3d9ac4a1a5aaf
SHA256: 49c330b80e6c56cfdf50b05c4625a0aa80691d66ac3c9ae2bddff82c9d2e0136
.
2998c
Depends: libcoq-coqprime (= 8.20.1-4), ocaml-base-nox | ocaml-base, libc6 (>= 2.38), libecm1 (>= 7.0.6+ds), libgmp10 (>= 2:6.3.0+dfsg)
.
2994c
Version: 8.20.1-4
.
2969,2972c
Filename: pool/main/c/coq-unimath/libcoq-unimath_20260603-1_ppc64el.deb
Size: 58602272
MD5sum: 177b5246e1a4a0b4715261b9611241f2
SHA256: 7f44812575a12dad3a6341e177115d0096df19ae6fd7a7974b958f28b5a5ee89
.
2962,2963c
Provides: libcoq-unimath-lwxn2
Depends: libcoq-stdlib-64729
.
2958,2959c
Version: 20260603-1
Installed-Size: 253164
.
2951,2954c
Filename: pool/main/c/coq-unicoq/libcoq-unicoq_1.6-9.1-1_ppc64el.deb
Size: 88340
MD5sum: a28035f3a0ae1fe8d99154ac382acf2e
SHA256: 83fd2b5430f23ab9e9521593e98f515999bb37936f9fc7a519bbdbabec3efa8e
.
2944,2945c
Provides: libcoq-unicoq-mo7o2
Depends: libcoq-stdlib-64729
.
2940c
Version: 1.6-9.1-1
.
2933,2936c
Filename: pool/main/c/coq-stdpp/libcoq-stdpp_1.13.0-1_ppc64el.deb
Size: 5282680
MD5sum: 9b532ea4bfd6b2b90e3f3979182226ef
SHA256: 36db810caa797b8de82bb8bdee6497d1d2cd22ddffb9a387e331c02ee05964e6
.
2926,2927c
Provides: libcoq-stdpp-9ebj9
Depends: libcoq-stdlib-00o88
.
2921,2923c
Source: coq-stdpp
Version: 1.13.0-1
Installed-Size: 16768
.
2915,2918c
Filename: pool/main/c/coq-simple-io/libcoq-simple-io_1.11.0-4_ppc64el.deb
Size: 227600
MD5sum: bed46316aa6b7037daeadb96092fd374
SHA256: bd88911186482ce69b7d131da30281a5648ca14fe612c0c63819753a9344adf2
.
2908,2909c
Provides: libcoq-simple-io-vq332
Depends: libcoq-ext-lib-rsnf0, libcoq-stdlib-00o88
.
2904,2905c
Version: 1.11.0-4
Installed-Size: 1298
.
2861,2864c
Filename: pool/main/c/coq-reduction-effects/libcoq-reduction-effects_0.1.6-3_ppc64el.deb
Size: 16032
MD5sum: ac369b9425713492c66e235e698379f5
SHA256: 9f97c710f075205a79eb402b03eff4e07b1529ae146d3d0cb2f90929f987a019
.
2854,2855c
Provides: libcoq-reduction-effects-udt46
Depends: libcoq-stdlib-64729
.
2850c
Version: 0.1.6-3
.
2843,2846c
Filename: pool/main/c/coq-record-update/libcoq-record-update_0.3.7-1_ppc64el.deb
Size: 19152
MD5sum: cb56d8cebee6dbfcb4196f85d864d996
SHA256: 8ec4e416822a5e2d9d02554c61a24c305a10f45353c00e3079eeb60733ecfbb6
.
2836,2837c
Provides: libcoq-record-update-ptdn1
Depends: libcoq-stdlib-00o88
.
2832,2833c
Version: 0.3.7-1
Installed-Size: 69
.
2772,2775c
Filename: pool/main/c/coq-menhirlib/libcoq-menhirlib_20260209+ds-1_ppc64el.deb
Size: 915620
MD5sum: 0e42b3b99f9dccf43ed206e98fea36ae
SHA256: 1723ef665c8fb92d5bf8e7418ce9c2a7667e75c7c6406d7439b77d40756ec992
.
2765,2766c
Provides: libcoq-menhirlib-nppi9
Depends: libcoq-stdlib-00o88
.
2761,2762c
Version: 20260209+ds-1
Installed-Size: 2700
.
2754,2757c
Filename: pool/main/c/coq-math-classes/libcoq-math-classes_9.0.0-3_ppc64el.deb
Size: 2873352
MD5sum: 600ba55c36afb3413a336bddcfe5496b
SHA256: f6bbeb3f5079aaa1ed156dc7cc112ccfa9ca06313dc2302cdecf2ba47db551ee
.
2747,2748c
Provides: libcoq-math-classes-3yzg4
Depends: libcoq-bignums-837p5, libcoq-stdlib-00o88
.
2743,2744c
Version: 9.0.0-3
Installed-Size: 9797
.
2736,2739c
Filename: pool/main/c/coq-libhyps/libcoq-libhyps_5.0.0-1_ppc64el.deb
Size: 79252
MD5sum: 68f7c07e0cee1c5e946bbb0fe0aabf38
SHA256: 377af2c69c6a08ed1c234c0f906683791ede1454d2c9f852947a658e975973a6
.
2729,2730c
Provides: libcoq-libhyps-tq1b8
Depends: libcoq-stdlib-00o88
.
2725,2726c
Version: 5.0.0-1
Installed-Size: 377
.
2718,2721c
Filename: pool/main/c/coq-iris/libcoq-iris_4.5.0-1_ppc64el.deb
Size: 13239048
MD5sum: d9d7b82ff9b53d88b53b607322c2f380
SHA256: d8f3ecc10f20b8675d8274974d8b41bed7645bf5a6abed01cdea3d9e619976e9
.
2711,2712c
Provides: libcoq-iris-ko1e2
Depends: libcoq-stdpp-9ebj9
.
2707,2708c
Version: 4.5.0-1
Installed-Size: 38873
.
2682,2685c
Filename: pool/main/c/coq-hott/libcoq-hott_9.1-1_ppc64el.deb
Size: 15128500
MD5sum: f7d9e1979a186d160870df0611d1f8e1
SHA256: c429273c8fcf97f8db459115f644d00d08b0e3e4af7037d463a66de12bc5ca5a
.
2675,2676c
Provides: libcoq-hott-ywb95
Depends: libcoq-stdlib-64729
.
2671,2672c
Version: 9.1-1
Installed-Size: 60225
.
2664,2667c
Filename: pool/main/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.10.3-1_ppc64el.deb
Size: 802532
MD5sum: 7501e4646bb813fdfd606a722aed5d1a
SHA256: e1c7c3f2d460a2fe51053cc5c2352650de01ada29bd279cd7d42c1799ec97ed0
.
2656,2657c
Provides: libcoq-hierarchy-builder-7lyo1
Depends: libcoq-elpi-7vij5
.
2652,2653c
Version: 1.10.3-1
Installed-Size: 2321
.
2645,2648c
Filename: pool/main/c/coq-hammer/libcoq-hammer_1.3.3+9.2-1_ppc64el.deb
Size: 526716
MD5sum: c587aac0cd1852aa24c854c35f2b933a
SHA256: 1b2c8866555df46c69d5b35d97b9682c4a737709c13123fabe53d0b7208dcff0
.
2638,2639c
Provides: libcoq-hammer-uojj6
Depends: libcoq-stdlib-00o88, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
.
2634,2635c
Version: 1.3.3+9.2-1
Installed-Size: 2688
.
2627,2630c
Filename: pool/main/c/coq-gappa/libcoq-gappa_1.10.0-1_ppc64el.deb
Size: 606924
MD5sum: d2516672fbcdbddeb8e6b0400937da1c
SHA256: 958e2fd4a30071b3ea7ba5a825ed78d9f1e57dca0a46f4f8dbf1fff9d3dd1347
.
2620,2621c
Provides: libcoq-gappa-afq96
Depends: gappa, libcoq-flocq-0zu59, libcoq-stdlib-00o88
.
2616,2617c
Version: 1.10.0-1
Installed-Size: 1530
.
2591,2594c
Filename: pool/main/c/coq-ext-lib/libcoq-ext-lib_0.13.1-1_ppc64el.deb
Size: 772184
MD5sum: a6e53646df81373cc73032048e4b6fa9
SHA256: 084da55c13476354d60c1d2e7500d6dc86f01bf86ac1b5d080d7d02739a743de
.
2584,2585c
Provides: libcoq-ext-lib-rsnf0
Depends: libcoq-stdlib-00o88
.
2580,2581c
Version: 0.13.1-1
Installed-Size: 2793
.
2573,2576c
Filename: pool/main/c/coq-elpi/libcoq-elpi_3.4.0-1_ppc64el.deb
Size: 13045308
MD5sum: 88b5dd1d3d5791cfb8305f695b4adb2e
SHA256: c95d9859b2a93b9eb0187629d95128ff2307e0cd2e8422cf664a98c2485def55
.
2566,2567c
Provides: libcoq-elpi-7vij5
Depends: libelpi-ocaml-dev, libcoq-stdlib-00o88, libcoq-core-ocaml-tixo6, libelpi-ocaml-apmi5, libppx-deriving-ocaml-wjuv3, libstdlib-ocaml-1ltp0, libzarith-ocaml-igxp5, libc6 (>= 2.42)
.
2562,2563c
Version: 3.4.0-1
Installed-Size: 79447
.
2559a
Package: coq-dpdgraph-tools
Source: coq-dpdgraph
Version: 1.0+9.1-1
Installed-Size: 4416
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: ppc64el
Depends: libc6 (>= 2.38)
Suggests: graphviz
Description: Coq plugin to extract dependencies between Coq objects (tools)
Homepage: https://github.com/coq-community/coq-dpdgraph
Description-md5: a4c4863a12a026bf8f65552276ec79d6
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-dpdgraph/coq-dpdgraph-tools_1.0+9.1-1_ppc64el.deb
Size: 666740
MD5sum: 8f8ccf46b1da6a3c0a011831d345c89d
SHA256: 42903f75844be9ef7efca8cbd9b4610d7061aeb8a22a3e0ff4c7f1e30ad2e396

Package: libcoq-dpdgraph
Source: coq-dpdgraph
Version: 1.0+9.1-1
Installed-Size: 194
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: ppc64el
Provides: libcoq-dpdgraph-czeq0
Depends: libcoq-stdlib-00o88
Description: Coq plugin to extract dependencies between Coq objects
Homepage: https://github.com/coq-community/coq-dpdgraph
Description-md5: 273eb3484d0176915de67cd31b22aa16
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-dpdgraph/libcoq-dpdgraph_1.0+9.1-1_ppc64el.deb
Size: 35896
MD5sum: 2f8877515df6ec2151e491b9fd958915
SHA256: f41bd2bb3bffe3ef04fa05bb1d5b16de7bd86e7f4a95f7c59eaa5f00007aa095

.
2519,2522c
Filename: pool/main/c/coq-bignums/libcoq-bignums_9.0.0+rocq9.2-1_ppc64el.deb
Size: 1899452
MD5sum: e4f55fb97f4bc7158e947affa74b553d
SHA256: 407d52dbcf5b4796eb88220ffec58170e43787857edcbd7eb11a86fcdde2e19d
.
2512,2513c
Provides: libcoq-bignums-837p5
Depends: libcoq-stdlib-00o88
.
2508,2509c
Version: 9.0.0+rocq9.2-1
Installed-Size: 6622
.
2501,2504c
Filename: pool/main/c/coq/rocqide_9.2.0+dfsg-1_ppc64el.deb
Size: 1993332
MD5sum: 2269e69bd85b7742d41d1fb263d3c4fb
SHA256: a62dfe7f001c71c1a1477299cea86e976597bbb09652bffb99e751b881eec5b8
.
2494c
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)
.
2488,2490c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 9787
.
2482,2485c
Filename: pool/main/c/coq/libcoq-core-ocaml-dev_9.2.0+dfsg-1_ppc64el.deb
Size: 56149820
MD5sum: 7caef5bb80ce15fe212596fd61a9d041
SHA256: 18985b90b109f51165622edfddc3f847f33960f2bef9014ce2bf824a882eb2d9
.
2475,2476c
Provides: libcoq-core-ocaml-dev-tixo6
Depends: libcompiler-libs-ocaml-dev-wmsm4, libcoq-core-ocaml-tixo6, libfindlib-ocaml-dev-gyqr6, libstdlib-ocaml-dev-1ltp0, libzarith-ocaml-dev-igxp5, ocaml-5.4.1
.
2470,2472c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 251219
.
2464,2467c
Filename: pool/main/c/coq/libcoq-core-ocaml_9.2.0+dfsg-1_ppc64el.deb
Size: 25773128
MD5sum: d3101c0efacdec696c462548a09b6168
SHA256: d2984b6d0b4cf8dd90e9385eb0bb885874c6dcce64ca2d1ce158cda4cdc3b8c6
.
2456c
Provides: libcoq-core-ocaml-tixo6
.
2451,2453c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 98886
.
2445,2448c
Filename: pool/main/c/coq/libcoq-core_9.2.0+dfsg-1_ppc64el.deb
Size: 1154788
MD5sum: 189ef3945b3dd9cb2d3c83b835907f08
SHA256: 46cbaac7e0cb760a1a069730b97a458b9193d63f84a59fddce924dadb03e9b9c
.
2437c
Provides: libcoq-core-zjqq4
.
2431,2433c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 5685
.
2425,2428c
Filename: pool/main/c/coq/coq_9.2.0+dfsg-1_ppc64el.deb
Size: 41914988
MD5sum: 313eed82e3f66d77ff62fc5df73a8f34
SHA256: 5dacd1fd28d80d4431f512e03d34c99e1fa6c125b5bafc4418b4c1c2f3a16387
.
2414,2415c
Provides: coq-9.2+5.4.1
Depends: libcoq-core (= 9.2.0+dfsg-1), libcoq-core-ocaml-tixo6, libfindlib-ocaml-gyqr6, libstdlib-ocaml-1ltp0, libzarith-ocaml-igxp5, ocaml-base-5.4.1, libc6 (>= 2.42), libgmp10 (>= 2:6.3.0+dfsg), ocaml, ocaml-findlib, python3
.
2409,2411c
Version: 9.2.0+dfsg-1
Installed-Size: 175943
.
2227a
Package: cmake
Version: 4.4.0-1
Installed-Size: 63769
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: ppc64el
Replaces: cmake-data (<< 4.3)
Provides: cmake-data (= 4.4.0-1)
Depends: procps, libarchive13t64 (>= 3.8.2), libc6 (>= 2.38), libcurl4t64 (>= 7.16.2), libexpat1 (>= 2.0.1), libgcc-s1 (>= 3.0), libjsoncpp26 (>= 1.9.6), librhash1 (>= 1.4.5), libstdc++6 (>= 14), libuv1t64 (>= 1.38.0), zlib1g (>= 1:1.1.4)
Recommends: gcc, make
Suggests: cmake-doc, cmake-format, elpa-cmake-mode, ninja-build
Breaks: cmake-data (<< 4.3)
Description: cross-platform, open-source make system
Multi-Arch: foreign
Homepage: https://cmake.org/
Description-md5: b60d0479b91d22665e465b5cec287c83
Tag: devel::buildtools, implemented-in::c++, interface::commandline,
 interface::text-mode, role::program, scope::utility,
 uitoolkit::ncurses, works-with::software:source
Section: devel
Priority: optional
Filename: pool/main/c/cmake/cmake_4.4.0-1_ppc64el.deb
Size: 15837668
MD5sum: 5910002526782ce643b3f7b4fb635aa3
SHA256: c1444055a48518c3d9d65c12b6fe39cbf548ac0fc6a884739e8f8d97f507de85

Package: cmake-curses-gui
Source: cmake
Version: 4.4.0-1
Installed-Size: 15476
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: ppc64el
Depends: cmake (= 4.4.0-1), libarchive13t64 (>= 3.8.2), libc6 (>= 2.38), libcurl4t64 (>= 7.16.2), libexpat1 (>= 2.0.1), libgcc-s1 (>= 3.0), libjsoncpp26 (>= 1.9.6), libncurses6 (>= 6), librhash1 (>= 1.4.5), libstdc++6 (>= 14), libtinfo6 (>= 6), libuv1t64 (>= 1.38.0), zlib1g (>= 1:1.1.4)
Description: curses based user interface for CMake (ccmake)
Homepage: https://cmake.org/
Description-md5: ad28c67dee764cb32d73040783a280db
Tag: devel::buildtools, implemented-in::c++, interface::commandline,
 interface::text-mode, role::program, scope::utility, uitoolkit::ncurses
Section: devel
Priority: optional
Filename: pool/main/c/cmake/cmake-curses-gui_4.4.0-1_ppc64el.deb
Size: 4068432
MD5sum: 7d2992d6ff8e58399f0314609fc860ae
SHA256: 0010ba88f1d8d48b7e4a6ceea295b0545f94a7cc205c6e3ca1f4a2d6e1b6bf44

Package: cmake-data
Source: cmake
Version: 4.4.0-1
Installed-Size: 39
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: all
Description: CMake data files (transitional dummy package)
Multi-Arch: foreign
Homepage: https://cmake.org/
Description-md5: 53fb996c076f33427135517db5bb02af
Tag: devel::buildtools, made-of::html, made-of::man, role::app-data,
 role::documentation, role::program
Section: devel
Priority: optional
Filename: pool/main/c/cmake/cmake-data_4.4.0-1_all.deb
Size: 13352
MD5sum: 0082fc9b5f2d3966c869286ef0b0f978
SHA256: 7df3e007aa1a75d4f4e82456815abeef3e1afc03cc66781d07cf5c3ea3f54202

Package: cmake-doc
Source: cmake
Version: 4.4.0-1
Installed-Size: 40358
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: all
Depends: libjs-sphinxdoc (>= 9.0)
Recommends: doc-base
Suggests: cmake
Description: extended documentation in various formats for CMake
Multi-Arch: foreign
Homepage: https://cmake.org/
Description-md5: fcefa4d7014fa7859c301236f87695fe
Tag: devel::doc, made-of::html, role::documentation
Section: doc
Priority: optional
Filename: pool/main/c/cmake/cmake-doc_4.4.0-1_all.deb
Size: 2934576
MD5sum: dfb87814038974608069f63fefcc04f0
SHA256: 5bd9db9f4076216cfdb7d0b26f376ba0b78ea2316df2c95d29dbf231ee9476cd

Package: cmake-qt-gui
Source: cmake
Version: 4.4.0-1
Installed-Size: 16078
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: ppc64el
Provides: cmake-gui
Depends: cmake (= 4.4.0-1), libarchive13t64 (>= 3.8.2), libc6 (>= 2.38), libcurl4t64 (>= 7.16.2), libexpat1 (>= 2.0.1), libgcc-s1 (>= 3.0), libjsoncpp26 (>= 1.9.6), libqt6core6t64 (>= 6.10.2), libqt6gui6 (>= 6.1.2), libqt6widgets6 (>= 6.3.0), librhash1 (>= 1.4.5), libstdc++6 (>= 14), libuv1t64 (>= 1.38.0), zlib1g (>= 1:1.1.4)
Description: Qt based user interface for CMake (cmake-gui)
Homepage: https://cmake.org/
Description-md5: 1385c1223e89dd992bad5dcde2206383
Tag: devel::buildtools, implemented-in::c++, interface::commandline,
 interface::graphical, interface::x11, role::program, scope::utility,
 uitoolkit::qt, works-with::software:source, x11::application
Section: devel
Priority: optional
Filename: pool/main/c/cmake/cmake-qt-gui_4.4.0-1_ppc64el.deb
Size: 4206280
MD5sum: 07dcf83e9651da4ea86dc40838e19f86
SHA256: 2e231420bb0ebdb97e3f497142ea508bbe9847b4e099f295c70e73519c5b8175

.
