41099,41118d
39701,39704c
Filename: pool/main/r/rocq-stdlib/libcoq-stdlib_9.1.0-1+b1_arm64.deb
Size: 20079112
MD5sum: 1a4ab9d2aa6f6b93f5a7b42a7f9c51a7
SHA256: 6c2ff4c587f01563a4414ff16a0c4fd6e87c29aff9c735ef90504b103e3a4ef0
.
39694c
Provides: libcoq-stdlib-t06o5
.
39689,39691c
Source: rocq-stdlib (9.1.0-1)
Version: 9.1.0-1+b1
Installed-Size: 70706
.
36069,36199d
33064,33067c
Filename: pool/main/o/ott/ott-tools_0.34+ds-4_arm64.deb
Size: 1666008
MD5sum: 19dcdc175cb9525808a76bbcd729d8da
SHA256: 73cb505ac3f83363c66476f7107cd6931535ee724a8b9f2728539fcd6142eec6
.
33054,33055c
Version: 0.34+ds-4
Installed-Size: 7167
.
33047,33050c
Filename: pool/main/o/ott/libcoq-ott_0.34+ds-4_arm64.deb
Size: 164232
MD5sum: 852c9720f3c2cd58197742d716115331
SHA256: 05c3d7568f6d839dbb511571f0f4476d8f15566e9f9338e799d9931b5d0abd86
.
33040,33041c
Provides: libcoq-ott-to595
Depends: libcoq-stdlib-t06o5
.
33036,33037c
Version: 0.34+ds-4
Installed-Size: 537
.
31010,31024d
30718,30904d
29212,29215c
Filename: pool/main/m/mini-buildd/python3-mini-buildd_2.5.4_all.deb
Size: 203440
MD5sum: a0d67eae741c1918eecc477bd359a030
SHA256: 184547360ea37ebacd68349563f82b48a82311d8fb06ff7c32a9c9ef09c29dbc
.
29199,29200c
Version: 2.5.4
Installed-Size: 1056
.
29192,29195c
Filename: pool/main/m/mini-buildd/mini-buildd-utils_2.5.4_all.deb
Size: 59212
MD5sum: 8c4506de829d688d78913b8a0311e025
SHA256: 314160ee18dbd12c8f5a45cc376a8555f363612e7141c0b79c7e5e6f190f985c
.
29184c
Depends: python3:any (>= 3.11~), python3-mini-buildd (= 2.5.4), python3-apt
.
29179,29180c
Version: 2.5.4
Installed-Size: 110
.
29172,29175c
Filename: pool/main/m/mini-buildd/mini-buildd-doc_2.5.4_all.deb
Size: 341044
MD5sum: 9feeec4a5bd504624365768349fcdbf2
SHA256: 847f90552dd94c32e384f2be84be296892c2e41db9033e6ddf0d4c94696a0be8
.
29164c
Depends: libjs-sphinxdoc (>= 9.0)
.
29159,29160c
Version: 2.5.4
Installed-Size: 3707
.
29152,29155c
Filename: pool/main/m/mini-buildd/mini-buildd_2.5.4_all.deb
Size: 77916
MD5sum: edd6c71852aab6a23741344a861ffaca
SHA256: f6e4a12d720ae995f9242eedb1290dfbde1b1c761a240def76ccba7696bbf389
.
29142,29143c
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)
.
29137,29138c
Version: 2.5.4
Installed-Size: 246
.
24508,24623d
24490a
Package: libtorrent-rasterbar-dev
Source: libtorrent-rasterbar
Version: 2.1.0-2
Installed-Size: 2239
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: arm64
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_arm64.deb
Size: 437488
MD5sum: d5b0318d2bd329b564e723715ecdc5ed
SHA256: 0ee86e59038ff72435a4a3cf7bd384c0b2aa2291f90ea2d1c0847379af68c941

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: 9264
Maintainer: Christian Marillat <marillat@debian.org>
Architecture: arm64
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_arm64.deb
Size: 2498596
MD5sum: 53d73e4a5724504b38c6c354e6de5cfb
SHA256: 17a4e86d5dd2915d469c9037f3aa82af1fbd69eac059a3eb4675bc4a636699a1

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

