44875,44890d
37515,37534d
37381,37399d
35146a
Package: python3-cappa
Source: python-cappa
Version: 0.32.1-2
Installed-Size: 408
Maintainer: Debian Python Team <team+python@tracker.debian.org>
Architecture: all
Depends: python3-rich, python3-type-lens, python3-typing-extensions (>= 4.8.0~), python3:any
Description: Declarative CLI argument parser
Homepage: https://github.com/dancardin/cappa
Description-md5: 948766d9db202b89b54ed916fcba9dd6
Section: python
Priority: optional
Filename: pool/main/p/python-cappa/python3-cappa_0.32.1-2_all.deb
Size: 89524
MD5sum: a776ea9f4809e5970a6d47fbbd57e8fc
SHA256: dd6f4aa099479d9425fbdf90f1b8d70705875b9d4c29ead378f1579e0e1108cd

.
34807,34810c
Filename: pool/main/p/protobuf/ruby-google-protobuf_36.0~rc1-1_s390x.deb
Size: 181400
MD5sum: 2a4993206efc381705fe14b9647b7973
SHA256: 0ce77ebb4a6b7338f54eaf86146f8df99b96bb80f656547b6339050c7863e955
.
34794,34795c
Version: 36.0~rc1-1
Installed-Size: 652
.
34787,34790c
Filename: pool/main/p/protobuf/python3-protobuf_36.0~rc1-1_s390x.deb
Size: 119816
MD5sum: 760ebdc88a1404275c6488bd9240714e
SHA256: 78c3f63c28298f01b652732ddeb4f164c7d9ef5d6bec881a0b1b8fadf63d279b
.
34777,34778c
Version: 36.0~rc1-1
Installed-Size: 993
.
34770,34773c
Filename: pool/main/p/protobuf/protobuf-compiler_36.0~rc1-1_s390x.deb
Size: 285944
MD5sum: 1ef97672d042acbd9d188e39d5d7cfdf
SHA256: de029335ae3e7c0cc543e2fb90101034b03cf37caa7a3d338b6a23a1a5af01f2
.
34760c
Depends: libabsl20260107 (>= 20260107.0-0~), libc6 (>= 2.38), libgcc-s1 (>= 4.2), libprotobuf36 (>= 36.0~rc1), libprotoc36 (= 36.0~rc1-1), libstdc++6 (>= 13.1), libutf8-range0 (>= 0.0.0~git260619)
.
34756,34757c
Version: 36.0~rc1-1
Installed-Size: 1531
.
34753a
Package: php-google-protobuf
Source: protobuf
Version: 36.0~rc1-1
Installed-Size: 855
Maintainer: Laszlo Boszormenyi (GCS) <gcs@debian.org>
Architecture: all
Description: PHP bindings for protocol buffers
Multi-Arch: foreign
Homepage: https://github.com/protocolbuffers/protobuf
Description-md5: 661707b1fcfb4cb6e4edda3de9cfd5a1
Section: php
Priority: optional
Filename: pool/main/p/protobuf/php-google-protobuf_36.0~rc1-1_all.deb
Size: 81000
MD5sum: 862b29fd69fca5de432abce721a6fbb1
SHA256: 479fe6dcb52c67129adc6bbf9296bf77eb87b3e29688ec0e1dc9bf79162fcbe4

.
34719a
Package: libprotoc36
Source: protobuf
Version: 36.0~rc1-1
Installed-Size: 5546
Maintainer: Laszlo Boszormenyi (GCS) <gcs@debian.org>
Architecture: s390x
Depends: libabsl20260107 (>= 20260107.0-0~), libc6 (>= 2.38), libgcc-s1 (>= 4.2), libprotobuf36 (>= 36.0~rc1), libstdc++6 (>= 14), libutf8-validity0 (>= 0.0.0~git240418)
Description: protocol buffers compiler library
Multi-Arch: same
Homepage: https://github.com/protocolbuffers/protobuf
Description-md5: c53c70dca7ff74e285f88be70de72a0f
Section: libs
Priority: optional
Filename: pool/main/p/protobuf/libprotoc36_36.0~rc1-1_s390x.deb
Size: 1436976
MD5sum: c7abc6ced046af539ef5df23111d4969
SHA256: 549ac430921d380794889f54f9280f17107a56ca13d1c7ee72ef9adf94b32ffd

