38514,38529d
38460a

Package: libvtk9-dev
Source: vtk9
Version: 9.6.2+dfsg1-1exp5
Installed-Size: 38351
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: riscv64
Depends: default-jdk, libmariadb-dev, libboost1.90-dev (>= 1.90.0), libavcodec-dev, libavformat-dev, libavutil-dev, libc6-dev, libdouble-conversion-dev, libeigen3-dev, libexpat-dev, libfreetype-dev, libgdal-dev, libgl-dev, libgl2ps-dev, libglew-dev, libglu1-mesa-dev | libglu-dev, libhdf5-mpi-dev, libjpeg-dev, libjsoncpp-dev, liblz4-dev, libnetcdf-dev, libpng-dev, libpq-dev, libproj-dev, libpython3-dev, libswscale-dev, libtbb-dev, libtheora-dev, libtiff-dev, libutfcpp-dev, libvtk9.6 (= 9.6.2+dfsg1-1exp5), libvtk9-java (= 9.6.2+dfsg1-1exp5), libx11-dev, libxcursor-dev, libxft-dev, libxml2-dev, libxss-dev, libxt-dev, nlohmann-json3-dev, mpi-default-dev, python3-vtk9 (= 9.6.2+dfsg1-1exp5), vtk9 (= 9.6.2+dfsg1-1exp5), x11proto-core-dev, zlib1g-dev
Suggests: vtk9-doc, vtk9-examples
Description: VTK header files
Homepage: https://www.vtk.org/
Description-md5: 7e2bbc8c66e40961c2bc067211a7a6c1
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/v/vtk9/libvtk9-dev_9.6.2+dfsg1-1exp5_riscv64.deb
Size: 4717240
MD5sum: 1686b65194e0afc86141aa1a2e5ec361
SHA256: 023ac38ee1c0e1e551de1c733b34637385931d0da3b878396fc0bf4a4d8768f0

Package: libvtk9-java
Source: vtk9
Version: 9.6.2+dfsg1-1exp5
Installed-Size: 20525
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: riscv64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1), libvtk9.6 (>= 9.6.2+dfsg1), libvtk9.6-qt (>= 9.6.2+dfsg1)
Suggests: java-virtual-machine, libvtk9-dev (= 9.6.2+dfsg1-1exp5), vtk9-doc, vtk9-examples
Description: VTK - Java language support
Homepage: https://www.vtk.org/
Description-md5: 932b2399f9a60f20870f5d82b0543577
Section: java
Priority: optional
Filename: pool/main/v/vtk9/libvtk9-java_9.6.2+dfsg1-1exp5_riscv64.deb
Size: 6907900
MD5sum: 561e5476bf7996f2c85839cbd0c69975
SHA256: 0b203fe4a66f8af6820602635cc36e7d2f0987031115b53f814474f3af040b09

Package: libvtk9-qt-dev
Source: vtk9
Version: 9.6.2+dfsg1-1exp5
Installed-Size: 197
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: riscv64
Depends: libvtk9-dev (= 9.6.2+dfsg1-1exp5), libvtk9.6-qt (= 9.6.2+dfsg1-1exp5), qt6-base-dev
Description: VTK header files, containing Qt files
Homepage: https://www.vtk.org/
Description-md5: f328fd3b8b64a22139aa0d00e2d89f5a
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/v/vtk9/libvtk9-qt-dev_9.6.2+dfsg1-1exp5_riscv64.deb
Size: 38796
MD5sum: 28663e131402ac597121c14a7da2a24e
SHA256: a3f325df2f7be83e6ae5e1ff73ce1b3a1dd5aaa131e3ec7bf6e1d6fa43d7a9e2

Package: libvtk9.6
Source: vtk9
Version: 9.6.2+dfsg1-1exp5
Installed-Size: 284238
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: riscv64
Replaces: libvtk9 (<< 9.1.0+really9.1.0), libvtk9.1
Depends: libadios2-mpi-c++-2.12 (>= 2.12.1+dfsg1), libavcodec62 (>= 7:8.1.2), libavformat62 (>= 7:8.1.2), libavutil60 (>= 7:8.1.2), libc6 (>= 2.38), libexpat1 (>= 2.0.1), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.3.5), libgcc-s1 (>= 4.5), libgdal39 (>= 3.10.0), libgl2ps1.4 (>= 1.4.2+dfsg1), libhdf5-openmpi-310 (>= 1.12.0), libhdf5-openmpi-hl-310 (>= 1.8.13), libjpeg62-turbo (>= 1.3.1), libjsoncpp26 (>= 1.9.6), liblz4-1 (>= 0.0~r130), liblzma5 (>= 5.1.1alpha+20110809), libmariadb3 (>= 3.0.0), libnetcdf22 (>= 1:4.9.0), libogg0 (>= 1.0rc3), libopenmpi40 (>= 5.0.10), libpng16-16t64 (>= 1.6.46), libpq5, libproj25 (>= 6.1.0), libsqlite3-0 (>= 3.5.9), libstdc++6 (>= 14), libswscale9 (>= 7:8.1.2), libtbb12 (>= 2022.3.0), libtheoradec2 (>= 1.2), libtheoraenc2 (>= 1.2), libtiff6 (>= 4.0.3), libxml2-16 (>= 2.14.1), zlib1g (>= 1:1.2.3.4)
Suggests: mpi-default-bin, vtk9-doc, vtk9-examples
Breaks: libvtk9 (<< 9.1.0+really9.1.0), libvtk9.1 (<< 9.6.2+dfsg1-1exp5)
Description: VTK libraries
Multi-Arch: same
Homepage: https://www.vtk.org/
Description-md5: 144756a6093ffa63465fde3c11e8a81a
Section: libs
Priority: optional
Filename: pool/main/v/vtk9/libvtk9.6_9.6.2+dfsg1-1exp5_riscv64.deb
Size: 48914308
MD5sum: 68439ce357a56dcc3d8483b503c63cf2
SHA256: 3ac0aa7117cb779acc2d9ddaa33addf04e6771b64ac3fa455a1b8542b93f6830

Package: libvtk9.6-qt
Source: vtk9
Version: 9.6.2+dfsg1-1exp5
Installed-Size: 845
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: riscv64
Depends: libc6 (>= 2.27), libgcc-s1 (>= 3.4), libqt6core6t64 (>= 6.10.2), libqt6gui6 (>= 6.8.2), libqt6opengl6 (>= 6.1.2), libqt6openglwidgets6 (>= 6.1.2), libqt6sql6 (>= 6.1.2), libqt6widgets6 (>= 6.1.2), libstdc++6 (>= 14), libvtk9.6 (>= 9.6.2+dfsg1)
Description: VTK libraries, Qt files
Multi-Arch: same
Homepage: https://www.vtk.org/
Description-md5: 372a6934e0333f048f30bec2359bcec5
Section: libs
Priority: optional
Filename: pool/main/v/vtk9/libvtk9.6-qt_9.6.2+dfsg1-1exp5_riscv64.deb
Size: 237524
MD5sum: a4fe89f82cf72ccd280549df085cef39
SHA256: a35411498f897dd0e38c33ff36232e4e18a951c3fa167b521569c77e30934e69

Package: python3-vtk9
Source: vtk9
Version: 9.6.2+dfsg1-1exp5
Installed-Size: 62516
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: riscv64
Replaces: python3-vtk6, python3-vtk7
Depends: libvtk9.6 (= 9.6.2+dfsg1-1exp5), python3-mpi4py, python3 (<< 3.15), python3 (>= 3.14~), python3:any, libc6 (>= 2.38), libgcc-s1 (>= 3.4), libopenmpi40 (>= 5.0.10), libpython3.14 (>= 3.14.1), libstdc++6 (>= 13.1), libtbb12 (>= 2022.3.0), libvtk9.6-qt (>= 9.6.2+dfsg1)
Suggests: mayavi2, vtk9-doc, vtk9-examples
Breaks: python3-vtk6, python3-vtk7
Description: Python bindings for VTK
Homepage: https://www.vtk.org/
Description-md5: 607f6e2cea47851cd2f36d2226862577
Section: python
Priority: optional
Filename: pool/main/v/vtk9/python3-vtk9_9.6.2+dfsg1-1exp5_riscv64.deb
Size: 10111456
MD5sum: 196cad53c769cc824bcfe411e63a7a3d
SHA256: c47cb3246a7cdbc6259fe0957b74d6e3e23b7174671b6f5b0956400e797dc555