.
19529,19565d
17705,17708c
Filename: pool/main/k/kstars/kstars-data_3.8.3-2_all.deb
Size: 22397564
MD5sum: 32b0caa52d05f969b1cc6bbcaf240129
SHA256: cd60ece65960bb50b1b0cfd8638a819f0fca273f8e84507c39463e8d6a6c5cc7
.
17694,17696c
Version: 5:3.8.3-2
Installed-Size: 73323
Maintainer: Debian KDE Extras Team <pkg-kde-extras@alioth-lists.debian.net>
.
17687,17690c
Filename: pool/main/k/kstars/kstars_3.8.3-2_arm64.deb
Size: 8438324
MD5sum: 1968a7b9e0bbd91043330701d0d9414e
SHA256: 3b59f20ff9f26d669ce591127bdf2a28be9d95cc6c0ba5384f877e07b66b4812
.
17676,17677c
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
.
17672,17674c
Version: 5:3.8.3-2
Installed-Size: 35450
Maintainer: Debian KDE Extras Team <pkg-kde-extras@alioth-lists.debian.net>
.
15151a
Package: icann-rdap-srv
Version: 0.0.30-2
Installed-Size: 25268
Maintainer: Daniel Baumann <daniel@debian.org>
Architecture: arm64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 4.2), libssl3t64 (>= 3.0.0)
Description: RDAP Server
Homepage: https://github.com/icann/icann-rdap
Built-Using: rust-axum (= 0.8.9+ds-5), rust-event-listener (= 5.4.1-3), rust-hyper-rustls (= 0.27.9+ds-1), rust-rustls (= 0.23.41+ds-1), rust-rustls-native-certs (= 0.8.4+ds-1), rust-rustls-pki-types (= 1.14.1+ds-1), rust-rustls-platform-verifier (= 0.6.2-1), rust-rustls-webpki (= 0.103.13+ds-1), rustc (= 1.95.0+dfsg1-2)
Description-md5: 4e54167805f707d9869b5ffe96b50bc0
Static-Built-Using: icann-rdap-client (= 0.0.30-2), icann-rdap-common (= 0.0.30-2), rust-ab-radix-trie (= 0.2.1-3), rust-aho-corasick (= 1.1.4-2), rust-allocator-api2 (= 0.2.21-1), rust-anstream (= 0.6.21-1), rust-anstyle (= 1.0.14-1), rust-anstyle-parse (= 0.2.7-1), rust-anstyle-query (= 1.1.4-1), rust-atoi (= 2.0.0-1), rust-atomic-waker (= 1.1.2-1), rust-axum (= 0.8.9+ds-5), rust-axum-client-ip (= 1.3.1-2), rust-base64 (= 0.22.1-2), rust-bitflags (= 2.13.0-1), rust-block-buffer-0.10 (= 0.10.4-1), rust-byteorder (= 1.5.0-1), rust-bytes (= 1.11.1-1), rust-cfg-if (= 1.0.4-1), rust-chrono (= 0.4.45-1), rust-cidr (= 0.3.2-2), rust-clap (= 4.6.1-1), rust-clap-builder (= 4.6.0-1), rust-clap-lex (= 1.1.0-1), rust-client-ip (= 0.2.1-2), rust-colorchoice (= 1.0.0-1), rust-concurrent-queue (= 2.5.0-4), rust-const-format (= 0.2.34-1), rust-cpufeatures-0.2 (= 0.2.17-1), rust-crc (= 3.4.0-1), rust-crc-catalog (= 2.5.0-1), rust-crossbeam-queue (= 0.3.11-1), rust-crossbeam-utils (= 0.8.21-1), rust-crypto-common-0.1 (= 0.1.7-1), rust-digest-0.10 (= 0.10.7-1), rust-dotenvy (= 0.15.7-1), rust-dyn-clone (= 1.0.20-1), rust-either (= 1.15.0-1), rust-encoding-rs (= 0.8.35-1), rust-env-filter (= 1.0.1-1), rust-env-logger (= 0.11.10-1), rust-envmnt (= 0.10.4+dfsg-2), rust-equivalent (= 1.0.1-1), rust-errno (= 0.3.14-1), rust-event-listener (= 5.4.1-3), rust-fnv (= 1.0.7-1), rust-foldhash (= 0.2.0-2), rust-foreign-types-0.3 (= 0.3.2-2), rust-foreign-types-shared-0.1 (= 0.1.1-2), rust-form-urlencoded (= 1.2.2-1), rust-fsio (= 0.4.1-3), rust-futures-channel (= 0.3.32-1), rust-futures-core (= 0.3.32-1), rust-futures-intrusive (= 0.5.0-1), rust-futures-io (= 0.3.32-1), rust-futures-sink (= 0.3.32-1), rust-futures-task (= 0.3.32-1), rust-futures-util (= 0.3.32-3), rust-generic-array (= 0.14.7-1), rust-getrandom (= 0.4.2-3), rust-h2 (= 0.4.13-1), rust-hashbrown (= 0.16.1-2), rust-hashlink (= 0.10.0-2), rust-headers (= 0.4.0-1), rust-headers-core (= 0.3.0-1), rust-hex (= 0.4.3-3), rust-hkdf (= 0.12.4-1), rust-hmac-0.12 (= 0.12.1-1), rust-home (= 0.5.11-1), rust-http (= 1.4.0-1), rust-http-body (= 1.0.1-1), rust-http-body-util (= 0.1.3-1), rust-httparse (= 1.10.1-1), rust-httpdate (= 1.0.3-1), rust-hyper (= 1.8.1-1), rust-hyper-rustls (= 0.27.9+ds-1), rust-hyper-tls (= 0.6.0-1), rust-hyper-util (= 0.1.19-1), rust-iana-time-zone (= 0.1.64-1), rust-idna (= 1.1.0-1), rust-idna-adapter (= 1.1.0-1), rust-idna-mapping (= 1.0.0-1), rust-indexmap (= 2.14.0-1), rust-ipnet (= 2.12.0-1), rust-iri-string (= 0.7.0-1), rust-is-terminal-polyfill (= 1.70.1-1), rust-itoa (= 1.0.18-1), rust-jiff (= 0.2.27-1), rust-jsonpath-lib (= 0.3.0+dfsg-2), rust-jsonpath-rust (= 1.0.4-2), rust-lazy-static (= 1.5.0-3), rust-libc (= 0.2.186-1), rust-lock-api (= 0.4.14-1), rust-log (= 0.4.32-1), rust-matchers (= 0.2.0-1), rust-matchit (= 0.8.6-2), rust-md-5-0.10 (= 0.10.6-1), rust-memchr (= 2.8.0-1), rust-mime (= 0.3.17-1), rust-mio (= 1.2.0-1), rust-native-tls (= 0.2.14-2), rust-nu-ansi-term (= 0.50.1-1), rust-num-traits (= 0.2.19-2), rust-once-cell (= 1.21.4-1), rust-openssl (= 0.10.79-1), rust-openssl-probe (= 0.1.2-1), rust-openssl-sys (= 0.9.115-1), rust-parking (= 2.2.0-1), rust-parking-lot (= 0.12.5-1), rust-parking-lot-core (= 0.9.12-1), rust-pct-str (= 3.0.1-2), rust-percent-encoding (= 2.3.2-2), rust-pest (= 2.8.6-1), rust-pin-project-lite (= 0.2.16-1), rust-pin-utils (= 0.1.0-1), rust-ppv-lite86 (= 0.2.21-2), rust-prefix-trie (= 0.9.3-1), rust-rand (= 0.10.1+dfsg-1), rust-rand-0.8 (= 0.8.6+dfsg-1), rust-rand-chacha (= 0.10.0-2), rust-rand-chacha-0.3 (= 0.3.1-4), rust-rand-core (= 0.10.0-2), rust-rand-core-0.6 (= 0.6.4-5), rust-rangemap (= 1.7.1-1), rust-ref-cast (= 1.0.25-1), rust-regex (= 1.12.4-1), rust-regex-automata (= 0.4.13-1), rust-regex-syntax (= 0.8.11+dfsg-1), rust-reqwest (= 0.13.2-3), rust-ring (= 0.17.14-5), rust-rustls (= 0.23.41+ds-1), rust-rustls-native-certs (= 0.8.4+ds-1), rust-rustls-pemfile (= 2.2.0-4), rust-rustls-pki-types (= 1.14.1+ds-1), rust-rustls-platform-verifier (= 0.6.2-1), rust-rustls-webpki (= 0.103.13+ds-1), rust-ryu (= 1.0.22-1), rust-schemars (= 1.2.1-3), rust-scopeguard (= 1.2.0-1), rust-serde (= 1.0.228-3), rust-serde-core (= 1.0.228-2), rust-serde-json (= 1.0.150-1), rust-serde-path-to-error (= 0.1.20-1), rust-serde-urlencoded (= 0.7.1-1), rust-sha1-0.10 (= 0.10.7-1), rust-sha2-0.10 (= 0.10.9-2), rust-sharded-slab (= 0.1.4-2), rust-signal-hook-registry (= 1.4.8-1), rust-slab (= 0.4.12-1), rust-smallvec (= 1.15.2-1), rust-socket2 (= 0.6.4-1), rust-socket2-0.5 (= 0.5.10-1), rust-sqlx (= 0.8.3-2), rust-sqlx-core (= 0.8.3-3), rust-sqlx-postgres (= 0.8.3-5), rust-stringprep (= 0.1.5-1), rust-strsim (= 0.11.1-1), rust-strum (= 0.26.3-2), rust-subtle (= 2.6.1-1), rust-sync-wrapper (= 1.0.2-1), rust-thiserror (= 2.0.18-1), rust-thread-local (= 1.1.4-1), rust-tinyvec (= 1.10.0-1), rust-tinyvec-macros (= 0.1.0-1), rust-tokio (= 1.52.3-2), rust-tokio-native-tls (= 0.3.1-4), rust-tokio-rustls (= 0.26.4-1), rust-tokio-stream (= 0.1.18-2), rust-tokio-util (= 0.7.17-1), rust-tower (= 0.5.2-2), rust-tower-http (= 0.6.8-2), rust-tower-layer (= 0.3.3-1), rust-tower-service (= 0.3.3-1), rust-tracing (= 0.1.44-1), rust-tracing-core (= 0.1.36-1), rust-tracing-log (= 0.2.0-3), rust-tracing-subscriber (= 0.3.22-3), rust-try-lock (= 0.2.5-1), rust-typenum (= 1.20.0-1), rust-ucd-trie (= 0.1.7-1), rust-unicode-bidi (= 0.3.17-1), rust-unicode-joining-type (= 1.0.0-1), rust-unicode-normalization (= 0.1.25-1), rust-unicode-properties (= 0.1.0-1), rust-untrusted (= 0.9.0-2), rust-url (= 2.5.8-1), rust-utf8-decode (= 2.0.0-3), rust-utf8-iter (= 1.0.4-1), rust-utf8parse (= 0.2.2-1), rust-want (= 0.3.0-1), rust-whoami-1 (= 1.6.1-1), rust-zerocopy (= 0.8.26-4), rust-zeroize (= 1.8.2-1), rust-zmij (= 1.0.21-1), rustc (= 1.95.0+dfsg1-2)
Section: net
Priority: optional
Filename: pool/main/i/icann-rdap-srv/icann-rdap-srv_0.0.30-2_arm64.deb
Size: 4854216
MD5sum: 0c211e9cbfdcd333876733a022731761
SHA256: aa93811a96ac957349b914449a69ed78a8296710585e4c0d1030091be491b6f6