.
34679,34682c
Filename: pool/main/p/protobuf/libprotoc-dev_36.0~rc1-1_s390x.deb
Size: 2155684
MD5sum: 66bb38458df1ba62309c2288404bc58a
SHA256: 3dbe47639fc002db2b9bc626569e85df5d5a7391d9f73805afdb6cb7c26088b8
.
34669c
Depends: libprotoc36 (= 36.0~rc1-1), libprotobuf-dev (= 36.0~rc1-1)
.
34664,34665c
Version: 36.0~rc1-1
Installed-Size: 21730
.
34661a
Package: libprotobuf36
Source: protobuf
Version: 36.0~rc1-1
Installed-Size: 4954
Maintainer: Laszlo Boszormenyi (GCS) <gcs@debian.org>
Architecture: s390x
Depends: libabsl20260107 (>= 20260107.0-0~), libc6 (>= 2.38), libgcc-s1 (>= 4.2), libstdc++6 (>= 13.1), libutf8-validity0 (>= 0.0.0~git240418), zlib1g (>= 1:1.1.4)
Breaks: cura-engine (<< 1:3.3.0-2.1+b1), libarcus3 (<< 3.3.0-2)
Description: protocol buffers C++ library
Multi-Arch: same
Homepage: https://github.com/protocolbuffers/protobuf
Description-md5: c69f5af146ab9bc64e44b912e5af457e
Section: libs
Priority: optional
Filename: pool/main/p/protobuf/libprotobuf36_36.0~rc1-1_s390x.deb
Size: 1237928
MD5sum: 42c069b8f3e8310a430318c7cd774e52
SHA256: 4d683702f046b98f139f489be6d86fd0c5e3a4a1101971f8f9e2103519a3ad6b

.
34623a
Package: libprotobuf-lite36
Source: protobuf
Version: 36.0~rc1-1
Installed-Size: 993
Maintainer: Laszlo Boszormenyi (GCS) <gcs@debian.org>
Architecture: s390x
Depends: libabsl20260107 (>= 20260107.0-0~), libc6 (>= 2.4), libgcc-s1 (>= 4.2), libstdc++6 (>= 13.1), libutf8-validity0 (>= 0.0.0~git240418)
Description: protocol buffers C++ library (lite version)
Multi-Arch: same
Homepage: https://github.com/protocolbuffers/protobuf
Description-md5: bef75569f3d092ed9b714a68e215c917
Section: libs
Priority: optional
Filename: pool/main/p/protobuf/libprotobuf-lite36_36.0~rc1-1_s390x.deb
Size: 265404
MD5sum: 7954505a20ab4990d0a38522d05ac954
SHA256: 531341986e61de3a2b2c5890fe7f06379644450001e817236620e5756b9c6b80

.
34587a
Package: libprotobuf-java
Source: protobuf
Version: 36.0~rc1-1
Installed-Size: 1328
Maintainer: Laszlo Boszormenyi (GCS) <gcs@debian.org>
Architecture: all
Description: Java bindings for protocol buffers
Multi-Arch: foreign
Homepage: https://github.com/protocolbuffers/protobuf
Description-md5: 2ac9477d01e9d2920f1793f9f58f3aa6
Tag: devel::lang:java, devel::library, implemented-in::java, role::devel-lib
Section: java
Priority: optional
Filename: pool/main/p/protobuf/libprotobuf-java_36.0~rc1-1_all.deb
Size: 1220628
MD5sum: edfbd1ce28279ef538d79ab185d995de
SHA256: 3b7f12311da552d10a075216107fdd914ed4d9ee453502659958bd31970f2dd8

.
34546,34549c
Filename: pool/main/p/protobuf/libprotobuf-dev_36.0~rc1-1_s390x.deb
Size: 2296008
MD5sum: fa3b8b35b64b25753cd6d887e2bd3fc4
SHA256: cf2687fadb50b7ffc6626dc1799346e48a67425f5373a78f6d9873e1a78f88ce
.
34536,34538c
Provides: protobuf-api-36-0
Depends: zlib1g-dev, libabsl-dev (>= 20230802.1), libprotobuf36 (= 36.0~rc1-1), libprotobuf-lite36 (= 36.0~rc1-1)
Breaks: protobuf-compiler (>> 36.0~rc1-1), protobuf-compiler (<< 36.0~rc1-1)
.
34532,34533c
Version: 36.0~rc1-1
Installed-Size: 19521
.
34529a
Package: elpa-protobuf-mode
Source: protobuf
Version: 36.0~rc1-1
Installed-Size: 39
Maintainer: Laszlo Boszormenyi (GCS) <gcs@debian.org>
Architecture: all
Depends: dh-elpa-helper, emacsen-common
Description: Emacs addon for editing protocol buffers
Homepage: https://github.com/protocolbuffers/protobuf
Description-md5: 5d24efe0475e2f840cf889eba9b49a37
Section: editors
Priority: optional
Filename: pool/main/p/protobuf/elpa-protobuf-mode_36.0~rc1-1_all.deb
Size: 8988
MD5sum: b206b6cf4decd2beeb375424f4d87ca4
SHA256: 81e160313d309688c85af4000124afb48e44a11e9613b91d228584db4e79b6da

