45005,45008c
Filename: pool/main/w/weston/weston-doc_15.0.93-1_all.deb
Size: 3263104
MD5sum: 29db3178a121b18eb36fca0d659f9e7b
SHA256: 46ec6c88a34cb42c1585d2e4bbe734f3cc20e1e1d383dafe459b701c83a50d11
.
44995c
Version: 15.0.93-1
.
44988,44991c
Filename: pool/main/w/weston/weston-dev_15.0.93-1_s390x.deb
Size: 17980
MD5sum: abcb3aabd1a1eb993a47cc1d9ea93214
SHA256: 3bce1a77540d6aff7d640a5846c1691431feb6825237a752d1e131542081a3a2
.
44976c
Version: 15.0.93-1
.
44969,44972c
Filename: pool/main/w/weston/weston_15.0.93-1_s390x.deb
Size: 970284
MD5sum: 3251b91b778c12ecefae83af36bc1b68
SHA256: 67f5be77d2c6eed07c0705f235c7849fa01cb145ae62659f00f6eddfaa591a85
.
44956c
Version: 15.0.93-1
.
44950,44953c
Filename: pool/main/w/weston/libweston-16-dev_15.0.93-1_s390x.deb
Size: 52320
MD5sum: 60f960c07b375ad247cc65a4637b4a27
SHA256: f938ffcde06fa7f4cc60a31cd8e966c1af7d6bbd4037515d52c75817dd7ad175
.
44943c
Depends: libpixman-1-dev, libwayland-dev, libweston-16-0 (= 15.0.93-1), libxkbcommon-dev
.
44939c
Version: 15.0.93-1
.
44932,44935c
Filename: pool/main/w/weston/libweston-16-0_15.0.93-1_s390x.deb
Size: 461988
MD5sum: f5115cfda572d8d10354f142624a1664
SHA256: 5ec022a799542d8eb25e3d5f697e0dce5913c498e676a971e90d783ce5cafee0
.
44921c
Version: 15.0.93-1
.
44302,44318d
38789,38805d
36731,36746d
36408,36411c
Filename: pool/main/r/rocq-stdlib/libcoq-stdlib_9.1.0-1+b1_s390x.deb
Size: 20076904
MD5sum: f546aa26006f2494bed0bfc5cdfca696
SHA256: eb354cc1eb6c32d252cd4e7815137a899fbeed4b635d10e598092541bcc8c92f
.
36401c
Provides: libcoq-stdlib-4wu29
.
36396,36398c
Source: rocq-stdlib (9.1.0-1)
Version: 9.1.0-1+b1
Installed-Size: 70706
.
34785,34788c
Filename: pool/main/p/protobuf/ruby-google-protobuf_36.0~rc1-1_s390x.deb
Size: 181400
MD5sum: 2a4993206efc381705fe14b9647b7973
SHA256: 0ce77ebb4a6b7338f54eaf86146f8df99b96bb80f656547b6339050c7863e955
.
34772,34773c
Version: 36.0~rc1-1
Installed-Size: 652
.
34765,34768c
Filename: pool/main/p/protobuf/python3-protobuf_36.0~rc1-1_s390x.deb
Size: 119816
MD5sum: 760ebdc88a1404275c6488bd9240714e
SHA256: 78c3f63c28298f01b652732ddeb4f164c7d9ef5d6bec881a0b1b8fadf63d279b
.
34755,34756c
Version: 36.0~rc1-1
Installed-Size: 993
.
34748,34751c
Filename: pool/main/p/protobuf/protobuf-compiler_36.0~rc1-1_s390x.deb
Size: 285944
MD5sum: 1ef97672d042acbd9d188e39d5d7cfdf
SHA256: de029335ae3e7c0cc543e2fb90101034b03cf37caa7a3d338b6a23a1a5af01f2
.
34738c
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)
.
34734,34735c
Version: 36.0~rc1-1
Installed-Size: 1531
.
34731a
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

.
34697a
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

.
34657,34660c
Filename: pool/main/p/protobuf/libprotoc-dev_36.0~rc1-1_s390x.deb
Size: 2155684
MD5sum: 66bb38458df1ba62309c2288404bc58a
SHA256: 3dbe47639fc002db2b9bc626569e85df5d5a7391d9f73805afdb6cb7c26088b8
.
34647c
Depends: libprotoc36 (= 36.0~rc1-1), libprotobuf-dev (= 36.0~rc1-1)
.
34642,34643c
Version: 36.0~rc1-1
Installed-Size: 21730
.
34639a
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

.
34601a
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

.
34565a
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