Package: librust-icann-rdap-srv-dev
Source: icann-rdap-srv
Version: 0.0.30-2
Installed-Size: 677
Maintainer: Daniel Baumann <daniel@debian.org>
Architecture: arm64
Provides: librust-icann-rdap-srv+default-dev (= 0.0.30-2), librust-icann-rdap-srv-0+default-dev (= 0.0.30-2), librust-icann-rdap-srv-0-dev (= 0.0.30-2), librust-icann-rdap-srv-0.0+default-dev (= 0.0.30-2), librust-icann-rdap-srv-0.0-dev (= 0.0.30-2), librust-icann-rdap-srv-0.0.30+default-dev (= 0.0.30-2), librust-icann-rdap-srv-0.0.30-dev (= 0.0.30-2)
Depends: librust-ab-radix-trie-0.2+default-dev (>= 0.2.1), librust-async-trait-0.1+default-dev, librust-axum-0.8+default-dev, librust-axum-client-ip-1+default-dev (>= 1.3), librust-axum-extra-0.12+default-dev, librust-axum-extra-0.12+typed-header-dev, librust-axum-macros-0.5+default-dev, librust-buildstructor-0.6+default-dev, librust-chrono-0.4+alloc-dev, librust-chrono-0.4+clock-dev, librust-chrono-0.4+serde-dev, librust-chrono-0.4+std-dev, librust-cidr-0.3+default-dev, librust-clap-4+default-dev (>= 4.6), librust-clap-4+derive-dev (>= 4.6), librust-clap-4+env-dev (>= 4.6), librust-clap-4+std-dev (>= 4.6), librust-clap-4+unstable-styles-dev (>= 4.6), librust-dotenvy-0.15+default-dev, librust-envmnt-0.10+default-dev (>= 0.10.4), librust-headers-0.4+default-dev, librust-http-1+default-dev (>= 1.4), librust-hyper-1+default-dev (>= 1.8), librust-hyper-1+full-dev (>= 1.8), librust-icann-rdap-client-0.0+default-dev (<< 0.0.31), librust-icann-rdap-client-0.0+default-dev (>= 0.0.30), librust-icann-rdap-common-0.0+default-dev (<< 0.0.31), librust-icann-rdap-common-0.0+default-dev (>= 0.0.30), librust-idna-1+default-dev (>= 1.1), librust-ipnet-2+default-dev (>= 2.12), librust-ipnet-2+json-dev (>= 2.12), librust-pct-str-3+default-dev, librust-prefix-trie-0.9+default-dev, librust-rangemap-1+default-dev (>= 1.7.1), librust-regex-1+default-dev (>= 1.12), librust-reqwest-0.13+default-dev, librust-reqwest-0.13+json-dev, librust-reqwest-0.13+native-tls-dev, librust-reqwest-0.13+stream-dev, librust-serde-1+default-dev, librust-serde-1+derive-dev, librust-serde-json-1+default-dev, librust-sqlx-0.8+chrono-dev, librust-sqlx-0.8+default-dev, librust-sqlx-0.8+json-dev, librust-sqlx-0.8+macros-dev, librust-sqlx-0.8+postgres-dev, librust-sqlx-0.8+runtime-tokio-dev, librust-sqlx-0.8+tls-rustls-dev, librust-strum-0.26+default-dev, librust-strum-0.26+derive-dev, librust-thiserror-2+default-dev, librust-tokio-1+default-dev (>= 1.52), librust-tokio-1+full-dev (>= 1.52), librust-tower-0.5+default-dev, librust-tower-0.5+timeout-dev, librust-tower-0.5+util-dev, librust-tower-http-0.6+add-extension-dev, librust-tower-http-0.6+cors-dev, librust-tower-http-0.6+default-dev, librust-tower-http-0.6+trace-dev, librust-tracing-0.1+default-dev, librust-tracing-subscriber-0.3+default-dev, librust-tracing-subscriber-0.3+env-filter-dev
Description: RDAP Server - Rust source code
Multi-Arch: same
Homepage: https://github.com/icann/icann-rdap
Description-md5: bb0df510e9d4ce622fecb11b5c53e2a4
Section: rust
Priority: optional
Filename: pool/main/i/icann-rdap-srv/librust-icann-rdap-srv-dev_0.0.30-2_arm64.deb
Size: 61548
MD5sum: 3bb0b7511f08226a3caadc22dfeccc67
SHA256: 01a5688cb97c6d0d677887da1f208ec9e679bf16d207452b0a414927754e1ac0