.
33565,33568c
Filename: pool/main/p/plantuml/plantuml_1.2026.2+ds-3_all.deb
Size: 27568476
MD5sum: 88a2b97e17f002fed5ea8c8466b5c8e8
SHA256: 016ccbd0e81ae1c46cb2c18a4d893d8dcdfc46f8e76226b38cb4b816f39f89bd
.
33554c
Version: 1:1.2026.2+ds-3
.
33367,33497d
30453,30490c
Package: python-pandas-doc
Source: pandas
Version: 3.0.4+dfsg-1
Installed-Size: 225664
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: all
Depends: libjs-sphinxdoc (>= 9.0), libjs-mathjax
Suggests: python3-pandas
Description: data structures for "relational" or "labeled" data - documentation
Multi-Arch: foreign
Homepage: https://pandas.pydata.org/
Description-md5: 7a749591db25bd458e01e853e9fcd291
Section: doc
Priority: optional
Filename: pool/main/p/pandas/python-pandas-doc_3.0.4+dfsg-1_all.deb
Size: 12419852
MD5sum: 4040b3be95fc41382921e913d69b0e1c
SHA256: add3e5929ce92bf5c2bc6db3daffd063a1c046b950ca8931eb6a3e9a1ecc51f4

Package: python3-pandas
Source: pandas
Version: 3.0.4+dfsg-1
Installed-Size: 21922
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: all
Depends: python3-dateutil (>= 2.8.2~), python3-numpy (>= 1:2.3.3~) | python3-supported-max (<< 3.14), python3-supported-min (>= 3.14) | python3-numpy (>= 1:2.3.3~), python3:any, python3-numpy (>= 2.3.3~), python3-pandas-lib (>= 3.0.4+dfsg), tzdata
Recommends: python3-scipy, python3-matplotlib, python3-pytz, python3-bottleneck, python3-numexpr, python3-odf, python3-openpyxl, python3-bs4, python3-html5lib, python3-lxml, python3-tables, python3-jinja2
Suggests: python-pandas-doc, python3-statsmodels
Breaks: augur (<< 24.4.0-1~), cnvkit (<< 0.9.10~), python3-altair (<< 5.0.1~), python3-anndata (<= 0.8.0-4), python3-biom-format (<< 2.1.15.2-3~), python3-cfgrib (<= 0.9.9-1), python3-cooler (<< 0.9.3~), python3-dask (<< 2023.12.1~), python3-dials (<< 3.17.0~), python3-dyda (<= 1.41.1-1.1), python3-emperor (<< 1.0.3+ds-9~), python3-esda (<= 2.5.1-1), python3-feather-format (<< 0.3.1+dfsg1-8~), python3-hypothesis (<< 6.83.1~), python3-influxdb (<< 5.3.2-1~), python3-joypy (<= 0.2.2-2), python3-jsonpickle (<< 3.0.2+dfsg-1~), python3-mirtop (<< 0.4.25-5~), python3-nanoget (<< 1.19.3~), python3-pauvre (<< 0.2.3-3~), python3-pyani (<< 0.2.12-3~), python3-pymatgen (<< 2024.1.27~), python3-pyranges (<= 0.0.111+ds-6), python3-seaborn (<< 0.13.0~), python3-skbio (<< 0.5.9~), python3-sklearn-pandas (<= 2.2.0-1.1), python3-statsmodels (<< 0.14.2~), python3-sunpy (<< 5.1.0-1~), python3-ulmo (<= 0.8.8+dfsg1-2), python3-upsetplot (<< 0.8.0-3~), python3-xarray-sentinel (<< 0.9.5+ds-2~), q2-cutadapt (<< 2023.7.0-1~), q2-demux (<= 2023.9.1+dfsg-1), q2-quality-control (<= 2022.11.1-2), q2-taxa (<= 2023.9.0+dfsg-1), q2-types (<= 2023.9.0-1), q2templates (<= 2023.9.0+ds-1)
Description: data structures for "relational" or "labeled" data
Homepage: https://pandas.pydata.org/
Description-md5: cebad5283eae2d4545bd561b1c18aa4e
Tag: devel::lang:python, devel::library, field::mathematics,
 field::statistics, implemented-in::python, role::devel-lib