.
34524,34527c
Filename: pool/main/p/protobuf/libprotobuf-dev_36.0~rc1-1_s390x.deb
Size: 2296008
MD5sum: fa3b8b35b64b25753cd6d887e2bd3fc4
SHA256: cf2687fadb50b7ffc6626dc1799346e48a67425f5373a78f6d9873e1a78f88ce
.
34514,34516c
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)
.
34510,34511c
Version: 36.0~rc1-1
Installed-Size: 19521
.
34507a
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

.
33547a
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

.
33362,33492d
30446,30449c
Filename: pool/main/o/ott/ott-tools_0.34+ds-4_s390x.deb
Size: 1550260
MD5sum: c56e0f84f3770e5ff98bbe31ac1d3094
SHA256: 559432ad6c6260f041c8ba480a24370982d6798bc01abd744490059ba0021709
.
30436,30437c
Version: 0.34+ds-4
Installed-Size: 7144
.
30429,30432c
Filename: pool/main/o/ott/libcoq-ott_0.34+ds-4_s390x.deb
Size: 164116
MD5sum: 83713330085022e6a1e00fabc01b7fa0
SHA256: 832c5bde6ff0af5b16f3f1fa99136bfa7ec4254e410c95548e168f9e4c8f51d3
.
30422,30423c
Provides: libcoq-ott-arba3
Depends: libcoq-stdlib-4wu29
.
30418,30419c
Version: 0.34+ds-4
Installed-Size: 537
.
29867,29870c
Filename: pool/main/o/opencolorio/python3-pyopencolorio_2.5.1+dfsg-3_s390x.deb
Size: 1563656
MD5sum: bf001ae8993b4aaa42a25e170de8f4de
SHA256: cb2acc0275bf6ed084efe133d16110d540e1893d0aef3c8622163bbddf7a4b9e
.
29862d
29860c
Depends: libopencolorio2.5 (= 2.5.1+dfsg-3), python3 (<< 3.15), python3 (>= 3.13~), python3:any, libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 14)
.
29855,29857c
Source: opencolorio
Version: 2.5.1+dfsg-3
Installed-Size: 10140
.
29849,29852c
Filename: pool/main/o/opencolorio/opencolorio-tools_2.5.1+dfsg-3_s390x.deb
Size: 164908
MD5sum: e1d2efbf6c2d33aa201168d5c98bd303
SHA256: 6a50cc73fc186bed3e4dceee450dc3f38e1f8cb136b0c546921c61308fa71aeb
.
29837,29839c
Source: opencolorio
Version: 2.5.1+dfsg-3
Installed-Size: 814
.
29831,29834c
Filename: pool/main/o/opencolorio/libopencolorio2.5_2.5.1+dfsg-3_s390x.deb
Size: 1587200
MD5sum: 105d7702bbf6e68ab90f300aee5197ee
SHA256: d356149b13854a4737262e262560732b548a6c6ba9c933f5e187cf0c9f2a5928
.
29819,29821c
Source: opencolorio
Version: 2.5.1+dfsg-3
Installed-Size: 6829
.
29813,29816c
Filename: pool/main/o/opencolorio/libopencolorio-dev_2.5.1+dfsg-3_s390x.deb
Size: 85032
MD5sum: 247a0c81ced9737bba6d5f05aacfb336
SHA256: 4c293555a2a8099ee362dede67a0f3904363547da00b7478fbc5ff3096a0c193
.
29805c
Depends: libopencolorio2.5 (= 2.5.1+dfsg-3)
.
29800,29801c
Source: opencolorio
Version: 2.5.1+dfsg-3
.
29015,29033d
28962a

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
.
28790c

.
28498,28684d
27467a
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

.
27249,27332d
26959,26962c
Filename: pool/main/m/mini-buildd/python3-mini-buildd_2.5.4_all.deb
Size: 203440
MD5sum: a0d67eae741c1918eecc477bd359a030
SHA256: 184547360ea37ebacd68349563f82b48a82311d8fb06ff7c32a9c9ef09c29dbc
.
26946,26947c
Version: 2.5.4
Installed-Size: 1056
.
26939,26942c
Filename: pool/main/m/mini-buildd/mini-buildd-utils_2.5.4_all.deb
Size: 59212
MD5sum: 8c4506de829d688d78913b8a0311e025
SHA256: 314160ee18dbd12c8f5a45cc376a8555f363612e7141c0b79c7e5e6f190f985c
.
26931c
Depends: python3:any (>= 3.11~), python3-mini-buildd (= 2.5.4), python3-apt
.
26926,26927c
Version: 2.5.4
Installed-Size: 110
.
26919,26922c
Filename: pool/main/m/mini-buildd/mini-buildd-doc_2.5.4_all.deb
Size: 341044
MD5sum: 9feeec4a5bd504624365768349fcdbf2
SHA256: 847f90552dd94c32e384f2be84be296892c2e41db9033e6ddf0d4c94696a0be8
.
26911c
Depends: libjs-sphinxdoc (>= 9.0)
.
26906,26907c
Version: 2.5.4
Installed-Size: 3707
.
26899,26902c
Filename: pool/main/m/mini-buildd/mini-buildd_2.5.4_all.deb
Size: 77916
MD5sum: edd6c71852aab6a23741344a861ffaca
SHA256: f6e4a12d720ae995f9242eedb1290dfbde1b1c761a240def76ccba7696bbf389
.
26889,26890c
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)
.
26884,26885c
Version: 2.5.4
Installed-Size: 246
.
23307a
Package: libyang-cpp-dev
Source: libyang-cpp
Version: 4+20260710-1
Installed-Size: 97
Maintainer: Daniel Baumann <daniel@debian.org>
Architecture: s390x
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_s390x.deb
Size: 17128
MD5sum: 9068e42169ed834d3be6da1f758714b0
SHA256: 38e952d21e9a1ee9949c034e870706ec9c49dd31ebc33975abce0f4d1bb290e7