Package: vtk9
Version: 9.6.2+dfsg1-1exp5
Installed-Size: 152
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Architecture: riscv64
Depends: libvtk9.6 (= 9.6.2+dfsg1-1exp5), libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 9)
Suggests: vtk9-doc, vtk9-examples
Description: Binaries for VTK9
Homepage: https://www.vtk.org/
Description-md5: 97517e1d4ecc516b79afb8607e8cdfcf
Section: interpreters
Priority: optional
Filename: pool/main/v/vtk9/vtk9_9.6.2+dfsg1-1exp5_riscv64.deb
Size: 50648
MD5sum: 2c5bf62b2783a871a8efff0cd71a4798
SHA256: 66d4f8665ed8833375bf5f91e2063bcf63db0a511ad324254254c9beb78c84a0
.
37892,37895c
Filename: pool/main/t/tk9.1/tk9.1-doc_9.1~b0-1_all.deb
Size: 1298760
MD5sum: 0c9914f75492282f31af63ac235eafa5
SHA256: daaf6e6498315342e2fa7fba0fef90a3dbe96f3c7056509e76a7f792fe53bcdd
.
37887a
Multi-Arch: foreign
.
37880,37881c
Version: 9.1~b0-1
Installed-Size: 2262
.
37873,37876c
Filename: pool/main/t/tk9.1/tk9.1-dev_9.1~b0-1_riscv64.deb
Size: 2162768
MD5sum: a07059a79606a8a621f3ae6226602018
SHA256: d9855338af5406a5b381b167b9092ee08514cede59d8e45851da02c5c30213fb
.
37865c
Depends: x11proto-core-dev, libx11-dev, libxt-dev, libxss-dev, libxext-dev, libxft-dev, tcl9.1-dev (>= 9.1~a1), libtk9.1 (= 9.1~b0-1), tk9.1
.
37861,37862c
Version: 9.1~b0-1
Installed-Size: 19317
.
37854,37857c
Filename: pool/main/t/tk9.1/tk9.1_9.1~b0-1_riscv64.deb
Size: 18608
MD5sum: 9e22ec7312cd0ab7c0524affb1922c98
SHA256: 84e02669341621d87fa75f90ff1852bdab7367040c1c611826ed93189437998d
.
37843,37844c
Version: 9.1~b0-1
Installed-Size: 60
.
37837,37840c
Filename: pool/main/t/tk9.1/libtk9.1_9.1~b0-1_riscv64.deb
Size: 961256
MD5sum: 451a17456f3b38261cb9d66b9104e9fc
SHA256: d4afb57e1fa03afb2dea27a924a0e47e8262b79ccc562ed8eaaee767c1e53b50
.
37829c
Depends: libtcl9.1 (>= 9.1~a1), libc6 (>= 2.38), libfontconfig1 (>= 2.12.6), libharfbuzz0b (>= 5.1.0), libx11-6, libxft2 (>> 2.1.1), libxrender1 (>= 1:0.9.12), libxss1
.
37824,37825c
Version: 9.1~b0-1
Installed-Size: 3152
.
31422,31440d
31128,31131c
Filename: pool/main/r/runit-services/runit-user-session_0.15.0_riscv64.deb
Size: 15600
MD5sum: 24acc324a41cd438a865331211fb3a1c
SHA256: ca023aa669a2681ba321c561b1bc6b71459c46a3de517bf250f9e9e61b7bdfc3
.
31116,31117c
Version: 0.15.0
Installed-Size: 63
.
31109,31112c
Filename: pool/main/r/runit-services/runit-user-services_0.15.0_all.deb
Size: 9720
MD5sum: 2656b8fb78043c67ea67dced50fd63ca
SHA256: 3ce85c359960d62b1d9d49a4310545ee96cd4b1af2c0a69d658543068de41d20
.
31098,31099c
Version: 0.15.0
Installed-Size: 57
.
31091,31094c
Filename: pool/main/r/runit-services/runit-services_0.15.0_all.deb
Size: 32692
MD5sum: cc3b21cac0f0896465a951d614417b5b
SHA256: 5f592e7b148364633b33428d5cf3306b1900891efd6727aba385f2d4fdf68856
.
31077,31078c
Version: 0.15.0
Installed-Size: 572
.
31071,31074c
Filename: pool/main/r/runit-services/runit-dbus-user-session_0.15.0_all.deb
Size: 9480
MD5sum: f6922d0da6e568fa528e76fd59300e24
SHA256: 79a8ce9ef6e80d6c2ea6223f8478786bb48f7fa2fa8796c2d50340c17e33c2f9
.
31061,31062c
Version: 0.15.0
Installed-Size: 45
.
31054,31057c
Filename: pool/main/r/runit-services/runit-cron-snooze_0.15.0_all.deb
Size: 9600
MD5sum: 6448b3830041edc07ab54a79a28bf030
SHA256: 6e48efdb2121f7afdedd651c94850fa5515fafafcd9d04af3aa4282f5573bde1
.
31038,31039c
Version: 0.15.0
Installed-Size: 74
.
30546,30549c
Filename: pool/main/r/rocq-stdlib/libcoq-stdlib_9.1.0-1_riscv64.deb
Size: 20077564
MD5sum: eb4ac6d374988f84c032724d4489e167
SHA256: defd394f3b344de209f39caa6545fa8fbe9045d5da052ab4017a10fea1af6118
.
30539c
Provides: libcoq-stdlib-xv0b8
.
30534,30536c
Source: rocq-stdlib
Version: 9.1.0-1
Installed-Size: 70705
.
29387a
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