Section: python
Priority: optional
Filename: pool/main/p/pandas/python3-pandas_3.0.4+dfsg-1_all.deb
Size: 2991404
MD5sum: 51f782bff7f84cc9deed4253efc10ca2
SHA256: a97bfea24d86925b7d5c8a99fc673e19c3d2b8a16c4909683b404e33b2b5725d

Package: python3-pandas-lib
Source: pandas
Version: 3.0.4+dfsg-1
Installed-Size: 37002
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: s390x
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 11), python3 (<< 3.15), python3 (>= 3.13~), python3-numpy2-abi0 | python3-numpy-abi9, python3-numpy
Description: low-level implementations and bindings for pandas
Multi-Arch: same
Homepage: https://pandas.pydata.org/
Description-md5: b329f4ac7b25b8b49b6f051c081f5999
Section: python
Priority: optional
Filename: pool/main/p/pandas/python3-pandas-lib_3.0.4+dfsg-1_s390x.deb
Size: 6155492
MD5sum: dc2bd64153fe4484a6cebeab042ebc5c
SHA256: 82eeedaee042f9ed6d026873e686e2e802aadfd1dc5924bcf593131e0346488e

.
30413,30416c
Filename: pool/main/o/ott/ott-tools_0.34+ds-4_s390x.deb
Size: 1550260
MD5sum: c56e0f84f3770e5ff98bbe31ac1d3094
SHA256: 559432ad6c6260f041c8ba480a24370982d6798bc01abd744490059ba0021709
.
30403,30404c
Version: 0.34+ds-4
Installed-Size: 7144
.
30396,30399c
Filename: pool/main/o/ott/libcoq-ott_0.34+ds-4_s390x.deb
Size: 164116
MD5sum: 83713330085022e6a1e00fabc01b7fa0
SHA256: 832c5bde6ff0af5b16f3f1fa99136bfa7ec4254e410c95548e168f9e4c8f51d3
.
30389,30390c
Provides: libcoq-ott-arba3
Depends: libcoq-stdlib-4wu29
.
30385,30386c
Version: 0.34+ds-4
Installed-Size: 537
.
28950c

.
28762,28776d
28470,28656d
28163,28199d
27439a
Package: python-mpmath-doc
Source: mpmath
Version: 1.5.0~a0-1
Installed-Size: 5692
Maintainer: Debian Python Team <team+python@tracker.debian.org>
Architecture: all
Depends: libjs-mathjax, libjs-sphinxdoc (>= 9.0)
Recommends: python-sympy-doc, python3-doc
Suggests: python3-mpmath
Description: library for arbitrary-precision floating-point arithmetic - Documentation
Multi-Arch: foreign
Homepage: https://www.mpmath.org/
Description-md5: d338629e7c2421c1961c35170d8b2fb8
Tag: devel::doc, devel::examples, devel::lang:python, made-of::html,
 role::documentation
Section: doc
Priority: optional
Filename: pool/main/m/mpmath/python-mpmath-doc_1.5.0~a0-1_all.deb
Size: 2383428
MD5sum: e8a003b3232be360a2a713bcef52450f
SHA256: 45726be0c35262f1c876aedd919b807c1e2bc415029e96f716b2221528ee67a6

Package: python3-mpmath
Source: mpmath
Version: 1.5.0~a0-1
Installed-Size: 2117
Maintainer: Debian Python Team <team+python@tracker.debian.org>
Architecture: all
Depends: python3:any
Suggests: python-mpmath-doc, python3-gmpy2, python3-matplotlib
Description: library for arbitrary-precision floating-point arithmetic (Python3)
Homepage: https://www.mpmath.org/
Description-md5: 1fe0defc6bc8924e23914d13b987ed7a
Section: python
Priority: optional
Filename: pool/main/m/mpmath/python3-mpmath_1.5.0~a0-1_all.deb
Size: 450852
MD5sum: 175d1cf8a2c445d9da200eff5ad87dae
SHA256: 6a6c4fd70e096b79e21fb10033f1b4d288785880186c1c8b45d4565340c709fa

