38087,38090c
Filename: pool/main/t/tk9.1/tk9.1-doc_9.1~b0-1_all.deb
Size: 1298760
MD5sum: 0c9914f75492282f31af63ac235eafa5
SHA256: daaf6e6498315342e2fa7fba0fef90a3dbe96f3c7056509e76a7f792fe53bcdd
.
38082a
Multi-Arch: foreign
.
38075,38076c
Version: 9.1~b0-1
Installed-Size: 2262
.
38068,38071c
Filename: pool/main/t/tk9.1/tk9.1-dev_9.1~b0-1_riscv64.deb
Size: 2162768
MD5sum: a07059a79606a8a621f3ae6226602018
SHA256: d9855338af5406a5b381b167b9092ee08514cede59d8e45851da02c5c30213fb
.
38060c
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
.
38056,38057c
Version: 9.1~b0-1
Installed-Size: 19317
.
38049,38052c
Filename: pool/main/t/tk9.1/tk9.1_9.1~b0-1_riscv64.deb
Size: 18608
MD5sum: 9e22ec7312cd0ab7c0524affb1922c98
SHA256: 84e02669341621d87fa75f90ff1852bdab7367040c1c611826ed93189437998d
.
38038,38039c
Version: 9.1~b0-1
Installed-Size: 60
.
38032,38035c
Filename: pool/main/t/tk9.1/libtk9.1_9.1~b0-1_riscv64.deb
Size: 961256
MD5sum: 451a17456f3b38261cb9d66b9104e9fc
SHA256: d4afb57e1fa03afb2dea27a924a0e47e8262b79ccc562ed8eaaee767c1e53b50
.
38024c
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
.
38019,38020c
Version: 9.1~b0-1
Installed-Size: 3152
.
31617,31635d
31323,31326c
Filename: pool/main/r/runit-services/runit-user-session_0.15.0_riscv64.deb
Size: 15600
MD5sum: 24acc324a41cd438a865331211fb3a1c
SHA256: ca023aa669a2681ba321c561b1bc6b71459c46a3de517bf250f9e9e61b7bdfc3
.
31311,31312c
Version: 0.15.0
Installed-Size: 63
.
31304,31307c
Filename: pool/main/r/runit-services/runit-user-services_0.15.0_all.deb
Size: 9720
MD5sum: 2656b8fb78043c67ea67dced50fd63ca
SHA256: 3ce85c359960d62b1d9d49a4310545ee96cd4b1af2c0a69d658543068de41d20
.
31293,31294c
Version: 0.15.0
Installed-Size: 57
.
31286,31289c
Filename: pool/main/r/runit-services/runit-services_0.15.0_all.deb
Size: 32692
MD5sum: cc3b21cac0f0896465a951d614417b5b
SHA256: 5f592e7b148364633b33428d5cf3306b1900891efd6727aba385f2d4fdf68856
.
31272,31273c
Version: 0.15.0
Installed-Size: 572
.
31266,31269c
Filename: pool/main/r/runit-services/runit-dbus-user-session_0.15.0_all.deb
Size: 9480
MD5sum: f6922d0da6e568fa528e76fd59300e24
SHA256: 79a8ce9ef6e80d6c2ea6223f8478786bb48f7fa2fa8796c2d50340c17e33c2f9
.
31256,31257c
Version: 0.15.0
Installed-Size: 45
.
31249,31252c
Filename: pool/main/r/runit-services/runit-cron-snooze_0.15.0_all.deb
Size: 9600
MD5sum: 6448b3830041edc07ab54a79a28bf030
SHA256: 6e48efdb2121f7afdedd651c94850fa5515fafafcd9d04af3aa4282f5573bde1
.
31233,31234c
Version: 0.15.0
Installed-Size: 74
.
28501,28504c
Filename: pool/main/p/pmix/python3-pmix_6.1.1~rc2-3_riscv64.deb
Size: 488336
MD5sum: a4fdcbfc52f3185d10b650ac851d09c0
SHA256: e7f9ee078a5ad41f45188b6d89a253f19a1a6a0cdf5fb7f24e76d6e4f28f0e6a
.
28489c
Version: 6.1.1~rc2-3
.
28482,28485c
Filename: pool/main/p/pmix/libpmix2t64_6.1.1~rc2-3_riscv64.deb
Size: 706732
MD5sum: 56e8a5265cb7ae3dac091a80327a408a
SHA256: c29339c0423d5a31124b7f1cd8f59f0c5c7af8ac5aea1dfbfae9a7d3dbd8f688
.
28473,28475c
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)
.
28468,28469c
Version: 6.1.1~rc2-3
Installed-Size: 2116
.
28461,28464c
Filename: pool/main/p/pmix/libpmix-dev_6.1.1~rc2-3_riscv64.deb
Size: 3612948
MD5sum: a12585576e0d7f9ca85d80e389695e13
SHA256: 992b2de5dfbe763b1c6134411db6bf629bf2913d91aa284fdf6e84e495dbac65
.
28456c
Built-Using: sphinx (= 9.1.0-4)
.
28451c
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)
.
28447,28448c
Version: 6.1.1~rc2-3
Installed-Size: 35945
.
28440,28443c
Filename: pool/main/p/pmix/libpmix-bin_6.1.1~rc2-3_riscv64.deb
Size: 47552
MD5sum: edb4ff38213a36f29f37071200cb5f2e
SHA256: 1df3a6c319bce37f8b45cacf20cbafa96810d4f752675476d18b059a4db421c0
.
28431c
Depends: libc6 (>= 2.38), libpmix2t64 (= 6.1.1~rc2-3)
.
28426,28427c
Version: 6.1.1~rc2-3
Installed-Size: 193
.
26450a
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

.
24284,24299d
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
.
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
.
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

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

.
2772,2775c
Filename: pool/main/c/coq-unicoq/libcoq-unicoq_1.6-9.1-1_riscv64.deb
Size: 89060
MD5sum: 1e29747ce4f4dae6b267aa1295c91654
SHA256: 1f7124273c2e61c0039fdc8f51d39347de872e795ee37495f6a2d05d21dd206b
.
2765,2766c
Provides: libcoq-unicoq-tp6d4
Depends: libcoq-stdlib-dmoq4
.
2760,2762c
Source: coq-unicoq
Version: 1.6-9.1-1
Installed-Size: 354
.
2718,2721c
Filename: pool/main/c/coq-reduction-effects/libcoq-reduction-effects_0.1.6-3_riscv64.deb
Size: 15852
MD5sum: 5c25397acad2d8c3f94894e82580e527
SHA256: 5e6888405edb656a25c403bea3d6234c93807750e5465329b8eb87429f77f5ae
.
2711,2712c
Provides: libcoq-reduction-effects-uvtt3
Depends: libcoq-stdlib-dmoq4
.
2707c
Version: 0.1.6-3
.
2632a
Package: libcoq-hott
Source: coq-hott
Version: 9.1-1
Installed-Size: 60225
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: riscv64
Provides: libcoq-hott-ml111
Depends: libcoq-stdlib-dmoq4
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_riscv64.deb
Size: 15126472
MD5sum: 6c456c0ed4aee93dbd7c3483a7d4a3d5
SHA256: 53b04b5b6ca5dcfcbb8bfef29b119cc9a9e1e6f16e9d3efaebfa90baf17d148c

.
720,756d