Package: libyang-cpp10
Source: libyang-cpp
Version: 4+20260710-1
Installed-Size: 416
Maintainer: Daniel Baumann <daniel@debian.org>
Architecture: s390x
Depends: libc6 (>= 2.32), libgcc-s1 (>= 4.2), 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_s390x.deb
Size: 107844
MD5sum: 91365f2ae5401514ab971003a31e01b3
SHA256: 28a755f8d1e99b4d20d4dba13f6dac75bdfa60ee00ed2b1d52b8060bed99a5fc

.
22985,23100d
22967a
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

.
22945,22948c
Filename: pool/main/libt/libtorrent/libtorrent-dev_0.16.17-1_s390x.deb
Size: 62332
MD5sum: c2295fa63f16230d0e1ba7d310bca6da
SHA256: f7e645cf0072664e77d5dc378f3619e80a265661279c508817599de8516bea85
.
22936c
Depends: libsigc++-2.0-dev, libtorrent47 (= 0.16.17-1)
.
22932,22933c
Version: 0.16.17-1
Installed-Size: 369
.
18120,18156d
16428,16431c
Filename: pool/main/k/kstars/kstars-data_3.8.3-2_all.deb
Size: 22397564
MD5sum: 32b0caa52d05f969b1cc6bbcaf240129
SHA256: cd60ece65960bb50b1b0cfd8638a819f0fca273f8e84507c39463e8d6a6c5cc7
.
16417,16419c
Version: 5:3.8.3-2
Installed-Size: 73323
Maintainer: Debian KDE Extras Team <pkg-kde-extras@alioth-lists.debian.net>
.
16410,16413c
Filename: pool/main/k/kstars/kstars_3.8.3-2_s390x.deb
Size: 9153508
MD5sum: 74fd592830e55d07eee3e08f55b315a4
SHA256: b925f5105443ec08ea045cfc8becea8e9b8c178f5cb1731bfa0b504af4292d9a
.
16399,16400c
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
.
16395,16397c
Version: 5:3.8.3-2
Installed-Size: 34229
Maintainer: Debian KDE Extras Team <pkg-kde-extras@alioth-lists.debian.net>
.
15308a
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

.
10861a
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

.
10629a
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

.
9956,10026d
9545,9903d
8786,8886d
6073,6076c
Filename: pool/main/f/flocq/libcoq-flocq_4.2.2-1_s390x.deb
Size: 3465644
MD5sum: 8386aaddc230ba38e67e92ab52c0bec2
SHA256: 789b10c1f3208e86a7f9af261bd38e299e65698ee3c4d1d6f8fb6d84c4cf1203
.
6066,6067c
Provides: libcoq-flocq-rok77
Depends: libcoq-stdlib-4wu29
.
6062,6063c
Version: 4.2.2-1
Installed-Size: 9252
.
6004a
Package: findutils
Version: 4.11.0-1
Essential: yes
Installed-Size: 2396
Maintainer: Andreas Metzler <ametzler@debian.org>
Architecture: s390x
Pre-Depends: libc6 (>= 2.38), libselinux1 (>= 3.1~)
Breaks: binstats (<< 1.08-8.1), guilt (<< 0.36-0.2), libpython3.4-minimal (<< 3.4.4-2), libpython3.5-minimal (<< 3.5.1-3), lsat (<< 0.9.7.1-2.1), mc (<< 3:4.8.11-1), switchconf (<< 0.0.9-2.1)
Description: utilities for finding files--find, xargs
Multi-Arch: foreign
Homepage: https://savannah.gnu.org/projects/findutils/
Description-md5: ad1a783819241ffdf3ff5f37a676af59
Tag: implemented-in::c, interface::commandline, role::program,
 scope::utility, suite::gnu, use::searching, works-with::file