.
23103a
Package: libtorrent47
Source: libtorrent
Version: 0.16.17-1
Installed-Size: 1754
Maintainer: Jose Luis Rivas <ghostbar@debian.org>
Architecture: s390x
Depends: libc6 (>= 2.38), libcurl4t64 (>= 7.63.0), libgcc-s1 (>= 3.0), libssl3t64 (>= 3.0.0), libstdc++6 (>= 14), zlib1g (>= 1:1.1.4)
Description: C++ BitTorrent library by Rakshasa
Multi-Arch: same
Homepage: https://rtorrent.net/
Description-md5: f64558ce33a3049640e3f325f06f8671
Section: libs
Priority: optional
Filename: pool/main/libt/libtorrent/libtorrent47_0.16.17-1_s390x.deb
Size: 547872
MD5sum: d3ff9ebf22c816e5155abf1e38030821
SHA256: ecb9b19cbc487e4437190639c0ff2c1c62ee7d4efb667b79631d59608e829510

Package: libtorrent-rasterbar-dev
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 2239
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: s390x
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_s390x.deb
Size: 437500
MD5sum: d215d6192e970ceaa4a41cd02f84cd6d
SHA256: e73925f5bff5156a047706fc81e1662ca60be4ef24f4ee808d8c67e71faa280e

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: 9776
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: s390x
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_s390x.deb
Size: 2745144
MD5sum: 3e37c6f1e4a255edce0c20b84c777869
SHA256: 236f433381b2336503ecc614411e18541f1568fd71b346581a1aee48501d2759

Package: python3-libtorrent
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 4789
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: s390x
Depends: libboost-python1.90.0 (>= 1.90.0), libboost-python1.90.0-py314, libc6 (>= 2.38), libgcc-s1 (>= 4.2), 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_s390x.deb
Size: 644172
MD5sum: 0fb363501dfbd0c99a30c69353cc08c3
SHA256: a986efcd44d2d6e365d8c5af59b0aaadb5f4fa1587980d6cb8905a093ed04b35

.
23081,23084c
Filename: pool/main/libt/libtorrent/libtorrent-dev_0.16.17-1_s390x.deb
Size: 62332
MD5sum: c2295fa63f16230d0e1ba7d310bca6da
SHA256: f7e645cf0072664e77d5dc378f3619e80a265661279c508817599de8516bea85
.
23072c
Depends: libsigc++-2.0-dev, libtorrent47 (= 0.16.17-1)
.
23068,23069c
Version: 0.16.17-1
Installed-Size: 369
.
18256,18292d
16564,16567c
Filename: pool/main/k/kstars/kstars-data_3.8.3-2_all.deb
Size: 22397564
MD5sum: 32b0caa52d05f969b1cc6bbcaf240129
SHA256: cd60ece65960bb50b1b0cfd8638a819f0fca273f8e84507c39463e8d6a6c5cc7
.
16553,16555c
Version: 5:3.8.3-2
Installed-Size: 73323
Maintainer: Debian KDE Extras Team <pkg-kde-extras@alioth-lists.debian.net>
.
16546,16549c
Filename: pool/main/k/kstars/kstars_3.8.3-2_s390x.deb
Size: 9153508
MD5sum: 74fd592830e55d07eee3e08f55b315a4
SHA256: b925f5105443ec08ea045cfc8becea8e9b8c178f5cb1731bfa0b504af4292d9a
.
16535,16536c
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
.
16531,16533c
Version: 5:3.8.3-2
Installed-Size: 34229
Maintainer: Debian KDE Extras Team <pkg-kde-extras@alioth-lists.debian.net>
.
15444a
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

.
14039,14152d
10883a
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: 2393
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: s390x
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_s390x.deb
Size: 705556
MD5sum: 8764eb8a26d5b509ed241a395aa64d32
SHA256: 6efdc7172d2a6793e6f25d11c027d16c8b4ce6c059d998a38724fbb97b04df75

.
10651a
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: 57474
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: s390x
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_s390x.deb
Size: 14325396
MD5sum: f76e811605a98b3c4c1bc048a92d1276
SHA256: 664841d241069b433a465862e4e4aa61be0a4eb6ebe69d0babd91526681c644b