.
28306,28309c
Filename: pool/main/p/pmix/python3-pmix_6.1.1~rc2-3_riscv64.deb
Size: 488336
MD5sum: a4fdcbfc52f3185d10b650ac851d09c0
SHA256: e7f9ee078a5ad41f45188b6d89a253f19a1a6a0cdf5fb7f24e76d6e4f28f0e6a
.
28294c
Version: 6.1.1~rc2-3
.
28287,28290c
Filename: pool/main/p/pmix/libpmix2t64_6.1.1~rc2-3_riscv64.deb
Size: 706732
MD5sum: 56e8a5265cb7ae3dac091a80327a408a
SHA256: c29339c0423d5a31124b7f1cd8f59f0c5c7af8ac5aea1dfbfae9a7d3dbd8f688
.
28278,28280c
Provides: libpmix2 (= 6.1.1~rc2-3)
Depends: libc6 (>= 2.38), libesmtp6 (>= 1.1.0), libevent-core-2.1-7t64 (>= 2.1.8-stable), libevent-pthreads-2.1-7t64 (>= 2.1.8-stable), libhwloc15 (>= 2.14.0), libmunge2 (>= 0.5.8), zlib1g (>= 1:1.2.0), libhwloc-plugins
Breaks: libpmix2 (<< 6.1.1~rc2-3)
.
28273,28274c
Version: 6.1.1~rc2-3
Installed-Size: 2116
.
28266,28269c
Filename: pool/main/p/pmix/libpmix-dev_6.1.1~rc2-3_riscv64.deb
Size: 3612948
MD5sum: a12585576e0d7f9ca85d80e389695e13
SHA256: 992b2de5dfbe763b1c6134411db6bf629bf2913d91aa284fdf6e84e495dbac65
.
28261c
Built-Using: sphinx (= 9.1.0-4)
.
28256c
Depends: libpmix2t64 (= 6.1.1~rc2-3), libevent-dev, libhwloc-dev, zlib1g-dev, libjs-jquery (>= 3.6.0), libjs-sphinxdoc (>= 9.0), sphinx-rtd-theme-common (>= 3.1.0+dfsg)
.
28252,28253c
Version: 6.1.1~rc2-3
Installed-Size: 35945
.
28245,28248c
Filename: pool/main/p/pmix/libpmix-bin_6.1.1~rc2-3_riscv64.deb
Size: 47552
MD5sum: edb4ff38213a36f29f37071200cb5f2e
SHA256: 1df3a6c319bce37f8b45cacf20cbafa96810d4f752675476d18b059a4db421c0
.
28236c
Depends: libc6 (>= 2.38), libpmix2t64 (= 6.1.1~rc2-3)
.
28231,28232c
Version: 6.1.1~rc2-3
Installed-Size: 193
.
28117,28120c
Filename: pool/main/p/pimcommon/libpimcommon-dev_26.04.3-1_riscv64.deb
Size: 41192
MD5sum: 2675ada449ccdfb55f06b73279707500
SHA256: 7bf37ece837844f3d5b0ea9e4b02ee64e401639b53e5efc5158188a50868da1d
.
28111c
Depends: libakonadi-dev (>= 4:26.04.3~), libakonadicontact-dev (>= 4:26.04.3~), libkdepim-dev (>= 4:26.04.3~), libkf6config-dev (>= 6.22.0~), libkf6contacts-dev (>= 6.22.0~), libkf6kio-dev (>= 6.22.0~), libkimap-dev (>= 26.04.3~), libkpim6pimcommon6 (= 4:26.04.3-1), libkpim6pimcommonactivities6 (= 4:26.04.3-1), libkpim6pimcommonakonadi6 (= 4:26.04.3-1), libktextaddons-dev (>= 2.0.0~), qt6-base-dev (>= 6.9.0~), libc6 (>= 2.27), libgcc-s1 (>= 3.0), libkpim6pimcommon6-26.04, libkpim6pimcommonakonadi6-26.04, libqt6core6t64 (>= 6.10.2), libqt6gui6 (>= 6.9.0~), libstdc++6 (>= 5)
.
28107c
Version: 4:26.04.3-1
.
28100,28103c
Filename: pool/main/p/pimcommon/libpimcommon-data_26.04.3-1_all.deb
Size: 117428
MD5sum: 1067de4676327287353d9d578515c8e3
SHA256: 5af112ea7850a8203689a9dfc989e762ca48db2186de03d8f6d31476cd7aa3e4
.
28090c
Version: 4:26.04.3-1
.
28083,28086c
Filename: pool/main/p/pimcommon/libkpim6pimcommonakonadi6_26.04.3-1_riscv64.deb
Size: 226556
MD5sum: 7483862371b587de34315e4fb41dad5a
SHA256: cae7c0be616d5bb47510a323513b01a053c26484b2bbde11bf0d4880602e3e00
.
28076c
Depends: libpimcommon-data (= 4:26.04.3-1), kio6, libc6 (>= 2.27), libgcc-s1 (>= 3.4), libkf6codecs6 (>= 6.22.0~), libkf6colorscheme6 (>= 6.22.0~), libkf6completion6 (>= 6.0.0), libkf6configcore6 (>= 6.22.0~), libkf6configgui6 (>= 6.22.0~), libkf6contacts6 (>= 6.22.0~), libkf6coreaddons6 (>= 6.22.0~), libkf6i18n6 (>= 6.22.0~), libkf6itemmodels6 (>= 6.22.0~), libkf6kcmutils6 (>= 6.22.0~), libkf6kiocore6 (>= 6.22.0~), libkf6widgetsaddons6 (>= 6.22.0~), libkf6xmlgui6 (>= 6.22.0~), libkpim6akonadicontactcore6 (>= 4:26.04.3), libkpim6akonadicontactcore6-26.04, libkpim6akonadicontactwidgets6 (>= 4:26.04.3), libkpim6akonadicontactwidgets6-26.04, libkpim6akonadicore6 (>= 4:26.04.3), libkpim6akonadicore6-26.04, libkpim6akonadisearchpim6 (>= 4:26.04.3), libkpim6akonadisearchpim6-26.04, libkpim6akonadiwidgets6 (>= 4:26.04.3), libkpim6akonadiwidgets6-26.04, libkpim6imap6 (>= 26.04.3), libkpim6imap6-26.04, libkpim6ldapcore6 (>= 26.04.3), libkpim6ldapcore6-26.04, libkpim6libkdepim6 (>= 4:26.04.3), libkpim6libkdepim6-26.04, libkpim6pimcommon6 (>= 4:26.04.3), libkpim6pimcommon6-26.04, libqt6core6t64 (>= 6.10.2), libqt6dbus6 (>= 6.9.0~), libqt6gui6 (>= 6.9.0~), libqt6network6 (>= 6.9.0~), libqt6widgets6 (>= 6.9.0~), libstdc++6 (>= 5)
.
28071c
Version: 4:26.04.3-1
.
28064,28067c
Filename: pool/main/p/pimcommon/libkpim6pimcommonactivities6_26.04.3-1_riscv64.deb
Size: 19224
MD5sum: 0b828d02d35f74a1e1103d92a8aa3a3f
SHA256: e7212dc2e2724292cdb6d6c047cd2761a71bf4b11fb3828823602fdcc8163bd6
.
28057c
Depends: libpimcommon-data (= 4:26.04.3-1), libc6 (>= 2.27), libkf6i18n6 (>= 6.22.0~), libplasmaactivities7 (>= 6.4.0~), libqt6core6t64 (>= 6.10.2), libqt6widgets6 (>= 6.9.0~), libstdc++6 (>= 5)
.
28052c
Version: 4:26.04.3-1
.
28045,28048c
Filename: pool/main/p/pimcommon/libkpim6pimcommon6_26.04.3-1_riscv64.deb
Size: 106632
MD5sum: 335bdead07f661801b917d41d1c6b06f
SHA256: b92a1f787e4aa27964723573baed8cfe2d5bc8bda0ad3faf1b38cfa156088ec0
.
28038c
Depends: libpimcommon-data (= 4:26.04.3-1), kio6, libc6 (>= 2.27), libgcc-s1 (>= 3.4), libkf6codecs6 (>= 6.22.0~), libkf6colorscheme6 (>= 6.22.0~), libkf6configcore6 (>= 6.22.0~), libkf6configgui6 (>= 6.22.0~), libkf6coreaddons6 (>= 6.22.0~), libkf6i18n6 (>= 6.22.0~), libkf6kiocore6 (>= 6.22.0~), libkf6kiowidgets6 (>= 6.22.0~), libkf6newstuffwidgets6 (>= 6.22.0~), libkf6purpose-bin, libkf6purpose6 (>= 6.22.0~), libkf6purposewidgets6 (>= 6.22.0~), libkf6textaddonswidgets1 (>= 2.0.0~), libkf6textautocorrectioncore1 (>= 2.0.0~), libkf6textcustomeditor1 (>= 2.0.0~), libkf6widgetsaddons6 (>= 6.22.0~), libkf6xmlgui6 (>= 6.22.0~), libqt6core6t64 (>= 6.10.2), libqt6dbus6 (>= 6.9.0~), libqt6gui6 (>= 6.9.0~), libqt6network6 (>= 6.9.0~), libqt6widgets6 (>= 6.9.0~), libstdc++6 (>= 5)
.
28033c
Version: 4:26.04.3-1
.
26255a
Package: postgresql-19-pgaudit
Source: pgaudit-19
Version: 19~beta1-3
Installed-Size: 55
Maintainer: Debian PostgreSQL Maintainers <team+postgresql@tracker.debian.org>
Architecture: riscv64
Depends: postgresql-19, libc6 (>= 2.27)
Description: PostgreSQL Audit Extension
Homepage: http://pgaudit.org/
Description-md5: 68a25f9a2f28cb50daba2805c25fec39
Section: database
Priority: optional
Filename: pool/main/p/pgaudit-19/postgresql-19-pgaudit_19~beta1-3_riscv64.deb
Size: 21600
MD5sum: 0b3ddd9433548d4581de2e62c753381b
SHA256: 68133ddc080d7b357dd0af0e74ced1657146376cd43e26ef1c34e21a469c0607

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