Section: utils
Priority: required
Filename: pool/main/f/findutils/findutils_4.11.0-1_s390x.deb
Size: 779956
MD5sum: 1375ab93446e6b82c56d6ad4ec9cea3d
SHA256: 2aecc386021d62d2f235b9f305f7d956776d4ac2577b29b42c11da82921447d6

Package: locate
Source: findutils
Version: 4.11.0-1
Installed-Size: 506
Maintainer: Andreas Metzler <ametzler@debian.org>
Architecture: s390x
Depends: findutils (>> 4.2.31-1), libc6 (>= 2.38)
Description: maintain and query an index of a directory tree
Multi-Arch: foreign
Homepage: https://savannah.gnu.org/projects/findutils/
Cnf-Ignore-Commands: locate
Description-md5: bff4cb1129be08196a6ed2311b3d1fbc
Tag: implemented-in::c, implemented-in::shell, interface::commandline,
 role::program, use::searching
Section: utils
Priority: optional
Filename: pool/main/f/findutils/locate_4.11.0-1_s390x.deb
Size: 319388
MD5sum: d729b00168e1cab4eea69c178b078909
SHA256: 5620eda3faed057117936c6ff04278221840ee69ff0a2b4f0c4d4710e6d55747

.
5315,5318c
Filename: pool/main/e/elpi/libelpi-ocaml-dev_3.7.2-1_s390x.deb
Size: 12276696
MD5sum: 126f0f0cbaa1e0bd75b5811a2754e14f
SHA256: d5447a77006477094ac4252697803b05f8f7c81cf77c7e0a6e2f25210ff36932
.
5307,5308c
Provides: libelpi-ocaml-dev-1sfn9
Depends: libcompiler-libs-ocaml-dev-bbft4, libelpi-ocaml-1sfn9, libmenhir-ocaml-dev-rnbk8, libocaml-compiler-libs-ocaml-dev-o8ai4, libppx-deriving-ocaml-dev-e19m1, libppxlib-ocaml-dev-zuic6, libre-ocaml-dev-xot96, libsexplib0-ocaml-dev-ge274, libstdlib-ocaml-dev-oolq5, ocaml-5.4.1, libc6 (>= 2.38)
.
5302,5304c
Source: elpi
Version: 3.7.2-1
Installed-Size: 61221
.
5296,5299c
Filename: pool/main/e/elpi/libelpi-ocaml_3.7.2-1_s390x.deb
Size: 3434232
MD5sum: fdbd1d3016a4ca5c17b5e79946d37536
SHA256: 01f07425174c657b441e18129788efb625d25773e3038124c903fe2451dd9142
.
5288,5289c
Provides: libelpi-ocaml-1sfn9
Depends: libppx-deriving-ocaml-e19m1, libsexplib0-ocaml-ge274, libstdlib-ocaml-oolq5, ocaml-base-5.4.1
.
5283,5285c
Source: elpi
Version: 3.7.2-1
Installed-Size: 14420
.
5277,5280c
Filename: pool/main/e/elpi/elpi_3.7.2-1_s390x.deb
Size: 1934536
MD5sum: 771de235946f8c7667d7e20922c2ccca
SHA256: a21e22e7733c2a82bf5aaff58afe6eca06fe231ef366117161c46e499f64f9b4
.
5271c
Depends: libelpi-ocaml (= 3.7.2-1), libc6 (>= 2.42)
.
5266,5268c
Version: 3.7.2-1
Installed-Size: 10334
.
5043a
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

.
4969,5007d
4613,4881d
4221a
Package: dh-golang
Version: 1.66~exp2
Installed-Size: 78
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: all
Provides: dh-sequence-golang
Depends: debhelper, libdpkg-perl (>= 1.22.15~), perl:any
Description: debhelper add-on for packaging software written in Go (golang)
Multi-Arch: foreign
Description-md5: a8ae9b6fe8ddbe51eb55134d796123a1
Section: devel
Priority: optional
Filename: pool/main/d/dh-golang/dh-golang_1.66~exp2_all.deb
Size: 24360
MD5sum: 90b949f34b0895d7b6225c91674c61e7
SHA256: 384d0391b62e48047e124f6895712d19af1537ebe6f5da434cba3632d2d74d77