.
15128,15131c
Filename: pool/main/i/icann-rdap-client/librust-icann-rdap-client-dev_0.0.30-2_arm64.deb
Size: 70276
MD5sum: 347e5b233c3e72e41ad48ee44dabaa03
SHA256: 51473f89b1b561883326c8839640f00591d06cc68a65f6a2ca526b436ba6f625
.
15120c
Provides: librust-icann-rdap-client+default-dev (= 0.0.30-2), librust-icann-rdap-client-0+default-dev (= 0.0.30-2), librust-icann-rdap-client-0-dev (= 0.0.30-2), librust-icann-rdap-client-0.0+default-dev (= 0.0.30-2), librust-icann-rdap-client-0.0-dev (= 0.0.30-2), librust-icann-rdap-client-0.0.29+default-dev (= 0.0.30-2), librust-icann-rdap-client-0.0.29-dev (= 0.0.30-2)
.
15116c
Version: 0.0.30-2
.
11471a
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: 2265
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: arm64
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_arm64.deb
Size: 674108
MD5sum: 51efb533fc07a9293924f090ec7fda6a
SHA256: b1c1ac7c7ba1bcd467f009a1dc34fc8994643639a5032af00a6acf4b19d854bb

.
11239a
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: 51329
Maintainer: Debian Go Packaging Team <team+pkg-go@tracker.debian.org>
Architecture: arm64
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_arm64.deb
Size: 13361380
MD5sum: f732b13b12cd130b4e6b4a15681521da
SHA256: 0444137ec3e1c56486e4d2afcafc325011f2a6e73f1d45a42b44900c407c214a