.
9978,10048d
9567,9925d
6196,6199c
Filename: pool/main/f/flocq/libcoq-flocq_4.2.2-1_s390x.deb
Size: 3465644
MD5sum: 8386aaddc230ba38e67e92ab52c0bec2
SHA256: 789b10c1f3208e86a7f9af261bd38e299e65698ee3c4d1d6f8fb6d84c4cf1203
.
6189,6190c
Provides: libcoq-flocq-rok77
Depends: libcoq-stdlib-4wu29
.
6185,6186c
Version: 4.2.2-1
Installed-Size: 9252
.
5125a
Package: eclib-tools
Source: eclib
Version: 20260707-1
Installed-Size: 37
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Architecture: s390x
Depends: libec16 (= 20260707-1), libc6 (>= 2.38), libgcc-s1 (>= 4.2), 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_s390x.deb
Size: 10452
MD5sum: dd609ab7968bc3d38fd301835421c6be
SHA256: 0a8273403c1ad875347b1e699cb40fc2637c0339b8e8d1a97d681bd1dc4ea505

Package: libec-dev
Source: eclib
Version: 20260707-1
Installed-Size: 552
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Architecture: s390x
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_s390x.deb
Size: 122220
MD5sum: 1f6dbfcc1c62a762250e56ceb715d79b
SHA256: 3fe9ec7806fa3ead92f312fa9d8830567c51988ef1a60f9530e09a9719703c20

Package: libec16
Source: eclib
Version: 20260707-1
Installed-Size: 4156
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Architecture: s390x
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_s390x.deb
Size: 1229564
MD5sum: f610a6e7bafc8ab567852c9945420b0e
SHA256: a9bcee8fb0c1c3005ed7f35b1746e0da39fc4009d5987c32c9219006dbdbf4ca