.
25320,25323c
Filename: pool/main/o/opm-common/python3-opm-common_2026.04+ds-1~exp1+b1_riscv64.deb
Size: 402808
MD5sum: d070685c5e8da0219fc59508c991534a
SHA256: 0e67050cb4fe4f00c777c89640b85ba803f7ea433b4731328a685a356a341b49
.
25312c
Depends: libc6 (>= 2.38), libfmt10 (>= 10.1.1+ds1), libgcc-s1 (>= 3.3.1), libopm-common-2026.04, libstdc++6 (>= 14), python3 (<< 3.15), python3 (>= 3.14~), python3:any, libopm-common, python3-numpy, python3-decorator
.
25307,25309c
Source: opm-common (2026.04+ds-1~exp1)
Version: 2026.04+ds-1~exp1+b1
Installed-Size: 1298
.
25283,25286c
Filename: pool/main/o/opm-common/libopm-common-dev_2026.04+ds-1~exp1+b1_riscv64.deb
Size: 661496
MD5sum: fcc52cbe3b12dc8529cb980d905bcdfb
SHA256: 49de2206231d79ad5ee5fcb206747bedafb991e9bc2d2dd61ee8767347495f2d
.
25268,25270c
Source: opm-common (2026.04+ds-1~exp1)
Version: 2026.04+ds-1~exp1+b1
Installed-Size: 6317
.
25262,25265c
Filename: pool/main/o/opm-common/libopm-common-bin_2026.04+ds-1~exp1+b1_riscv64.deb
Size: 220560
MD5sum: d207b128c1b55c5b9758c5b8639edb81
SHA256: b9c121905cd1ef76a6b9907cb4545e5406d7e9efb803effb7377dfe6a0a78e32
.
25248,25250c
Source: opm-common (2026.04+ds-1~exp1)
Version: 2026.04+ds-1~exp1+b1
Installed-Size: 695
.
25242,25245c
Filename: pool/main/o/opm-common/libopm-common_2026.04+ds-1~exp1+b1_riscv64.deb
Size: 7024716
MD5sum: 9fd50942f77c53f9fd86ced8a3ca8ef1
SHA256: e786354c3a7b4d9876412b6721f23c51db8e2317656fc8d4c713afff2434d7f8
.
25234c
Depends: libc6 (>= 2.38), libcjson1 (>= 1.7.5), libfmt10 (>= 10.1.1+ds1), libgcc-s1 (>= 4.3), libgomp1 (>= 4.9), libpython3.14 (>= 3.14.1), libstdc++6 (>= 14)
.
25228,25230c
Source: opm-common (2026.04+ds-1~exp1)
Version: 2026.04+ds-1~exp1+b1
Installed-Size: 20412
.
24907,24910c
Filename: pool/main/o/opencolorio/python3-pyopencolorio_2.5.1+dfsg-3_riscv64.deb
Size: 1700672
MD5sum: 1d94345bfb924c1419808d5b7143da08
SHA256: 57d924da894a8a27c29652c91d6f7159a0932b6b64cb6e6f49caa106cc22d3d8
.
24902d
24900c
Depends: libopencolorio2.5 (= 2.5.1+dfsg-3), python3 (<< 3.15), python3 (>= 3.13~), python3:any, libc6 (>= 2.34), libgcc-s1 (>= 3.4), libstdc++6 (>= 14)
.
24895,24897c
Source: opencolorio
Version: 2.5.1+dfsg-3
Installed-Size: 8136
.
24889,24892c
Filename: pool/main/o/opencolorio/opencolorio-tools_2.5.1+dfsg-3_riscv64.deb
Size: 168524
MD5sum: 698acf944ac5d9c1910944cc77e43cbd
SHA256: 913d8e67f9b22f638b6984e05c873abc75be04758df673fd5c1b2b430891408e
.
24882c
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.0), libglew2.3 (>= 2.3.1+dfsg2), libglu1-mesa | libglu1, libglut3.12 (>= 3.4.0), libglx0, liblcms2-2 (>= 2.2+git20110628), libminizip-ng4t64 (>= 4.0.10), libopencolorio2.5 (>= 2.5.1+dfsg), libopenexr-3-4-33 (>= 3.4.6+ds), libopengl0, libpystring0 (>= 1.1.5), libstdc++6 (>= 14)
.
24877,24879c
Source: opencolorio
Version: 2.5.1+dfsg-3
Installed-Size: 668
.
24871,24874c
Filename: pool/main/o/opencolorio/libopencolorio2.5_2.5.1+dfsg-3_riscv64.deb
Size: 1624604
MD5sum: 8e3c21e44e77d6656c314663646de0ae
SHA256: 52b075a46fa4565bc6c64b8de829b9290ffb7684adab5d90ae34468ee00bab61
.
24864c
Depends: libc6 (>= 2.38), libexpat1 (>= 2.0.1), libgcc-s1 (>= 4.3), libimath-3-1-29t64 (>= 3.1.12), libminizip-ng4t64 (>= 4.0.10), libpystring0 (>= 1.1.5), libstdc++6 (>= 14), libyaml-cpp0.8 (>= 0.8.0+dfsg-9+b1)
.
24859,24861c
Source: opencolorio
Version: 2.5.1+dfsg-3
Installed-Size: 5449
.
24853,24856c
Filename: pool/main/o/opencolorio/libopencolorio-dev_2.5.1+dfsg-3_riscv64.deb
Size: 85052
MD5sum: 30393da457cfebb3ea5b7d1641f1d32f
SHA256: 4b0d55c85a150797f1e2fb540b4a1e27c3dfb8c0d4d84af1b77a9d3dad188e04
.
24845c
Depends: libopencolorio2.5 (= 2.5.1+dfsg-3)
.
24840,24841c
Source: opencolorio
Version: 2.5.1+dfsg-3
.
24661,24664c
Filename: pool/main/o/openbabel/python3-openbabel_3.2.0+dfsg-1~exp+b1_riscv64.deb
Size: 660920
MD5sum: fd092c388514523220c8a797c4a30073
SHA256: a182fb04384f8ad0a09c4fcfba6f912d95dcc537b565f804d3d8cd5e1d2a6fbf
.
24655c
Depends: python3 (<< 3.15), python3 (>= 3.14~), python3:any, libc6 (>= 2.32), libgcc-s1 (>= 3.4), libopenbabel8 (>= 3.2.0+dfsg), libpython3.14 (>= 3.14.1), libstdc++6 (>= 13.1)
.
24650,24652c
Source: openbabel (3.2.0+dfsg-1~exp)
Version: 3.2.0+dfsg-1~exp+b1
Installed-Size: 3669
.
24644,24647c
Filename: pool/main/o/openbabel/openbabel-gui_3.2.0+dfsg-1~exp+b1_riscv64.deb
Size: 77756
MD5sum: 32c5ede24e8f882b8450c7422ffaa179
SHA256: 54bd054a5371aa04bb765bbb7b1e4be771ff630fd23ea6aafa3b14ee7f22fec2
.
24631,24633c
Source: openbabel (3.2.0+dfsg-1~exp)
Version: 3.2.0+dfsg-1~exp+b1
Installed-Size: 281
.
24625,24628c
Filename: pool/main/o/openbabel/openbabel_3.2.0+dfsg-1~exp+b1_riscv64.deb
Size: 125208
MD5sum: fd952150c519a268a3fab750c050aeb8
SHA256: a9208ca5ba05226bfe8d088034d9776e05eb8a8b16d7f661cdcee82629c998e9
.
24613,24614c
Source: openbabel (3.2.0+dfsg-1~exp)
Version: 3.2.0+dfsg-1~exp+b1
Installed-Size: 486
.
24607,24610c
Filename: pool/main/o/openbabel/libopenbabel8_3.2.0+dfsg-1~exp+b1_riscv64.deb
Size: 3338492
MD5sum: 0bcb3b70c94c4cf82aa58c7e26ea100d
SHA256: 98351b84efeace1a5cd463e41e8949ceaf47262e1479cbe019c0825362ea4e05
.
24594,24596c
Source: openbabel (3.2.0+dfsg-1~exp)
Version: 3.2.0+dfsg-1~exp+b1
Installed-Size: 14281
.
24570,24573c
Filename: pool/main/o/openbabel/libopenbabel-dev_3.2.0+dfsg-1~exp+b1_riscv64.deb
Size: 180804
MD5sum: 47e9708a7ea90cff3b215b1da00d53d3
SHA256: 8b2ba0d8dc845263e1a8840afc96769927ab748cbbdd6fd66ca0229ed991ea95
.
24561c
Depends: libopenbabel8 (= 3.2.0+dfsg-1~exp+b1)
.
24556,24558c
Source: openbabel (3.2.0+dfsg-1~exp)
Version: 3.2.0+dfsg-1~exp+b1
Installed-Size: 962
.
24550,24553c
Filename: pool/main/o/openbabel/libchemistry-openbabel-perl_3.2.0+dfsg-1~exp+b1_riscv64.deb
Size: 724268
MD5sum: f5ba248702438a217f2b9f0fccb1a42d
SHA256: 98706a9ea6f378c6509eb45c0d20b19b6045d45add4f78a1bd29932dbb74862d
.
24542c
Depends: perl (>= 5.40.1-8), perlapi-5.40.1, libc6 (>= 2.38), libgcc-s1 (>= 3.4), libopenbabel8 (>= 3.2.0+dfsg), libperl5.40 (>= 5.40.0), libstdc++6 (>= 13.1)
.
24537,24539c
Source: openbabel (3.2.0+dfsg-1~exp)
Version: 3.2.0+dfsg-1~exp+b1
Installed-Size: 3835
.
24465a
Package: python3-onnxruntime
Source: onnxruntime
Version: 1.27.0+dfsg-1
Installed-Size: 20900
Maintainer: Debian Deep Learning Team <debian-ai@lists.debian.org>
Architecture: riscv64
Depends: libonnxruntime1.27 (= 1.27.0+dfsg-1), python3 (<< 3.15), python3 (>= 3.14~), python3-flatbuffers, python3-numpy, python3-numpy2-abi0 | python3-numpy-abi9, python3-packaging, python3-protobuf, python3:any, libabsl20260107 (>= 20260107.0-0~), libc6 (>= 2.38), libgcc-s1 (>= 4.5), libonnx1l (>= 1.20.0), libprotobuf32t64 (>= 3.21.12), libre2-11-absl20260107, libstdc++6 (>= 15)
Description: cross-platform inference and training ML accelerator (Python bindings)
Homepage: https://github.com/microsoft/onnxruntime
Description-md5: 58f261b74707bedca4df71a73a331b9f
Section: python
Priority: optional
Filename: pool/main/o/onnxruntime/python3-onnxruntime_1.27.0+dfsg-1_riscv64.deb
Size: 6203456
MD5sum: 7b40688970f24c2a55ba263b5dd2c022
SHA256: 1fcb6d1a5d977ef712bbe27d5fa8204e3ff4598ee28c4ca17639560f6f4db0e9

.
24447a
Package: libonnxruntime-dev
Source: onnxruntime
Version: 1.27.0+dfsg-1
Installed-Size: 1039
Maintainer: Debian Deep Learning Team <debian-ai@lists.debian.org>
Architecture: riscv64
Replaces: libonnxruntime1.13.1 (<< 1.16.3+dfsg-1~)
Depends: libonnxruntime1.27 (= 1.27.0+dfsg-1)
Breaks: libonnxruntime1.13.1 (<< 1.16.3+dfsg-1~)
Description: cross-platform inference and training ML accelerator (dev files)
Multi-Arch: same
Homepage: https://github.com/microsoft/onnxruntime
Description-md5: d144454e52fb87ef69f028500671d13a
Section: libdevel
Priority: optional
Filename: pool/main/o/onnxruntime/libonnxruntime-dev_1.27.0+dfsg-1_riscv64.deb
Size: 152984
MD5sum: 83a6b5c82450cf34d9c3945a25876f27
SHA256: 515fef6eeaec8d62e1e2080a55eae7e6e2fc2e4a5bf356a99ca7a781607053d7