.
3128,3131c
Filename: pool/main/c/courier/sqwebmail_7.0.2+2.0.2-4_s390x.deb
Size: 733476
MD5sum: 52a6ac1ffca00dacd89937febeb4fa73
SHA256: e85b345b17aaa4cf635f6eb7822bc3588c0a7d8f918b3cf1a309233e2b92abdc
.
3119c
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 (>= 4.2), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libldap2 (>= 2.6.2), libpcre2-8-0 (>= 10.22), libstdc++6 (>= 13.1), perl:any
.
3114,3115c
Source: courier (2.0.2-4)
Version: 7.0.2+2.0.2-4
.
3108,3111c
Filename: pool/main/c/courier/courier-webadmin_2.0.2-4_s390x.deb
Size: 112856
MD5sum: 5c1360aaf8e1aa1c8614a598deb65ab0
SHA256: 6334e24e8bc2e8fce78c1aca18ba01e5f99cb22cf9f7d4e58d934742108ce16d
.
3099c
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
.
3095c
Version: 2.0.2-4
.
3088,3091c
Filename: pool/main/c/courier/courier-pop_2.0.2-4_s390x.deb
Size: 182944
MD5sum: ef12e6e04bdbe3ccda3997b70f87ea94
SHA256: 06103e3604f611d05460be2370c912154fc54c0c7e40e65047e4e5795576bf0e
.
3077c
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 (>= 4.2), libidn2-0 (>= 2.0.0), libstdc++6 (>= 12)
.
3071c
Version: 2.0.2-4
.
3064,3067c
Filename: pool/main/c/courier/courier-pcp_2.0.2-4_s390x.deb
Size: 175364
MD5sum: 5be25410d94bdbc12c1d367554bcbc62
SHA256: 45906ac14a19f001d1e13af441d0368eca8b32ebf54fe10c25fd494bfea457cf
.
3051c
Version: 2.0.2-4
.
3044,3047c
Filename: pool/main/c/courier/courier-mta_2.0.2-4_s390x.deb
Size: 766524
MD5sum: dd560151ad68203dd597fc300252e0ee
SHA256: 57dc6942ff5a68c7cbcbb88d0146381307875829f88a6b3f7159636dd2d6f7a0
.
3033c
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 (>= 4.2), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libperl5.40 (>= 5.40.0), libstdc++6 (>= 13.1), perl:any
.
3027c
Version: 2.0.2-4
.
3020,3023c
Filename: pool/main/c/courier/courier-mlm_2.0.2-4_s390x.deb
Size: 467060
MD5sum: c47604b8ece612a62ec6be2277d6f7a1
SHA256: a0cc92cb22a88f1b0b5ff94de278f464c55431496a2ca1c630acc22e5b429f9a
.
3011c
Depends: courier-base (= 2.0.2-4), maildrop, libc6 (>= 2.38), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 4.2), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libstdc++6 (>= 13.1)
.
3007c
Version: 2.0.2-4
.
3002,3003c
MD5sum: 62b1d5cbceb8386b8e326cd9826cf3e3
SHA256: af69f919ef6f1ca895c861c5d0ea7dfd2ba48abfb5d57b57121e75e438e26d80
.
3000c
Filename: pool/main/c/courier/courier-ldap_2.0.2-4_s390x.deb
.
2990c
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 (>= 4.2), libldap2 (>= 2.6.2), libstdc++6 (>= 4.1.1)
.
2985c
Version: 2.0.2-4
.
2978,2981c
Filename: pool/main/c/courier/courier-imap_6.0.1+2.0.2-4_s390x.deb
Size: 422848
MD5sum: 73655e6dfa9a617d75ee765a552e3596
SHA256: 353ff513a44cf7ea6643dfc37c12f5507c7eced776acac36d595525fd4332d1c
.
2967c
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 (>= 4.2), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libstdc++6 (>= 14)
.
2960,2961c
Source: courier (2.0.2-4)
Version: 6.0.1+2.0.2-4
.
2954,2957c
Filename: pool/main/c/courier/courier-faxmail_2.0.2-4_s390x.deb
Size: 100552
MD5sum: 98f0d489ee1bedf5d4d98171d085df5c
SHA256: d52103a5af5ace237585288066f997245c5a1416615447706cb5a517957fa89e
.
2944c
Depends: courier-mta (= 2.0.2-4), ghostscript, groff, mgetty-fax, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles
.
2940c
Version: 2.0.2-4
.
2933,2936c
Filename: pool/main/c/courier/courier-doc_2.0.2-4_all.deb
Size: 378280
MD5sum: 171bd118b02f6f30b1110b779150d428
SHA256: 2adeb68c141472bef3657f5f2f41e9a94758c6a30f9d27cd546bba5561154cb7
.
2921c
Version: 2.0.2-4
.
2914,2917c
Filename: pool/main/c/courier/courier-base_2.0.2-4_s390x.deb
Size: 339944
MD5sum: 97e72c52e9b635de9c97d7c466a07545
SHA256: 18a942755311cdaab56947881201d646164f678751d53db8a7070b66d16a1e80
.
2901c
Version: 2.0.2-4
.
2768,2771c
Filename: pool/main/c/coqprime/libcoq-coqprime_8.20.1-4_s390x.deb
Size: 1770500
MD5sum: 13dc1c69f4e45d6ea762be2f469df820
SHA256: 044933e2ceacf4cd160afaf312c87dcb28d8f23f9de6a1ced6d028c8b5d55723
.
2761,2762c
Provides: libcoq-coqprime-mq1i8
Depends: libcoq-bignums-3df33, libcoq-stdlib-4wu29
.
2757,2758c
Version: 8.20.1-4
Installed-Size: 5606
.
2750,2753c
Filename: pool/main/c/coqprime/coqprime-tools_8.20.1-4_s390x.deb
Size: 143056
MD5sum: 2fe0763e81c6e0b97f0d7ee6e712639d
SHA256: 8613e053443af506d38a51c496b680f3fb2dc6a6dbb406d9570fb77becf833b9
.
2744c
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)
.
2740c
Version: 8.20.1-4
.
2715,2718c
Filename: pool/main/c/coq-unimath/libcoq-unimath_20260603-1_s390x.deb
Size: 58605092
MD5sum: 2d74ad798665c327f4511d8850f640ec
SHA256: 698c8a80200a19c7b2507cb9fb18ceaca1bfb6c30f05b27df0ef412e95f0c527
.
2708,2709c
Provides: libcoq-unimath-r0x44
Depends: libcoq-stdlib-an0m1
.
2704,2705c
Version: 20260603-1
Installed-Size: 253164
.
2697,2700c
Filename: pool/main/c/coq-unicoq/libcoq-unicoq_1.6-9.1-1+b1_s390x.deb
Size: 88444
MD5sum: e539b021763fab7219176a13505ed37d
SHA256: 710fbe91c986a81912c7479650027d921eb1e3ceb364a243c4f428747ddba296
.
2690,2691c
Provides: libcoq-unicoq-9zcm5
Depends: libcoq-stdlib-4wu29
.
2685,2687c
Source: coq-unicoq (1.6-9.1-1)
Version: 1.6-9.1-1+b1
Installed-Size: 383
.
2679,2682c
Filename: pool/main/c/coq-stdpp/libcoq-stdpp_1.13.0-1_s390x.deb
Size: 5281740
MD5sum: 049ab007aa299ace522baf8a0ff30a40
SHA256: b0855ce73dad020421e97a48e7334e31d252204c96bde2acd7f9cd513bc8c084
.
2672,2673c
Provides: libcoq-stdpp-oaf97
Depends: libcoq-stdlib-4wu29
.
2667,2669c
Source: coq-stdpp
Version: 1.13.0-1
Installed-Size: 16768
.
2661,2664c
Filename: pool/main/c/coq-simple-io/libcoq-simple-io_1.11.0-4_s390x.deb
Size: 226016
MD5sum: e1c0cdb3fcc31adb9cbc8ec615856a4d
SHA256: 53de01ee3162184ec642573079aed91013ed15e16b368f5038e13d3bc98bd909
.
2654,2655c
Provides: libcoq-simple-io-it0c4
Depends: libcoq-ext-lib-73629, libcoq-stdlib-4wu29
.
2650,2651c
Version: 1.11.0-4
Installed-Size: 1166
.
2607,2610c
Filename: pool/main/c/coq-reduction-effects/libcoq-reduction-effects_0.1.6-3_s390x.deb
Size: 15880
MD5sum: 642b7304dc219de854c9bae673ba85e9
SHA256: 344a9a7ec99cc0877755b869c4dc9b0d5e328dcaa4179e885a17bf3462ae882c
.
2600,2601c
Provides: libcoq-reduction-effects-y71j6
Depends: libcoq-stdlib-an0m1
.
2596,2597c
Version: 0.1.6-3
Installed-Size: 82
.
2589,2592c
Filename: pool/main/c/coq-record-update/libcoq-record-update_0.3.7-1_s390x.deb
Size: 19144
MD5sum: 7f2c5da0111e1531cba2f094a254b419
SHA256: c59c451adfa84afdd218879cd1d8c9107378f57b58d987078e3985bd50a617a2
.
2582,2583c
Provides: libcoq-record-update-fz740
Depends: libcoq-stdlib-4wu29
.
2578,2579c
Version: 0.3.7-1
Installed-Size: 69
.
2536,2539c
Filename: pool/main/c/coq-mtac2/libcoq-mtac2_1.4-rocq9.1-1_s390x.deb
Size: 797340
MD5sum: 26120f33877bb1ff6c56a63d516fa896
SHA256: d0f387c8f6461fdf26f91c33147b6b9c03e66279c35aec02a965f6363f6476cb
.
2529,2530c
Provides: libcoq-mtac2-9pur0
Depends: libcoq-stdlib-4wu29, libcoq-unicoq-9zcm5
.
2525,2526c
Version: 1.4-rocq9.1-1
Installed-Size: 3202
.
2518,2521c
Filename: pool/main/c/coq-menhirlib/libcoq-menhirlib_20260209+ds-1_s390x.deb
Size: 915588
MD5sum: 4a4e0304580c7611d37198a9a5849bbd
SHA256: 83759e5ec9482613cd33381344c456585ee926d94268b48e4671d174c0244d9b
.
2511,2512c
Provides: libcoq-menhirlib-36vw6
Depends: libcoq-stdlib-4wu29
.
2507,2508c
Version: 20260209+ds-1
Installed-Size: 2700
.
2500,2503c
Filename: pool/main/c/coq-math-classes/libcoq-math-classes_9.0.0-3_s390x.deb
Size: 2873016
MD5sum: 6fad2fc5abb15da523142ed4cdad02d0
SHA256: 52e7610af8518df2cc80ebc1bb4d38c445643670577f286b44406d5a5f9e2fb0
.
2493,2494c
Provides: libcoq-math-classes-3u8s0
Depends: libcoq-bignums-3df33, libcoq-stdlib-4wu29
.
2489,2490c
Version: 9.0.0-3
Installed-Size: 9797
.
2482,2485c
Filename: pool/main/c/coq-libhyps/libcoq-libhyps_5.0.0-1_s390x.deb
Size: 79356
MD5sum: b962172eb030dd7b19d03ba7e3d49339
SHA256: 95e753ff5bc94f5d4d2c3727d42a521ed6f56f87b1b24a2315a937d78e8917ef
.
2475,2476c
Provides: libcoq-libhyps-w57x8
Depends: libcoq-stdlib-an0m1
.
2471,2472c
Version: 5.0.0-1
Installed-Size: 379
.
2464,2467c
Filename: pool/main/c/coq-iris/libcoq-iris_4.5.0-1_s390x.deb
Size: 13237580
MD5sum: df23d2ac6f4ebc72107c5cd75ed615b3
SHA256: 6edcf8dce2af4fda5bcf7c61a58582f21d87f520f28075ce1263af9bd15dd740
.
2457,2458c
Provides: libcoq-iris-msxm0
Depends: libcoq-stdpp-oaf97
.
2453,2454c
Version: 4.5.0-1
Installed-Size: 38873
.
2428,2431c
Filename: pool/main/c/coq-hott/libcoq-hott_9.1-1+b1_s390x.deb
Size: 15127516
MD5sum: 431ce02901d99dbf7ba7a814e1a674d2
SHA256: 9c67a604581bf4d22bda3b1833e739f3bbcd7740a05db5228b1d0b8dde962470
.
2421,2422c
Provides: libcoq-hott-2o4n5
Depends: libcoq-stdlib-4wu29
.
2416,2418c
Source: coq-hott (9.1-1)
Version: 9.1-1+b1
Installed-Size: 60226
.
2410,2413c
Filename: pool/main/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.10.3-1_s390x.deb
Size: 802352
MD5sum: b0268702641adb7791f925a359f7d0bf
SHA256: ac106d8526ff5328746ad5c2e1ce57e47194922bbb9c771e947c4c116b229630
.
2402,2403c
Provides: libcoq-hierarchy-builder-wmtx3
Depends: libcoq-elpi-c6819
.
2398,2399c
Version: 1.10.3-1
Installed-Size: 2321
.
2391,2394c
Filename: pool/main/c/coq-hammer/libcoq-hammer_1.3.3+9.2-1_s390x.deb
Size: 523640
MD5sum: 669f07e7c93fcabda9f9d529d663e8e9
SHA256: c717bf37a1ec67c60d5e443452b6fab0803eecd6d4cb84478e93127bf77e38c8
.
2384,2385c
Provides: libcoq-hammer-et3w6
Depends: libcoq-stdlib-4wu29, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
.
2380,2381c
Version: 1.3.3+9.2-1
Installed-Size: 2608
.
2373,2376c
Filename: pool/main/c/coq-gappa/libcoq-gappa_1.10.0-1_s390x.deb
Size: 608424
MD5sum: 2377f6a27717e2acaeb5e11bb805250a
SHA256: 496725e022013c206aea9dd0fc1b6e6bfa85b5cdc6eba4a80a1c5d1225123c89
.
2366,2367c
Provides: libcoq-gappa-6lv69
Depends: gappa, libcoq-flocq-rok77, libcoq-stdlib-4wu29
.
2362,2363c
Version: 1.10.0-1
Installed-Size: 1514
.
2337,2340c
Filename: pool/main/c/coq-ext-lib/libcoq-ext-lib_0.13.1-1_s390x.deb
Size: 772224
MD5sum: 345762d2b73e4297261232d59cb18f32
SHA256: 94519d72ed6726677ecb94bdd66a53fb4a305a6859e6389607d597ca9b7e4540
.
2330,2331c
Provides: libcoq-ext-lib-73629
Depends: libcoq-stdlib-4wu29
.
2326,2327c
Version: 0.13.1-1
Installed-Size: 2793
.
2319,2322c
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
.
2312,2313c
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)
.
2307,2309c
Source: coq-elpi (3.4.0-1)
Version: 3.4.0-1+b1
Installed-Size: 79193
.
2305a
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