.
4734,5002d
4338,4341c
Filename: pool/main/d/dh-golang/dh-golang_1.66~exp2_all.deb
Size: 24360
MD5sum: 90b949f34b0895d7b6225c91674c61e7
SHA256: 384d0391b62e48047e124f6895712d19af1537ebe6f5da434cba3632d2d74d77
.
4327c
Version: 1.66~exp2
.
2872,2875c
Filename: pool/main/c/coqprime/libcoq-coqprime_8.20.1-4_s390x.deb
Size: 1770500
MD5sum: 13dc1c69f4e45d6ea762be2f469df820
SHA256: 044933e2ceacf4cd160afaf312c87dcb28d8f23f9de6a1ced6d028c8b5d55723
.
2865,2866c
Provides: libcoq-coqprime-mq1i8
Depends: libcoq-bignums-3df33, libcoq-stdlib-4wu29
.
2861,2862c
Version: 8.20.1-4
Installed-Size: 5606
.
2854,2857c
Filename: pool/main/c/coqprime/coqprime-tools_8.20.1-4_s390x.deb
Size: 143056
MD5sum: 2fe0763e81c6e0b97f0d7ee6e712639d
SHA256: 8613e053443af506d38a51c496b680f3fb2dc6a6dbb406d9570fb77becf833b9
.
2848c
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)
.
2844c
Version: 8.20.1-4
.
2801,2804c
Filename: pool/main/c/coq-unicoq/libcoq-unicoq_1.6-9.1-1+b1_s390x.deb
Size: 88444
MD5sum: e539b021763fab7219176a13505ed37d
SHA256: 710fbe91c986a81912c7479650027d921eb1e3ceb364a243c4f428747ddba296
.
2794,2795c
Provides: libcoq-unicoq-9zcm5
Depends: libcoq-stdlib-4wu29
.
2789,2791c
Source: coq-unicoq (1.6-9.1-1)
Version: 1.6-9.1-1+b1
Installed-Size: 383
.
2783,2786c
Filename: pool/main/c/coq-stdpp/libcoq-stdpp_1.13.0-1_s390x.deb
Size: 5281740
MD5sum: 049ab007aa299ace522baf8a0ff30a40
SHA256: b0855ce73dad020421e97a48e7334e31d252204c96bde2acd7f9cd513bc8c084
.
2776,2777c
Provides: libcoq-stdpp-oaf97
Depends: libcoq-stdlib-4wu29
.
2771,2773c
Source: coq-stdpp
Version: 1.13.0-1
Installed-Size: 16768
.
2765,2768c
Filename: pool/main/c/coq-simple-io/libcoq-simple-io_1.11.0-4_s390x.deb
Size: 226016
MD5sum: e1c0cdb3fcc31adb9cbc8ec615856a4d
SHA256: 53de01ee3162184ec642573079aed91013ed15e16b368f5038e13d3bc98bd909
.
2758,2759c
Provides: libcoq-simple-io-it0c4
Depends: libcoq-ext-lib-73629, libcoq-stdlib-4wu29
.
2754,2755c
Version: 1.11.0-4
Installed-Size: 1166
.
2693,2696c
Filename: pool/main/c/coq-record-update/libcoq-record-update_0.3.7-1_s390x.deb
Size: 19144
MD5sum: 7f2c5da0111e1531cba2f094a254b419
SHA256: c59c451adfa84afdd218879cd1d8c9107378f57b58d987078e3985bd50a617a2
.
2686,2687c
Provides: libcoq-record-update-fz740
Depends: libcoq-stdlib-4wu29
.
2682,2683c
Version: 0.3.7-1
Installed-Size: 69
.
2640,2643c
Filename: pool/main/c/coq-mtac2/libcoq-mtac2_1.4-rocq9.1-1_s390x.deb
Size: 797340
MD5sum: 26120f33877bb1ff6c56a63d516fa896
SHA256: d0f387c8f6461fdf26f91c33147b6b9c03e66279c35aec02a965f6363f6476cb
.
2633,2634c
Provides: libcoq-mtac2-9pur0
Depends: libcoq-stdlib-4wu29, libcoq-unicoq-9zcm5
.
2629,2630c
Version: 1.4-rocq9.1-1
Installed-Size: 3202
.
2622,2625c
Filename: pool/main/c/coq-menhirlib/libcoq-menhirlib_20260209+ds-1_s390x.deb
Size: 915588
MD5sum: 4a4e0304580c7611d37198a9a5849bbd
SHA256: 83759e5ec9482613cd33381344c456585ee926d94268b48e4671d174c0244d9b
.
2615,2616c
Provides: libcoq-menhirlib-36vw6
Depends: libcoq-stdlib-4wu29
.
2611,2612c
Version: 20260209+ds-1
Installed-Size: 2700
.
2604,2607c
Filename: pool/main/c/coq-math-classes/libcoq-math-classes_9.0.0-3_s390x.deb
Size: 2873016
MD5sum: 6fad2fc5abb15da523142ed4cdad02d0
SHA256: 52e7610af8518df2cc80ebc1bb4d38c445643670577f286b44406d5a5f9e2fb0
.
2597,2598c
Provides: libcoq-math-classes-3u8s0
Depends: libcoq-bignums-3df33, libcoq-stdlib-4wu29
.
2593,2594c
Version: 9.0.0-3
Installed-Size: 9797
.
2568,2571c
Filename: pool/main/c/coq-iris/libcoq-iris_4.5.0-1_s390x.deb
Size: 13237580
MD5sum: df23d2ac6f4ebc72107c5cd75ed615b3
SHA256: 6edcf8dce2af4fda5bcf7c61a58582f21d87f520f28075ce1263af9bd15dd740
.
2561,2562c
Provides: libcoq-iris-msxm0
Depends: libcoq-stdpp-oaf97
.
2557,2558c
Version: 4.5.0-1
Installed-Size: 38873
.
2532,2535c
Filename: pool/main/c/coq-hott/libcoq-hott_9.1-1+b1_s390x.deb
Size: 15127516
MD5sum: 431ce02901d99dbf7ba7a814e1a674d2
SHA256: 9c67a604581bf4d22bda3b1833e739f3bbcd7740a05db5228b1d0b8dde962470
.
2526c
Depends: libcoq-stdlib-4wu29
.
2520,2522c
Source: coq-hott (9.1-1)
Version: 9.1-1+b1
Installed-Size: 60226
.
2514,2517c
Filename: pool/main/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.10.3-1_s390x.deb
Size: 802352
MD5sum: b0268702641adb7791f925a359f7d0bf
SHA256: ac106d8526ff5328746ad5c2e1ce57e47194922bbb9c771e947c4c116b229630
.
2506,2507c
Provides: libcoq-hierarchy-builder-wmtx3
Depends: libcoq-elpi-c6819
.
2502,2503c
Version: 1.10.3-1
Installed-Size: 2321
.
2495,2498c
Filename: pool/main/c/coq-hammer/libcoq-hammer_1.3.3+9.2-1_s390x.deb
Size: 523640
MD5sum: 669f07e7c93fcabda9f9d529d663e8e9
SHA256: c717bf37a1ec67c60d5e443452b6fab0803eecd6d4cb84478e93127bf77e38c8
.
2488,2489c
Provides: libcoq-hammer-et3w6
Depends: libcoq-stdlib-4wu29, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
.
2484,2485c
Version: 1.3.3+9.2-1
Installed-Size: 2608
.
2477,2480c
Filename: pool/main/c/coq-gappa/libcoq-gappa_1.10.0-1_s390x.deb
Size: 608424
MD5sum: 2377f6a27717e2acaeb5e11bb805250a
SHA256: 496725e022013c206aea9dd0fc1b6e6bfa85b5cdc6eba4a80a1c5d1225123c89
.
2470,2471c
Provides: libcoq-gappa-6lv69
Depends: gappa, libcoq-flocq-rok77, libcoq-stdlib-4wu29
.
2466,2467c
Version: 1.10.0-1
Installed-Size: 1514
.
2441,2444c
Filename: pool/main/c/coq-ext-lib/libcoq-ext-lib_0.13.1-1_s390x.deb
Size: 772224
MD5sum: 345762d2b73e4297261232d59cb18f32
SHA256: 94519d72ed6726677ecb94bdd66a53fb4a305a6859e6389607d597ca9b7e4540
.
2434,2435c
Provides: libcoq-ext-lib-73629
Depends: libcoq-stdlib-4wu29
.
2430,2431c
Version: 0.13.1-1
Installed-Size: 2793
.
2423,2426c
Filename: pool/main/c/coq-elpi/libcoq-elpi_3.4.0-1+b1_s390x.deb
Size: 13000624
MD5sum: a00ed69a0119f9370e806c4518837f7c
SHA256: aeddf2186165077df3b99295b848ef8cb37be805f220372ceef863e1ae873349