Package: libonnxruntime-providers
Source: onnxruntime
Version: 1.27.0+dfsg-1
Installed-Size: 53
Maintainer: Debian Deep Learning Team <debian-ai@lists.debian.org>
Architecture: riscv64
Replaces: libonnxruntime1.21 (<< 1.21.0+dfsg-2~)
Breaks: libonnxruntime1.21 (<< 1.21.0+dfsg-2~)
Description: cross-platform inference and training ML accelerator (providers)
Multi-Arch: same
Homepage: https://github.com/microsoft/onnxruntime
Description-md5: 73e5becef1aeaeacfa7bb0a1f617ef14
Section: libs
Priority: optional
Filename: pool/main/o/onnxruntime/libonnxruntime-providers_1.27.0+dfsg-1_riscv64.deb
Size: 12300
MD5sum: e6f2eb5080b6d6d2e5a7a38ee108ce8a
SHA256: f1a1c31ae09c009bf0648e53192e64b67994f483112f255ad01119bad547f808

Package: libonnxruntime1.27
Source: onnxruntime
Version: 1.27.0+dfsg-1
Installed-Size: 15248
Maintainer: Debian Deep Learning Team <debian-ai@lists.debian.org>
Architecture: riscv64
Replaces: libonnxruntime-dev (<< 1.20.1+dfsg-1~exp2~), libonnxruntime1.19.2, libonnxruntime1.20.1
Depends: libabsl20260107 (>= 20260107.0-0~), libc6 (>= 2.38), libgcc-s1 (>= 4.5), libonnx1l (>= 1.20.0), libprotobuf32t64 (>= 3.21.12), libre2-11-absl20260107, libstdc++6 (>= 15), libonnxruntime-providers (= 1.27.0+dfsg-1)
Conflicts: libonnxruntime1.19.2, libonnxruntime1.20.1
Breaks: libonnxruntime-dev (<< 1.20.1+dfsg-1~exp2~)
Description: cross-platform inference and training ML accelerator (shared lib)
Multi-Arch: same
Homepage: https://github.com/microsoft/onnxruntime
Description-md5: 552d4cb5b759776d4c1e450cf6be2235
Section: libs
Priority: optional
Filename: pool/main/o/onnxruntime/libonnxruntime1.27_1.27.0+dfsg-1_riscv64.deb
Size: 5207520
MD5sum: 0f5b7698f83bd834956045af478aa42c
SHA256: df045060e69e45cc86ac50d110060b613d6e1085f976b2b2a537204fcf428456

.
24443,24446c
Filename: pool/main/o/onetbb/libtbb-doc_2023.1.0-1~exp1_all.deb
Size: 4609416
MD5sum: e373556653064b4d357c12e35d14db98
SHA256: dd1a8b953c746ba7cf53e35ecc21f590140d529ba410ce461231df90192a5805
.
24428,24429c
Version: 2023.1.0-1~exp1
Installed-Size: 20431
.
24391a
Package: libcompiler-libs-ocaml-dev
Source: ocaml
Version: 5.5.0-1~exp2
Installed-Size: 231322
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: riscv64
Provides: libcompiler-libs-ocaml-dev-h04y6
Depends: libc6 (>= 2.33), libstdlib-ocaml-dev-81c15
Description: OCaml compiler library (development files)
Homepage: https://ocaml.org/
Description-md5: 80554dd401f357d127cca9b1ea91d00e
Section: ocaml
Priority: optional
Filename: pool/main/o/ocaml/libcompiler-libs-ocaml-dev_5.5.0-1~exp2_riscv64.deb
Size: 44446196
MD5sum: 43a96c14414946e0b239c2dd1028b428
SHA256: 3499a4389c7a26ed0a6ac27a37f52acdc0878a87d565f444b13c99633660148b

Package: libstdlib-ocaml
Source: ocaml
Version: 5.5.0-1~exp2
Installed-Size: 992
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: riscv64
Provides: libseq-ocaml, libstdlib-ocaml-81c15, libstdlib-shims-ocaml, libuchar-ocaml
Depends: libc6 (>= 2.42)
Description: OCaml standard library (runtime files)
Homepage: https://ocaml.org/
Description-md5: 46f1325ed79033a069bd97461667ded8
Section: ocaml
Priority: optional
Filename: pool/main/o/ocaml/libstdlib-ocaml_5.5.0-1~exp2_riscv64.deb
Size: 431564
MD5sum: c27419612130d44e149898283d98438d
SHA256: 563d6f66b2dc2573c92acbee867b46bf548a1fa7cb74f6a4b253e94f1fb72a07

Package: libstdlib-ocaml-dev
Source: ocaml
Version: 5.5.0-1~exp2
Installed-Size: 81473
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: riscv64
Provides: libseq-ocaml-dev, libstdlib-ocaml-dev-81c15, libstdlib-shims-ocaml-dev, libuchar-ocaml-dev
Depends: libc6 (>= 2.38), libstdlib-ocaml-81c15
Recommends: ocaml-man
Description: OCaml standard library (development files)
Homepage: https://ocaml.org/
Description-md5: 3c28e93ad40a14dc46004db8eafa18eb
Section: ocaml
Priority: optional
Filename: pool/main/o/ocaml/libstdlib-ocaml-dev_5.5.0-1~exp2_riscv64.deb
Size: 10801792
MD5sum: a2f156395b94c244e8a170fb9dcded9d
SHA256: 10fb1df043a77746658a12e5c8b5007f5bcabd8e4b9cc4becccbeaaeb153905a

Package: ocaml
Version: 5.5.0-1~exp2
Installed-Size: 110418
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: riscv64
Provides: ocaml-5.5.0, ocaml-best-compilers (= 5.5.0-1~exp2), ocaml-native-compilers (= 5.5.0-1~exp2)
Depends: ocaml-interp (= 5.5.0-1~exp2), libncurses-dev, gcc, binutils, libzstd-dev, libc6 (>= 2.42)
Recommends: ocaml-man, file
Suggests: ocaml-doc, elpa-tuareg
Description: ML language implementation with a class-based object system
Homepage: https://ocaml.org/
Description-md5: dcd1d59cdc98896c575aeeabb19a6440
Tag: devel::compiler, devel::interpreter, devel::lang:ocaml,
 implemented-in::ocaml, role::program, uitoolkit::ncurses
Section: ocaml
Priority: optional
Filename: pool/main/o/ocaml/ocaml_5.5.0-1~exp2_riscv64.deb
Size: 20236368
MD5sum: 3af77f4816ac81787074e366d50047e5
SHA256: 909e3ee73f2bf1ea476753abe0890930bb604955047aa50630cd5645b1bf6ce2

Package: ocaml-base
Source: ocaml
Version: 5.5.0-1~exp2
Installed-Size: 1467
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: riscv64
Provides: ocaml-base-5.5.0
Depends: libstdlib-ocaml (= 5.5.0-1~exp2), libc6 (>= 2.38)
Description: Runtime system for OCaml bytecode executables
Homepage: https://ocaml.org/
Description-md5: 22def5f7afe738cafb091a12fb56243b
Tag: devel::lang:ocaml, devel::runtime, implemented-in::ocaml,
 interface::graphical, interface::x11, role::program, role::shared-lib,
 uitoolkit::tk, x11::application
Section: ocaml
Priority: optional
Filename: pool/main/o/ocaml/ocaml-base_5.5.0-1~exp2_riscv64.deb
Size: 544992
MD5sum: 622b044d36945a3b5ed0b1e90b57e907
SHA256: e0ab333b8708c4e7c069d4ed59f8baac5adb9b4238303d3d8af48f74c0b0cf5a

Package: ocaml-interp
Source: ocaml
Version: 5.5.0-1~exp2
Installed-Size: 27632
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: riscv64
Provides: ocaml-interp-5.5.0
Depends: ocaml-base (= 5.5.0-1~exp2), libcompiler-libs-ocaml-dev (= 5.5.0-1~exp2)
Recommends: ledit | readline-editor
Description: OCaml interactive interpreter and standard libraries
Homepage: https://ocaml.org/
Description-md5: 8eec5a948780aa1b1aac7a63aefff1cb
Tag: devel::interpreter, devel::lang:ocaml, implemented-in::ocaml,
 interface::commandline, role::program, scope::utility
Section: ocaml
Priority: optional
Filename: pool/main/o/ocaml/ocaml-interp_5.5.0-1~exp2_riscv64.deb
Size: 8220700
MD5sum: 89e37bf9829677a833f1da141dd06b7d
SHA256: a63278d63ea00a72b646674ea6c09833c9d89fc0438fb1688480a5089adeaf35

.
24284,24299d
23833,23869d
22107,22248d
21941,21944c
Filename: pool/main/m/maelstrom/maelstrom_4.0.2+ds-1_riscv64.deb
Size: 1077856
MD5sum: aa3db8d6eed3b35e62300ffb48ea34f5
SHA256: 528f2a4ec4ca6aa9cea9accbf01e39f85c1c2fd3c63c8ff1cc005076ae39254e
.
21933c
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.0), libphysfs1 (>= 3.2.0), libsdl3-0 (>= 3.4.2~), libsdl3-net0 (>= 3.2.0~), libstdc++6 (>= 5)
.
21929,21930c
Version: 4.0.2+ds-1
Installed-Size: 2386
.
19829,20733d
19642a
Package: libtorrent-rasterbar2.1
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 7787
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: riscv64
Depends: libatomic1 (>= 4.8), libc6 (>= 2.38), libgcc-s1 (>= 4.3), 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_riscv64.deb
Size: 2911212
MD5sum: f0ba9d0afb3bab16c332d25a765be2cd
SHA256: 38938498fda1447a783c232b82b45e693649a9fc8e6272669c616f5a0b77b709