.
2265,2268c
Filename: pool/main/c/coq-bignums/libcoq-bignums_9.0.0+rocq9.2-1_s390x.deb
Size: 1899748
MD5sum: 7a2915767047ac7a461c606b9f621d44
SHA256: ea891f943d8c7cbfcebed0be0e957feb41e42a979591e71203bfd2af31f09d4c
.
2258,2259c
Provides: libcoq-bignums-3df33
Depends: libcoq-stdlib-4wu29
.
2254,2255c
Version: 9.0.0+rocq9.2-1
Installed-Size: 6602
.
2247,2250c
Filename: pool/main/c/coq/rocqide_9.2.0+dfsg-1_s390x.deb
Size: 2024024
MD5sum: 6b8c7155a9218634d1700f8a3ac55911
SHA256: 285304a2cdda588f4465ed16a1d11e21ca268dc7cd6c6229ed32911f596303fc
.
2240c
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)
.
2234,2236c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 10279
.
2228,2231c
Filename: pool/main/c/coq/libcoq-core-ocaml-dev_9.2.0+dfsg-1_s390x.deb
Size: 55250636
MD5sum: 65d9edee21c045a257e99ac3d81f15d3
SHA256: b6d80e2f20ac6201661ea9f1e52eb7c029c4709510da763d777856381321824b
.
2221,2222c
Provides: libcoq-core-ocaml-dev-qy7r2
Depends: libcompiler-libs-ocaml-dev-bbft4, libcoq-core-ocaml-qy7r2, libfindlib-ocaml-dev-0e1g6, libstdlib-ocaml-dev-oolq5, libzarith-ocaml-dev-emf52, ocaml-5.4.1
.
2216,2218c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 243060
.
2210,2213c
Filename: pool/main/c/coq/libcoq-core-ocaml_9.2.0+dfsg-1_s390x.deb
Size: 25841148
MD5sum: 2399ad649807846be2e26ef209fde1ea
SHA256: c00cee8427b745e2d6223d0930efc02e339fd002438876bc8bb51227fd9adfb1
.
2202c
Provides: libcoq-core-ocaml-qy7r2
.
2197,2199c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 98762
.
2191,2194c
Filename: pool/main/c/coq/libcoq-core_9.2.0+dfsg-1_s390x.deb
Size: 1151320
MD5sum: 78d6e143c51fbce0d84d6619b0e626f2
SHA256: a58b405af2e2b0614d0a58367909018fa7e40de75c62453932e2cf913b47e964
.
2183c
Provides: libcoq-core-mt5b9
.
2177,2179c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 5685
.
2171,2174c
Filename: pool/main/c/coq/coq_9.2.0+dfsg-1_s390x.deb
Size: 42214060
MD5sum: 3ba425e40c5b52ebe94f8cdf5db62296
SHA256: 1f3917c47c030c09d23aa47581eb0662c3a366edbca4c6643c0abc0b11371feb
.
2160,2161c
Provides: coq-9.2+5.4.1
Depends: libcoq-core (= 9.2.0+dfsg-1), libcoq-core-ocaml-qy7r2, libfindlib-ocaml-0e1g6, libstdlib-ocaml-oolq5, libzarith-ocaml-emf52, ocaml-base-5.4.1, libc6 (>= 2.42), libgmp10 (>= 2:6.3.0+dfsg), ocaml, ocaml-findlib, python3
.
2155,2157c
Version: 9.2.0+dfsg-1
Installed-Size: 182035
.
1973a
Package: cmake
Version: 4.4.0-1
Installed-Size: 59685
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: s390x
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_s390x.deb
Size: 15681772
MD5sum: 0712e534fd44d3ad54b9c5357cfc2fee
SHA256: 6b8cfa4319fe1c2d51c4f3391a9af8d78eb346e3fabdbce59eae1b20c92d8b5c

Package: cmake-curses-gui
Source: cmake
Version: 4.4.0-1
Installed-Size: 14204
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: s390x
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_s390x.deb
Size: 4018044
MD5sum: fb5087441afac65d8c2ac19ad1889b28
SHA256: 9abd852239b469a586d49759a55f0c4a27f6e1d8fc9beb88e9305b0b2d4c15b4

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: 14742
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: s390x
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_s390x.deb
Size: 4158056
MD5sum: de04258a45504456261d1eafbda2df27
SHA256: e7cdfbaed861198ea4b49e2141ae6f201f73886cfb16635516733d4b2f48dccc

.