Package: libcoq-equations
Source: coq-equations
Version: 1.3.2-9.2-1
Installed-Size: 37155
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: s390x
Provides: libcoq-equations-nhf22
Depends: libcoq-hott-2o4n5, libcoq-stdlib-4wu29
Description: Coq library to work with functions defined by equations
Homepage: https://github.com/mattam82/Coq-Equations
Description-md5: 33a517ad7548092fab1b723f4ca09c95
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-equations/libcoq-equations_1.3.2-9.2-1_s390x.deb
Size: 9407456
MD5sum: 60675b491816dff7bfede3509680aa6a
SHA256: 225c94deeb4b48ec8c1bf9140bea116dfeedca126224d26a0b8596ef303c4e6d
.
2416,2417c
Provides: libcoq-elpi-c6819
Depends: libelpi-ocaml-dev, libcoq-stdlib-4wu29, libcoq-core-ocaml-qy7r2, libelpi-ocaml-1sfn9, libppx-deriving-ocaml-e19m1, libstdlib-ocaml-oolq5, libzarith-ocaml-emf52, libc6 (>= 2.42)
.
2411,2413c
Source: coq-elpi (3.4.0-1)
Version: 3.4.0-1+b1
Installed-Size: 79193
.
2409a
Package: coq-dpdgraph-tools
Source: coq-dpdgraph
Version: 1.0+9.1-1
Installed-Size: 4536
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: s390x
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_s390x.deb
Size: 658188
MD5sum: 75f7dacd3bfb1f4e481bde9d9ea3baae
SHA256: 6443be009e88e7caabc559eb3a54a1ae4a1c714c53e423e9b689e31e00ccf345

Package: libcoq-dpdgraph
Source: coq-dpdgraph
Version: 1.0+9.1-1
Installed-Size: 186
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: s390x
Provides: libcoq-dpdgraph-17cu6
Depends: libcoq-stdlib-4wu29
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_s390x.deb
Size: 36320
MD5sum: 47eb7cbbf1e1f0cacd739066a16a39ed
SHA256: 8e13485c665226d32f7b8ca12f63b3bfbbcb31ef0690899b7e360c05a46c2f54

.
2369,2372c
Filename: pool/main/c/coq-bignums/libcoq-bignums_9.0.0+rocq9.2-1_s390x.deb
Size: 1899748
MD5sum: 7a2915767047ac7a461c606b9f621d44
SHA256: ea891f943d8c7cbfcebed0be0e957feb41e42a979591e71203bfd2af31f09d4c
.
2362,2363c
Provides: libcoq-bignums-3df33
Depends: libcoq-stdlib-4wu29
.
2358,2359c
Version: 9.0.0+rocq9.2-1
Installed-Size: 6602
.
740,776d