Package: python3-libtorrent
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 4418
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: riscv64
Depends: libatomic1 (>= 4.8), libboost-python1.90.0 (>= 1.90.0), libboost-python1.90.0-py314, libc6 (>= 2.38), libgcc-s1 (>= 4.3), 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_riscv64.deb
Size: 694560
MD5sum: 41fab63e6693fa26b552333f61123ca1
SHA256: 41b09723ed5080740e8453ba0d1045c362da0e13dd56d39e69ddf624b88b65bf

.
19623a
Package: libtorrent47
Source: libtorrent
Version: 0.16.17-1
Installed-Size: 1357
Maintainer: Jose Luis Rivas <ghostbar@debian.org>
Architecture: riscv64
Depends: libc6 (>= 2.38), libcurl4t64 (>= 7.63.0), libgcc-s1 (>= 4.3), 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_riscv64.deb
Size: 563492
MD5sum: 8eb378e141c0aeb4ce173ebc778cca4e
SHA256: 4fefc326860163c74f73feb31910f322d215a803a064f767816cb8219a5dccc6

Package: libtorrent-rasterbar-dev
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 2239
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: riscv64
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_riscv64.deb
Size: 437484
MD5sum: 870960474c996ef3c9922d51e7529400
SHA256: 4c67b51ad808d7369d04c92a8cf7b11efd0c4a5cdd20acf276bc1e48c248d51a

.
19601,19604c
Filename: pool/main/libt/libtorrent/libtorrent-dev_0.16.17-1_riscv64.deb
Size: 62332
MD5sum: 39761b1e6e3f226f168e24fb5b85b14e
SHA256: 0ac10608fee0070f516e8164bef15579ae2f0cf058bf2a07b54ffe807186d7d4
.
19592c
Depends: libsigc++-2.0-dev, libtorrent47 (= 0.16.17-1)
.
19588,19589c
Version: 0.16.17-1
Installed-Size: 369
.
14887,14923d
13303,13306c
Filename: pool/main/k/ktnef/libktnef-dev_26.04.3-1_riscv64.deb
Size: 15812
MD5sum: 682c2ec537895dc69e3bae73ae3a3cff
SHA256: d846e26092acd875185ff2e5c7a371f7a4ce5d6f25504b418ec16b3e04b2e48e
.
13296c
Depends: libkf6calendarcore-dev (>= 6.22.0~), libkpim6tnef6 (= 4:26.04.3-1)
.
13292c
Version: 4:26.04.3-1
.
13285,13288c
Filename: pool/main/k/ktnef/libktnef-data_26.04.3-1_all.deb
Size: 77292
MD5sum: 495a9cb7886f5501b025a0172a08ad7d
SHA256: a2118ccc46ffc8f2d9705600b4d03bb543517d2f6c59a275d11886d91dccbcda
.
13275c
Version: 4:26.04.3-1
.
13268,13271c
Filename: pool/main/k/ktnef/libkpim6tnef6_26.04.3-1_riscv64.deb
Size: 49800
MD5sum: 521e4d0df87a5843cb1351cd89e96eb2
SHA256: a7542fb9a212d04db218faa3b3b62b18f3dc1dd06ee8555624751aa2b8ca4683
.
13261c
Depends: libktnef-data (>= 4:26.04.3-1), libc6 (>= 2.27), libkf6calendarcore6 (>= 6.22.0~), libkf6contacts6 (>= 6.22.0~), libkf6i18n6 (>= 6.22.0~), libkpim6calendarutils6 (>= 4:26.04.3), libkpim6calendarutils6-26.04, libqt6core6t64 (>= 6.10.2), libstdc++6 (>= 5)
.
13256c
Version: 4:26.04.3-1
.
12682,12685c
Filename: pool/main/k/kmail-account-wizard/accountwizard_26.04.3-1_riscv64.deb
Size: 169608
MD5sum: acc01df40642e7aef34dc5b84f1a5b9e
SHA256: 3ce28272ba0fad3bcc04c8f22e2c056c2d3b524687c2c981b8b9bfe0f43cc1ec
.
12675c
Depends: qml6-module-org-kde-kirigami, qml6-module-org-kde-kirigamiaddons-components, qml6-module-org-kde-kirigamiaddons-formcard, qml6-module-qtquick, qml6-module-qtquick-controls, qml6-module-qtquick-layouts, qml6-module-qtquick-templates, libc6 (>= 2.34), libgcc-s1 (>= 3.4), libkf6configcore6 (>= 6.0.0), libkf6configwidgets6 (>= 6.3.0), libkf6coreaddons6 (>= 6.0.0), libkf6crash6 (>= 6.22.0~), libkf6dbusaddons6 (>= 6.22.0~), libkf6i18n6 (>= 6.22.0~), libkf6i18nqml6 (>= 6.22.0~), libkf6iconthemes6 (>= 6.22.0~), libkpim6akonadicore6 (>= 4:26.04.3), libkpim6akonadicore6-26.04, libkpim6identitymanagementcore6 (>= 26.04.3), libkpim6identitymanagementcore6-26.04, libkpim6mailtransport6 (>= 26.04.3), libkpim6mailtransport6-26.04, libkpim6mime6 (>= 26.04.3), libkpim6mime6-26.04, libqt6core6t64 (>= 6.10.2), libqt6dbus6 (>= 6.9.0~), libqt6gui6 (>= 6.9.0~), libqt6network6 (>= 6.9.0~), libqt6qml6 (>= 6.10.2), libqt6quickcontrols2-6 (>= 6.9.0~), libqt6widgets6 (>= 6.9.0~), libqt6xml6 (>= 6.9.0~), libstdc++6 (>= 5), qt6-base-private-abi (= 6.10.2), qt6-declarative-private-abi (= 6.10.2)
.
12671,12672c
Version: 4:26.04.3-1
Installed-Size: 840
.
10949a
Package: python3-imath
Source: imath
Version: 3.2.2-1
Installed-Size: 67877
Maintainer: Debian PhotoTools Maintainers <pkg-phototools-devel@lists.alioth.debian.org>
Architecture: riscv64
Depends: python3-numpy2-abi0 | python3-numpy-abi9, python3 (<< 3.15), python3 (>= 3.13~), libboost-python1.90.0 (>= 1.90.0), libboost-python1.90.0-py313, libboost-python1.90.0-py314, libc6 (>= 2.32), libgcc-s1 (>= 3.0), libimath-3-2-30 (>= 3.2.2), libstdc++6 (>= 13.1)
Description: Utility libraries from ASF used by OpenEXR - Python bindings
Multi-Arch: same
Homepage: https://www.openexr.com
Description-md5: 60d51030b7c1bb38960a6f8cfcac040d
Section: python
Priority: optional
Filename: pool/main/i/imath/python3-imath_3.2.2-1_riscv64.deb
Size: 7778588
MD5sum: 272f849bf13f0ff0ab2283d291c328c5
SHA256: b20a640ed1cf6ed1763a30b2872157a99d22a573d318836e9a11b02bde0d8276

.
10931a
Package: libimath-3-2-30
Source: imath
Version: 3.2.2-1
Installed-Size: 317
Maintainer: Debian PhotoTools Maintainers <pkg-phototools-devel@lists.alioth.debian.org>
Architecture: riscv64
Depends: libc6 (>= 2.27), libstdc++6 (>= 13.1)
Description: Utility libraries from ASF used by OpenEXR - runtime
Multi-Arch: same
Homepage: https://www.openexr.com
Description-md5: e8c9ffbe25a2f39597189450f5ef7590
Section: libs
Priority: optional
Filename: pool/main/i/imath/libimath-3-2-30_3.2.2-1_riscv64.deb
Size: 38652
MD5sum: 49da8e7d50992ed905f5e81e5c12316d
SHA256: 72f516e5b7e98421bf58b3ef9dc4994a9fb18ce2dc1cc86f23d57fb49ec8a326

Package: libimath-dev
Source: imath
Version: 3.2.2-1
Installed-Size: 1075
Maintainer: Debian PhotoTools Maintainers <pkg-phototools-devel@lists.alioth.debian.org>
Architecture: riscv64
Replaces: libilmbase-dev
Provides: libilmbase-dev
Depends: libimath-3-2-30 (= 3.2.2-1)
Conflicts: libilmbase-dev
Description: Utility libraries from ASF used by OpenEXR - development
Multi-Arch: same
Homepage: https://www.openexr.com
Description-md5: 7feeee112786f30116c619a621a66b2d
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/i/imath/libimath-dev_3.2.2-1_riscv64.deb
Size: 125192
MD5sum: 140d058f385a7fe9da3fedf1499276ec
SHA256: 273e892be80f628ba6216f2883d11d3e1e8d5424cc7153f8bc2f77c494200bb2