.
10566,10636d
10155,10513d
6734,6737c
Filename: pool/main/f/flocq/libcoq-flocq_4.2.2-1_arm64.deb
Size: 3464992
MD5sum: f92ce4e8f4fa04129ce5c93b86a05899
SHA256: 91e424fbe5180c51aa5b8964687bc115524879f5c79c1a1e3aea4d442cb1271e
.
6727,6728c
Provides: libcoq-flocq-ntc08
Depends: libcoq-stdlib-t06o5
.
6723,6724c
Version: 4.2.2-1
Installed-Size: 9252
.
6661,6664c
Filename: pool/main/f/findutils/locate_4.11.0-1_arm64.deb
Size: 314696
MD5sum: 65001e6f29b7bb0e10863a7dde6bc06d
SHA256: 80993ac60f8b57498b5856d84475071c5eaa34742119cf465e241ed3793060b5
.
6647,6648c
Version: 4.11.0-1
Installed-Size: 562
.
6640,6643c
Filename: pool/main/f/findutils/findutils_4.11.0-1_arm64.deb
Size: 770852
MD5sum: b3f054ffe986967fa01ac2a4b36d9b0b
SHA256: 3af8dc2da8f0f6bb115198664141d5c396b3096d6733720dacf8bc300ad81cce
.
6627c
Installed-Size: 2444
.
6625c
Version: 4.11.0-1
.
5394,5501d
5233,5307d
4837,4840c
Filename: pool/main/d/dh-golang/dh-golang_1.66~exp2_all.deb
Size: 24360
MD5sum: 90b949f34b0895d7b6225c91674c61e7
SHA256: 384d0391b62e48047e124f6895712d19af1537ebe6f5da434cba3632d2d74d77
.
4826c
Version: 1.66~exp2
.
3731,3734c
Filename: pool/main/c/courier/sqwebmail_7.0.2+2.0.2-4_arm64.deb
Size: 675760
MD5sum: 6a961f90c8da0e0e9db3bc59f5867220
SHA256: 193a2f70e986f8c9cb869e81ac5680ecc2d231dd4981706764dfd66c7ac02d1c
.
3722c
Depends: apache2, courier-base (= 2.0.2-4), debconf, default-mta | mail-transport-agent, expect, iamerican | ispell-dictionary, ispell, maildrop, debconf (>= 0.5) | debconf-2.0, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libldap2 (>= 2.6.2), libpcre2-8-0 (>= 10.22), libstdc++6 (>= 13.1), perl:any
.
3717,3718c
Source: courier (2.0.2-4)
Version: 7.0.2+2.0.2-4
.
3711,3714c
Filename: pool/main/c/courier/courier-webadmin_2.0.2-4_arm64.deb
Size: 112992
MD5sum: 68d4585de99f205fcce5f8b2fe411d2d
SHA256: 8a4914e60d6e796a3626219b8d959dabdbe2103041cc7acb4753f1f338668665
.
3702c
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
.
3698c
Version: 2.0.2-4
.
3691,3694c
Filename: pool/main/c/courier/courier-pop_2.0.2-4_arm64.deb
Size: 175356
MD5sum: 684d41bb9dc8985b846bfd1cfa7419e2
SHA256: 8a3e5c3ef6d0f550b9c7920c74df880a32f3b79bd0d8976d9fbf85d4d68e6e39
.
3680c
Depends: courier-base (= 2.0.2-4), debconf, default-mta | mail-transport-agent, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libidn2-0 (>= 2.0.0), libstdc++6 (>= 12)
.
3674c
Version: 2.0.2-4
.
3667,3670c
Filename: pool/main/c/courier/courier-pcp_2.0.2-4_arm64.deb
Size: 169584
MD5sum: 7e28f467076e1bfb21db3dc8b1392222
SHA256: 79f2d078890c4bd5f8649068e351225c94fff6e92ed5fae589fbb85f398fdd03
.
3654c
Version: 2.0.2-4
.
3647,3650c
Filename: pool/main/c/courier/courier-mta_2.0.2-4_arm64.deb
Size: 735668
MD5sum: 37d09e7afce6c3b422e56f884eba3c78
SHA256: ddcbc02e8b0f4384e35789fe7c1a58cd4194dcf8eec2697b4466123fa409aea3
.
3636c
Depends: courier-base (= 2.0.2-4), debconf, libnet-cidr-perl, wget, debconf (>= 0.5) | debconf-2.0, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libperl5.40 (>= 5.40.0), libstdc++6 (>= 13.1), perl:any
.
3630c
Version: 2.0.2-4
.
3623,3626c
Filename: pool/main/c/courier/courier-mlm_2.0.2-4_arm64.deb
Size: 415724
MD5sum: d759283551c2e671fdf6ae41c6212e9a
SHA256: b62c1f18c3264b4460ce0ab1ab5bdefe9ac82641c037721d020a38cc4ed67564
.
3614c
Depends: courier-base (= 2.0.2-4), maildrop, libc6 (>= 2.38), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libstdc++6 (>= 13.1)
.
3610c
Version: 2.0.2-4
.
3603,3606c
Filename: pool/main/c/courier/courier-ldap_2.0.2-4_arm64.deb
Size: 105264
MD5sum: 689c6d6ddca3b4bfcd02f6701591f15b
SHA256: bb8ad5ce75b0285eaec21b8286e43461a2b3077c8fa7c233d4d8a786e0d0f405
.
3593c
Depends: courier-base (= 2.0.2-4), debconf, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libgcc-s1 (>= 3.0), libldap2 (>= 2.6.2), libstdc++6 (>= 4.1.1)
.
3588c
Version: 2.0.2-4
.
3581,3584c
Filename: pool/main/c/courier/courier-imap_6.0.1+2.0.2-4_arm64.deb
Size: 386820
MD5sum: 1e210d77605895cbd74de877042e8213
SHA256: 1bb83e88c058255a4b2eccd0dbcc717604f14377769ffde34d251bdcb50d099e
.
3570c
Depends: courier-base (= 2.0.2-4), debconf, default-mta | mail-transport-agent, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles, libc6 (>= 2.38), libcourier-authlib0 (>= 0.72.7.20260502), libcourier-unicode12 (>= 2.6.0), libgcc-s1 (>= 3.0), libgdbm6t64 (>= 1.16), libidn2-0 (>= 2.0.0), libstdc++6 (>= 14)
.
3563,3564c
Source: courier (2.0.2-4)
Version: 6.0.1+2.0.2-4
.
3557,3560c
Filename: pool/main/c/courier/courier-faxmail_2.0.2-4_arm64.deb
Size: 100552
MD5sum: bda6ee95ad29c063ea3de53c299643a6
SHA256: 664a93325002dcaf245bb7c49722e5d0eb2de8c07eff16a9742207d2df68e2da
.
3547c
Depends: courier-mta (= 2.0.2-4), ghostscript, groff, mgetty-fax, systemd | systemd-standalone-tmpfiles | systemd-tmpfiles
.
3543c
Version: 2.0.2-4
.
3536,3539c
Filename: pool/main/c/courier/courier-doc_2.0.2-4_all.deb
Size: 378280
MD5sum: 171bd118b02f6f30b1110b779150d428
SHA256: 2adeb68c141472bef3657f5f2f41e9a94758c6a30f9d27cd546bba5561154cb7
.
3524c
Version: 2.0.2-4
.
3517,3520c
Filename: pool/main/c/courier/courier-base_2.0.2-4_arm64.deb
Size: 333160
MD5sum: b8951e4717a5c5dd5e011afab76c38cf
SHA256: e719fa6b28bd2b7196001e059ba7d5022c93781bfbd1400658d8272573b156c3
.
3504c
Version: 2.0.2-4
.
3371,3374c
Filename: pool/main/c/coqprime/libcoq-coqprime_8.20.1-4_arm64.deb
Size: 1770108
MD5sum: 6fb2f6519cb64715445605f4cca42bd0
SHA256: 29bd3fa506cc9c0d1368caf562a6f6edc52ffedaa32b43cff11a48b31519a249
.
3364,3365c
Provides: libcoq-coqprime-akt16
Depends: libcoq-bignums-0fa37, libcoq-stdlib-t06o5
.
3360,3361c
Version: 8.20.1-4
Installed-Size: 5606
.
3353,3356c
Filename: pool/main/c/coqprime/coqprime-tools_8.20.1-4_arm64.deb
Size: 143844
MD5sum: 39627d38cb0ebc2f54c0798f69e1bb47
SHA256: e12d877a7e2951855d8e89fe1c92eb6010527cb596805fdfac4518583447a566
.
3347c
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)
.
3343c
Version: 8.20.1-4
.
3282,3285c
Filename: pool/main/c/coq-stdpp/libcoq-stdpp_1.13.0-1_arm64.deb
Size: 5281768
MD5sum: ac836d6d9079b4f5a11aec48c679cd04
SHA256: d07be03c3b5b90d202c33cab22d6f3766b822129ba52183b494f9bbda1244a9b
.
3275,3276c
Provides: libcoq-stdpp-hto33
Depends: libcoq-stdlib-t06o5
.
3270,3272c
Source: coq-stdpp
Version: 1.13.0-1
Installed-Size: 16768
.
3264,3267c
Filename: pool/main/c/coq-simple-io/libcoq-simple-io_1.11.0-4_arm64.deb
Size: 228928
MD5sum: c032900165d071930afa9dab3c0a54a4
SHA256: 933d72b37b633da14c79c6eb8ea3b5f4fed7cd634293bc9f24a45f8e2e6bdcc0
.
3257,3258c
Provides: libcoq-simple-io-hacu0
Depends: libcoq-ext-lib-idie6, libcoq-stdlib-t06o5
.
3253,3254c
Version: 1.11.0-4
Installed-Size: 1299
.
3210,3213c
Filename: pool/main/c/coq-reduction-effects/libcoq-reduction-effects_0.1.6-3_arm64.deb
Size: 16032
MD5sum: 68b4239dbbd47f0974307bec6b6389b0
SHA256: bf8399925a78ffcc8b413f980f365a495392a9615a045d6ef0d5af3873f314a5
.
3203,3204c
Provides: libcoq-reduction-effects-c3j17
Depends: libcoq-stdlib-xe8m5
.
3199c
Version: 0.1.6-3
.
3192,3195c
Filename: pool/main/c/coq-record-update/libcoq-record-update_0.3.7-1_arm64.deb
Size: 19144
MD5sum: 6ad69a9cf05c3fb3c5c0577859ce174f
SHA256: 84b3b8a4af0e2c048d6e2f5a34553d71eb8dd5ebcaa140c4f4ad8b57f9e98ba6
.
3185,3186c
Provides: libcoq-record-update-pwr62
Depends: libcoq-stdlib-t06o5
.
3181,3182c
Version: 0.3.7-1
Installed-Size: 69
.
3121,3124c
Filename: pool/main/c/coq-menhirlib/libcoq-menhirlib_20260209+ds-1_arm64.deb
Size: 915496
MD5sum: 95076538f9d359dc14360d954b57c09d
SHA256: f877fed18b23c33ef609b5fff547c8f129aa0d8c579b7f5f41f3d9a506da0ba4
.
3114,3115c
Provides: libcoq-menhirlib-ynwc4
Depends: libcoq-stdlib-t06o5
.
3110,3111c
Version: 20260209+ds-1
Installed-Size: 2700
.
3103,3106c
Filename: pool/main/c/coq-math-classes/libcoq-math-classes_9.0.0-3_arm64.deb
Size: 2872888
MD5sum: 554c06e8b292e9b20fb6f369f2a02523
SHA256: 2c6f594e32e55a9315394f06b35c3b6e9cef2655231cd816c3607346a1e6044c
.
3096,3097c
Provides: libcoq-math-classes-byrw6
Depends: libcoq-bignums-0fa37, libcoq-stdlib-t06o5
.
3092,3093c
Version: 9.0.0-3
Installed-Size: 9797
.
3085,3088c
Filename: pool/main/c/coq-libhyps/libcoq-libhyps_5.0.0-1_arm64.deb
Size: 79288
MD5sum: a454627c69db04bb7d0496d048b7496b
SHA256: 885d1667123f6c35aaaca8540819786c8450fe27e77b84db74488a04cbc47eaf
.
3078,3079c
Provides: libcoq-libhyps-edzq5
Depends: libcoq-stdlib-t06o5
.
3074,3075c
Version: 5.0.0-1
Installed-Size: 377
.
3067,3070c
Filename: pool/main/c/coq-iris/libcoq-iris_4.5.0-1_arm64.deb
Size: 13238776
MD5sum: 5ceb152da9356d1426a5270ac6ffbc9b
SHA256: f71d24b381b1fffde0c5013235b0e681c73ff0f7f1a0fb2b075e413dc15ea9f0
.
3060,3061c
Provides: libcoq-iris-yrqt4
Depends: libcoq-stdpp-hto33
.
3056,3057c
Version: 4.5.0-1
Installed-Size: 38873
.
3013,3016c
Filename: pool/main/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.10.3-1_arm64.deb
Size: 802464
MD5sum: 9ded3620a1105146b0df4d59fe4823fc
SHA256: 0986f9c8959e0f652d97186e21d7656449087c14c12b071ddd5d6fa5965fa978
.
3005,3006c
Provides: libcoq-hierarchy-builder-u5761
Depends: libcoq-elpi-bkuw5
.
3000,3002c
Source: coq-hierarchy-builder
Version: 1.10.3-1
Installed-Size: 2321
.
2994,2997c
Filename: pool/main/c/coq-hammer/libcoq-hammer_1.3.3+9.2-1_arm64.deb
Size: 538956
MD5sum: c75d7e682cc87e511c6f095e2de94372
SHA256: 87e62c22fc33c938284c54ac742614df0eeb450f9d799e501341a9f5a299fec3
.
2987,2988c
Provides: libcoq-hammer-hid19
Depends: libcoq-stdlib-t06o5, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
.
2983,2984c
Version: 1.3.3+9.2-1
Installed-Size: 2752
.
2976,2979c
Filename: pool/main/c/coq-gappa/libcoq-gappa_1.10.0-1_arm64.deb
Size: 610616
MD5sum: 7b7f282bcfef9c40c9865e0f4171c64a
SHA256: 3f50685aa483bcc8224ab440a588c514034fb6fe8758c89a6b267ede7d84cede
.
2969,2970c
Provides: libcoq-gappa-q9w09
Depends: gappa, libcoq-flocq-ntc08, libcoq-stdlib-t06o5
.
2965,2966c
Version: 1.10.0-1
Installed-Size: 1530
.
2940,2943c
Filename: pool/main/c/coq-ext-lib/libcoq-ext-lib_0.13.1-1_arm64.deb
Size: 772140
MD5sum: 9f2189e38b99848a1eb9d85ebc18c4f7
SHA256: 0b09c54cc82afe8be01b65797a7b554e8764d17eacfe43745603b87055dabdd1
.
2933,2934c
Provides: libcoq-ext-lib-idie6
Depends: libcoq-stdlib-t06o5
.
2929,2930c
Version: 0.13.1-1
Installed-Size: 2793
.
2922,2925c
Filename: pool/main/c/coq-elpi/libcoq-elpi_3.4.0-1_arm64.deb
Size: 13495248
MD5sum: 8ce32653ea4e0295e21dcf021d6e509d
SHA256: 6d43f337a0b46c6c2f64421f3d7604179436249109c9e901b01e0f89f512a996
.
2915,2916c
Provides: libcoq-elpi-bkuw5
Depends: libelpi-ocaml-dev, libcoq-stdlib-t06o5, libcoq-core-ocaml-ob8s8, libelpi-ocaml-apmi5, libppx-deriving-ocaml-wjuv3, libstdlib-ocaml-1ltp0, libzarith-ocaml-igxp5, libc6 (>= 2.42)
.
2910,2912c
Source: coq-elpi
Version: 3.4.0-1
Installed-Size: 80931
.
2908a
Package: coq-dpdgraph-tools
Source: coq-dpdgraph
Version: 1.0+9.1-1
Installed-Size: 4544
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: arm64
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_arm64.deb
Size: 722664
MD5sum: b97e50c871608fb1e6c278a0eff2b156
SHA256: a747f72d119883cf2039d5040cab9570b14784c0af3294b3bb1df635f158333a