.
10765,10876d
8891,8894c
Filename: pool/main/g/gst-python1.0/python3-gst-1.0_1.29.1-1+b1_riscv64.deb
Size: 35952
MD5sum: f3ef6d39dcadf5c73bd0f72ec74300cb
SHA256: 9d8347e1f4299310a7db139876f9b55830ceca6d383a323afd65fec45397da06
.
8880,8882c
Source: gst-python1.0 (1.29.1-1)
Version: 1.29.1-1+b1
Installed-Size: 190
.
8874,8877c
Filename: pool/main/g/gst-python1.0/gstreamer1.0-python3-plugin-loader_1.29.1-1+b1_riscv64.deb
Size: 12352
MD5sum: 8de9f5277078f8d4b2a2098182a0dfc3
SHA256: a645049e94263dc1344067d537567b2be4fc7fa10d18e14d8f4323c23aefc0b9
.
8866c
Depends: libc6 (>= 2.34), libglib2.0-0t64 (>= 2.36.0), libgstreamer1.0-0 (>= 1.29.1), libpython3.14 (>= 3.14.1), python3-gi, python3-gst-1.0 (= 1.29.1-1+b1)
.
8861,8863c
Source: gst-python1.0 (1.29.1-1)
Version: 1.29.1-1+b1
Installed-Size: 41
.
5256,5259c
Filename: pool/main/f/flocq/libcoq-flocq_4.2.2-1_riscv64.deb
Size: 3465688
MD5sum: b3234d828fe42eceb0984f6dd50bf53b
SHA256: 4f9ba520f686be884d2fd148cbe41a1db2ff0e9fd6a64e45ef98a7b59f4553b5
.
5249,5250c
Provides: libcoq-flocq-9bje0
Depends: libcoq-stdlib-xv0b8
.
5245,5246c
Version: 4.2.2-1
Installed-Size: 9252
.
4367,4370c
Filename: pool/main/e/edge-addition-planarity-suite/planarity_5.0.0.0-1_riscv64.deb
Size: 58680
MD5sum: c64684dd48073b4c15251d008c167af4
SHA256: 7794fb045b28d299e38dc0dcdf3b684e2a8b3e0e90e05897371fddf630caca4a
.
4361c
Depends: libplanarity4 (= 5.0.0.0-1), libc6 (>= 2.34)
.
4357,4358c
Version: 5.0.0.0-1
Installed-Size: 152
.
4350,4353c
Filename: pool/main/e/edge-addition-planarity-suite/libplanarity4_5.0.0.0-1_riscv64.deb
Size: 67872
MD5sum: 16df408b8db2405f5bcaf1dc68f50712
SHA256: a0c065f76f647add1650a8d5ac0b6146598a11e637a82aa9453e77874b5389c7
.
4339,4340c
Version: 5.0.0.0-1
Installed-Size: 156
.
4337c
Package: libplanarity4
.
4332,4335c
Filename: pool/main/e/edge-addition-planarity-suite/libplanarity-dev_5.0.0.0-1_riscv64.deb
Size: 17004
MD5sum: 8bd8efe95ecccb3a662fc1034f9c7d4c
SHA256: 8a247871e884cc9e62e20cea41c21211a8c54d32976a53dacbf9db2d5e3dd99a
.
4324c
Depends: libplanarity4 (= 5.0.0.0-1)
.
4320,4321c
Version: 5.0.0.0-1
Installed-Size: 74
.
4155,4241d
3151a
Package: cryptsetup-ssh
Source: cryptsetup
Version: 2:2.8.7~rc1-1
Installed-Size: 99
Maintainer: Debian Cryptsetup Team <pkg-cryptsetup-devel@alioth-lists.debian.net>
Architecture: riscv64
Replaces: cryptsetup (<< 2:2.5.0~rc1-3), cryptsetup-bin (<< 2:2.5.0~rc1-3)
Depends: libc6 (>= 2.38), libcryptsetup12 (>= 2:2.7), libjson-c5 (>= 0.15), libpopt0 (>= 1.14), libssh-4 (>= 0.8.0)
Recommends: cryptsetup-bin (>= 2:2.8.7~rc1-1)
Breaks: cryptsetup (<< 2:2.5.0~rc1-3), cryptsetup-bin (<< 2:2.5.0~rc1-3)
Description: disk encryption support - experimental SSH token handler
Multi-Arch: foreign
Homepage: https://gitlab.com/cryptsetup/cryptsetup
Description-md5: 2da5a17c380bf0b79a11ebac69047c2b
Section: admin
Priority: optional
Filename: pool/main/c/cryptsetup/cryptsetup-ssh_2.8.7~rc1-1_riscv64.deb
Size: 31036
MD5sum: adb2ae8095ddf5aff32669987e8045ff
SHA256: 9958c0780f667f8afe479174b5e0043848c1ceb89bb6dac1224dd167897cc91a

Package: cryptsetup-suspend
Source: cryptsetup
Version: 2:2.8.7~rc1-1
Installed-Size: 82
Maintainer: Debian Cryptsetup Team <pkg-cryptsetup-devel@alioth-lists.debian.net>
Architecture: riscv64
Depends: cryptsetup-initramfs (>= 2:2.8.7~rc1-1), initramfs-tools-core, kbd, systemd, libc6 (>= 2.38), libcryptsetup12 (>= 2:2.1)
Description: disk encryption support - suspend mode integration
Multi-Arch: foreign
Homepage: https://gitlab.com/cryptsetup/cryptsetup
Description-md5: d9058ae0716be5818faf97597b305348
Section: admin
Priority: optional
Filename: pool/main/c/cryptsetup/cryptsetup-suspend_2.8.7~rc1-1_riscv64.deb
Size: 23064
MD5sum: ba47373438965d7f2c295d2e5f1245d6
SHA256: b6bb0905f5c3d37bf09adf51757fa6f1114d16253f360d17136ad26f211a04f0

Package: libcryptsetup-dev
Source: cryptsetup
Version: 2:2.8.7~rc1-1
Installed-Size: 172
Maintainer: Debian Cryptsetup Team <pkg-cryptsetup-devel@alioth-lists.debian.net>
Architecture: riscv64
Depends: libblkid-dev, libcryptsetup12 (= 2:2.8.7~rc1-1), libdevmapper-dev, libjson-c-dev, libssl-dev, uuid-dev
Description: disk encryption support - development files
Multi-Arch: same
Homepage: https://gitlab.com/cryptsetup/cryptsetup
Description-md5: f9f5cbe91fe7a25a22798d2891748370
Tag: devel::library, role::devel-lib
Section: libdevel
Priority: optional
Filename: pool/main/c/cryptsetup/libcryptsetup-dev_2.8.7~rc1-1_riscv64.deb
Size: 36400
MD5sum: 7eebd60b69cc80c3e5f8378ac9fc3eba
SHA256: 2cbc0fdd0befcdeb540db5eb3843c488975b559c87eb9c579b574aac813d97b7

Package: libcryptsetup12
Source: cryptsetup
Version: 2:2.8.7~rc1-1
Installed-Size: 542
Maintainer: Debian Cryptsetup Team <pkg-cryptsetup-devel@alioth-lists.debian.net>
Architecture: riscv64
Depends: libblkid1 (>= 2.24.2), libc6 (>= 2.38), libdevmapper1.02.1 (>= 2:1.02.197), libjson-c5 (>= 0.15), libssl3t64 (>= 3.2.0), libuuid1 (>= 2.16)
Description: disk encryption support - shared library
Multi-Arch: same
Homepage: https://gitlab.com/cryptsetup/cryptsetup
Description-md5: 4d51c661b0adee027561376db6e58853
Tag: role::shared-lib
Section: libs
Priority: optional
Filename: pool/main/c/cryptsetup/libcryptsetup12_2.8.7~rc1-1_riscv64.deb
Size: 252528
MD5sum: 24a2924720f57aab08661c1a2ae08980
SHA256: f3615e5d500249d9f2424424c02c06bd350485d7ca0a99e0bec4ded565e9ed9c

.
3130a
Package: cryptsetup
Version: 2:2.8.7~rc1-1
Installed-Size: 457
Maintainer: Debian Cryptsetup Team <pkg-cryptsetup-devel@alioth-lists.debian.net>
Architecture: riscv64
Depends: cryptsetup-bin (>= 2:2.7.2-1), dmsetup, debconf (>= 0.5) | debconf-2.0, libc6 (>= 2.38)
Suggests: cryptsetup-initramfs, dosfstools, keyutils, liblocale-gettext-perl
Conflicts: cryptsetup-nuke-password (<< 5~)
Description: disk encryption support - startup scripts
Multi-Arch: foreign
Homepage: https://gitlab.com/cryptsetup/cryptsetup
Description-md5: 109c1fbecc9a2c070cf7023e889b3839
Tag: admin::boot, admin::filesystem, implemented-in::c,
 interface::commandline, role::program, scope::utility,
 security::cryptography, security::privacy, use::configuring
Section: admin
Priority: optional
Filename: pool/main/c/cryptsetup/cryptsetup_2.8.7~rc1-1_riscv64.deb
Size: 230016
MD5sum: fc0d6f9f937f1e9e0d462b913c80178e
SHA256: d23ed072a2dbf8beeaea2d4249fc960301e97d3e18d79440ab4898fe587b9d91

Package: cryptsetup-bin
Source: cryptsetup
Version: 2:2.8.7~rc1-1
Installed-Size: 2848
Maintainer: Debian Cryptsetup Team <pkg-cryptsetup-devel@alioth-lists.debian.net>
Architecture: riscv64
Depends: systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libblkid1 (>= 2.24.2), libc6 (>= 2.38), libcryptsetup12 (>= 2:2.8), libpopt0 (>= 1.14), libuuid1 (>= 2.16)
Description: disk encryption support - command line tools
Multi-Arch: foreign
Homepage: https://gitlab.com/cryptsetup/cryptsetup
Description-md5: f246d77fd4a53179a8cc7416283d0181
Section: admin
Priority: optional
Filename: pool/main/c/cryptsetup/cryptsetup-bin_2.8.7~rc1-1_riscv64.deb
Size: 542988
MD5sum: 640aeeebb0233f1f826d3c63cee50b0e
SHA256: c46ca5227947042c485cd638193ce2c3bb3b473ab85a7b3bdf070cf570053d28

.
2978,3014d
2760,2776c
Source: coq-unicoq (1.6-9.1-1)
Version: 1.6-9.1-1+b1
Installed-Size: 355
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: riscv64
Provides: libcoq-unicoq-tp6d4
Depends: libcoq-stdlib-xv0b8
Description: enhanced unification algorithm for Coq
Homepage: https://github.com/unicoq/unicoq/
Description-md5: 48caa7101c0321542fff948271f05d89
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-unicoq/libcoq-unicoq_1.6-9.1-1+b1_riscv64.deb
Size: 89328
MD5sum: 7739bda1afca44218112d49085f7f2cf
SHA256: bc3e5199e886e6698818007f30199ca4ce1cf6eeb2c99a2f19b1ef898ffa807f

.
2754,2757c
Filename: pool/main/c/coq-stdpp/libcoq-stdpp_1.13.0-1_riscv64.deb
Size: 5282216
MD5sum: 19a77f65a0de978ef6ef1a65ef042b4a
SHA256: 199d84047fb2c25cf2bc572eaf88f3a3b73b31c682919cfbcc1b29639f2ade2f
.
2747,2748c
Provides: libcoq-stdpp-ix312
Depends: libcoq-stdlib-xv0b8
.
2742,2744c
Source: coq-stdpp
Version: 1.13.0-1
Installed-Size: 16768
.
2736,2739c
Filename: pool/main/c/coq-simple-io/libcoq-simple-io_1.11.0-4_riscv64.deb
Size: 236336
MD5sum: 57db7dfd92e0cf09eb4725e1a8677eeb
SHA256: a2ed32254d8e3b88750a931e0e06f893b7656e0982b2401ea1cfd5a81aacb12b
.
2729,2730c
Provides: libcoq-simple-io-yhef4
Depends: libcoq-ext-lib-ek428, libcoq-stdlib-xv0b8
.
2725,2726c
Version: 1.11.0-4
Installed-Size: 1289
.
2706,2722c
Source: coq-reduction-effects (0.1.6-3)
Version: 0.1.6-3+b1
Installed-Size: 79
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: riscv64
Provides: libcoq-reduction-effects-uvtt3
Depends: libcoq-stdlib-xv0b8
Description: reduction effects for Coq
Homepage: https://github.com/coq-community/reduction-effects
Description-md5: 760b1483c020afdf83e92b99f3fd7368
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-reduction-effects/libcoq-reduction-effects_0.1.6-3+b1_riscv64.deb
Size: 16144
MD5sum: 4f309c290121ee5cb006bb8ebd0444a8
SHA256: e93501789e78af500712f3ece7cf5732bc766d7e1f13cd7a3a2b59907c99ae12

.
2682,2685c
Filename: pool/main/c/coq-menhirlib/libcoq-menhirlib_20260209+ds-1_riscv64.deb
Size: 916024
MD5sum: eeb8d15611ebf617f07c7c3d942002a1
SHA256: a3dcfd7263abcd5e6bf34aedfd6d1a4b6586a829ffb96be105e690d567dd591f
.
2675,2676c
Provides: libcoq-menhirlib-il1s9
Depends: libcoq-stdlib-xv0b8
.
2671,2672c
Version: 20260209+ds-1
Installed-Size: 2700
.
2664,2667c
Filename: pool/main/c/coq-math-classes/libcoq-math-classes_9.0.0-3_riscv64.deb
Size: 2873296
MD5sum: 24f2c5371292942a4b451bb8af140990
SHA256: 4e8b73f3423ecb062831ad3123ddcb49e7c9cac294265736fddbdd6a3f0aa6e9
.
2657,2658c
Provides: libcoq-math-classes-ei696
Depends: libcoq-bignums-facn6, libcoq-stdlib-xv0b8
.
2653,2654c
Version: 9.0.0-3
Installed-Size: 9797
.
2646,2649c
Filename: pool/main/c/coq-libhyps/libcoq-libhyps_5.0.0-1_riscv64.deb
Size: 79192
MD5sum: e70c3c9517b56a07b725a959109b5425
SHA256: cbf3f971a45eb9e5e253d7cd8909d8c6a12ca6bc1ff73840b2464ea2c1fec4f1
.
2639,2640c
Provides: libcoq-libhyps-zsos6
Depends: libcoq-stdlib-xv0b8
.
2635,2636c
Version: 5.0.0-1
Installed-Size: 377
.
2632a
Package: libcoq-hott
Source: coq-hott (9.1-1)
Version: 9.1-1+b1
Installed-Size: 60226
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: riscv64
Provides: libcoq-hott-ml111
Depends: libcoq-stdlib-xv0b8
Description: Coq library for homotopy type theory
Homepage: https://github.com/HoTT/HoTT
Description-md5: 5c56dd9ef75fce82fc2150b322df3d18
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-hott/libcoq-hott_9.1-1+b1_riscv64.deb
Size: 15126060
MD5sum: ff5ef0e0e01fe080c1ebb5bc5b6f0959
SHA256: 0599d5552b54038487bf0792dd5eb540d79c1e3112e3c1cada4a41ed1125d4be

.
2628,2631c
Filename: pool/main/c/coq-hammer/libcoq-hammer_1.3.3+9.2-1_riscv64.deb
Size: 528844
MD5sum: 679cb4c5557cd94fb7b3195c8a8a7eb1
SHA256: 0a3a3344b1d144a7ebba452bf124600d45286eefe84703f4a796622ae6cc7d42
.
2621,2622c
Provides: libcoq-hammer-uv129
Depends: libcoq-stdlib-xv0b8, libc6 (>= 2.38), libgcc-s1 (>= 3.4), libstdc++6 (>= 13.1)
.
2617,2618c
Version: 1.3.3+9.2-1
Installed-Size: 2456
.
2610,2613c
Filename: pool/main/c/coq-ext-lib/libcoq-ext-lib_0.13.1-1_riscv64.deb
Size: 772052
MD5sum: ed93428b527dbe80c1a1b9e7104e3ffb
SHA256: a9c023c5fb41c908b2aac9a2fc9fd809cbce9549150b6657d5423089eb2ed744
.
2603,2604c
Provides: libcoq-ext-lib-ek428
Depends: libcoq-stdlib-xv0b8
.
2599,2600c
Version: 0.13.1-1
Installed-Size: 2793
.
2592,2595c
Filename: pool/main/c/coq-bignums/libcoq-bignums_9.0.0+rocq9.2-1_riscv64.deb
Size: 1900252
MD5sum: 9b07d9a846ec45fa57de664290302e3c
SHA256: d464e95c93612b3076c744fe973f9b1fe605795440192024e19bfa55bce3ecf1

Package: coq-dpdgraph-tools
Source: coq-dpdgraph
Version: 1.0+9.1-1
Installed-Size: 4072
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: riscv64
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_riscv64.deb
Size: 662240
MD5sum: 8347569c1f98501707818025c988ef70
SHA256: 9f7ef3109193f7ae56a2e388c4d5e5788b6386f6f8279fc8993d31292f8fa6b8

Package: libcoq-dpdgraph
Source: coq-dpdgraph
Version: 1.0+9.1-1
Installed-Size: 182
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: riscv64
Provides: libcoq-dpdgraph-yflr2
Depends: libcoq-stdlib-xv0b8
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_riscv64.deb
Size: 36628
MD5sum: 1ec29f27802d8f357cc0edce557f68bc
SHA256: 04ed4b707d5978c92d74ef3bb6fbaaac568468b3456513da431fcbd7299270a8
.
2585,2586c
Provides: libcoq-bignums-facn6
Depends: libcoq-stdlib-xv0b8
.
2581,2582c
Version: 9.0.0+rocq9.2-1
Installed-Size: 6598
.
720,756d