Package: libcoq-dpdgraph
Source: coq-dpdgraph
Version: 1.0+9.1-1
Installed-Size: 194
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: arm64
Provides: libcoq-dpdgraph-hait5
Depends: libcoq-stdlib-t06o5
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_arm64.deb
Size: 36888
MD5sum: 68320cda528daf4104dcfb42d8cd7605
SHA256: 56967b12a6e3f83f2f633fd1c7f04c710a1b3e72896a23367bd672054fcef6c2

.
2868,2871c
Filename: pool/main/c/coq-bignums/libcoq-bignums_9.0.0+rocq9.2-1_arm64.deb
Size: 1899904
MD5sum: 3f045f20b56da869b02bdda6c6086bbc
SHA256: a125f8e64ce5fb6d61af74b9736717f63638a67e973205501d3d62d42a50af41
.
2861,2862c
Provides: libcoq-bignums-0fa37
Depends: libcoq-stdlib-t06o5
.
2857,2858c
Version: 9.0.0+rocq9.2-1
Installed-Size: 6622
.
2543a
Package: cmake
Version: 4.4.0-1
Installed-Size: 54041
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: arm64
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_arm64.deb
Size: 14123188
MD5sum: 314bd97dbef31d283b37a4c40dd90baf
SHA256: f31c18a9001b3fc6b138e33f3596f81ecabf567c6ec98635e679774139e92cf5

Package: cmake-curses-gui
Source: cmake
Version: 4.4.0-1
Installed-Size: 12468
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: arm64
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_arm64.deb
Size: 3560768
MD5sum: 4d5d8a6763c36b8e44568eddd78f21be
SHA256: 6618c2cc00023e2964870cb07c78498a293979cf8291cb525818cae62b1b4ced

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: 13006
Maintainer: Debian CMake Team <pkg-cmake-team@lists.alioth.debian.org>
Architecture: arm64
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_arm64.deb
Size: 3687564
MD5sum: 6144b2542df1fc840a0c482187502a9e
SHA256: b43b34c80fbf5f5934e4b432b71c308ada90ede58c89888a5f8cdb6dd82f895b

.
