36095,36225d
33090,33093c
Filename: pool/main/o/ott/ott-tools_0.34+ds-4_arm64.deb
Size: 1666008
MD5sum: 19dcdc175cb9525808a76bbcd729d8da
SHA256: 73cb505ac3f83363c66476f7107cd6931535ee724a8b9f2728539fcd6142eec6
.
33080,33081c
Version: 0.34+ds-4
Installed-Size: 7167
.
33073,33076c
Filename: pool/main/o/ott/libcoq-ott_0.34+ds-4_arm64.deb
Size: 164232
MD5sum: 852c9720f3c2cd58197742d716115331
SHA256: 05c3d7568f6d839dbb511571f0f4476d8f15566e9f9338e799d9931b5d0abd86
.
33066,33067c
Provides: libcoq-ott-to595
Depends: libcoq-stdlib-t06o5
.
33062,33063c
Version: 0.34+ds-4
Installed-Size: 537
.
31036,31050d
30744,30930d
24632a
Package: libtorrent-rasterbar-doc
Source: libtorrent-rasterbar
Version: 2.1.0-1
Installed-Size: 6250
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-1_all.deb
Size: 1722700
MD5sum: 971a5e55b669f2e9719e169c36906005
SHA256: 1ef08295fbf366076bd41341d8b43a12652530ff91f842702a2cb0658bbcb14a

.
19671,19707d
17847,17850c
Filename: pool/main/k/kstars/kstars-data_3.8.3-2_all.deb
Size: 22397564
MD5sum: 32b0caa52d05f969b1cc6bbcaf240129
SHA256: cd60ece65960bb50b1b0cfd8638a819f0fca273f8e84507c39463e8d6a6c5cc7
.
17836,17838c
Version: 5:3.8.3-2
Installed-Size: 73323
Maintainer: Debian KDE Extras Team <pkg-kde-extras@alioth-lists.debian.net>
.
17829,17832c
Filename: pool/main/k/kstars/kstars_3.8.3-2_arm64.deb
Size: 8438324
MD5sum: 1968a7b9e0bbd91043330701d0d9414e
SHA256: 3b59f20ff9f26d669ce591127bdf2a28be9d95cc6c0ba5384f877e07b66b4812
.
17818,17819c
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
.
17814,17816c
Version: 5:3.8.3-2
Installed-Size: 35450
Maintainer: Debian KDE Extras Team <pkg-kde-extras@alioth-lists.debian.net>
.
11576a
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

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

.
10671,10741d
10260,10618d
6839,6842c
Filename: pool/main/f/flocq/libcoq-flocq_4.2.2-1_arm64.deb
Size: 3464992
MD5sum: f92ce4e8f4fa04129ce5c93b86a05899
SHA256: 91e424fbe5180c51aa5b8964687bc115524879f5c79c1a1e3aea4d442cb1271e
.
6832,6833c
Provides: libcoq-flocq-ntc08
Depends: libcoq-stdlib-t06o5
.
6828,6829c
Version: 4.2.2-1
Installed-Size: 9252
.
5569,5606d
4942,4945c
Filename: pool/main/d/dh-golang/dh-golang_1.66~exp2_all.deb
Size: 24360
MD5sum: 90b949f34b0895d7b6225c91674c61e7
SHA256: 384d0391b62e48047e124f6895712d19af1537ebe6f5da434cba3632d2d74d77
.
4931c
Version: 1.66~exp2
.
3476,3479c
Filename: pool/main/c/coqprime/libcoq-coqprime_8.20.1-4_arm64.deb
Size: 1770108
MD5sum: 6fb2f6519cb64715445605f4cca42bd0
SHA256: 29bd3fa506cc9c0d1368caf562a6f6edc52ffedaa32b43cff11a48b31519a249
.
3469,3470c
Provides: libcoq-coqprime-akt16
Depends: libcoq-bignums-0fa37, libcoq-stdlib-t06o5
.
3465,3466c
Version: 8.20.1-4
Installed-Size: 5606
.
3458,3461c
Filename: pool/main/c/coqprime/coqprime-tools_8.20.1-4_arm64.deb
Size: 143844
MD5sum: 39627d38cb0ebc2f54c0798f69e1bb47
SHA256: e12d877a7e2951855d8e89fe1c92eb6010527cb596805fdfac4518583447a566
.
3452c
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)
.
3448c
Version: 8.20.1-4
.
3387,3390c
Filename: pool/main/c/coq-stdpp/libcoq-stdpp_1.13.0-1_arm64.deb
Size: 5281768
MD5sum: ac836d6d9079b4f5a11aec48c679cd04
SHA256: d07be03c3b5b90d202c33cab22d6f3766b822129ba52183b494f9bbda1244a9b
.
3380,3381c
Provides: libcoq-stdpp-hto33
Depends: libcoq-stdlib-t06o5
.
3375,3377c
Source: coq-stdpp
Version: 1.13.0-1
Installed-Size: 16768
.
3369,3372c
Filename: pool/main/c/coq-simple-io/libcoq-simple-io_1.11.0-4_arm64.deb
Size: 228928
MD5sum: c032900165d071930afa9dab3c0a54a4
SHA256: 933d72b37b633da14c79c6eb8ea3b5f4fed7cd634293bc9f24a45f8e2e6bdcc0
.
3362,3363c
Provides: libcoq-simple-io-hacu0
Depends: libcoq-ext-lib-idie6, libcoq-stdlib-t06o5
.
3358,3359c
Version: 1.11.0-4
Installed-Size: 1299
.
3297,3300c
Filename: pool/main/c/coq-record-update/libcoq-record-update_0.3.7-1_arm64.deb
Size: 19144
MD5sum: 6ad69a9cf05c3fb3c5c0577859ce174f
SHA256: 84b3b8a4af0e2c048d6e2f5a34553d71eb8dd5ebcaa140c4f4ad8b57f9e98ba6
.
3290,3291c
Provides: libcoq-record-update-pwr62
Depends: libcoq-stdlib-t06o5
.
3286,3287c
Version: 0.3.7-1
Installed-Size: 69
.
3226,3229c
Filename: pool/main/c/coq-menhirlib/libcoq-menhirlib_20260209+ds-1_arm64.deb
Size: 915496
MD5sum: 95076538f9d359dc14360d954b57c09d
SHA256: f877fed18b23c33ef609b5fff547c8f129aa0d8c579b7f5f41f3d9a506da0ba4
.
3219,3220c
Provides: libcoq-menhirlib-ynwc4
Depends: libcoq-stdlib-t06o5
.
3215,3216c
Version: 20260209+ds-1
Installed-Size: 2700
.
3208,3211c
Filename: pool/main/c/coq-math-classes/libcoq-math-classes_9.0.0-3_arm64.deb
Size: 2872888
MD5sum: 554c06e8b292e9b20fb6f369f2a02523
SHA256: 2c6f594e32e55a9315394f06b35c3b6e9cef2655231cd816c3607346a1e6044c
.
3201,3202c
Provides: libcoq-math-classes-byrw6
Depends: libcoq-bignums-0fa37, libcoq-stdlib-t06o5
.
3197,3198c
Version: 9.0.0-3
Installed-Size: 9797
.
3190,3193c
Filename: pool/main/c/coq-libhyps/libcoq-libhyps_5.0.0-1_arm64.deb
Size: 79288
MD5sum: a454627c69db04bb7d0496d048b7496b
SHA256: 885d1667123f6c35aaaca8540819786c8450fe27e77b84db74488a04cbc47eaf
.
3183,3184c
Provides: libcoq-libhyps-edzq5
Depends: libcoq-stdlib-t06o5
.
3179,3180c
Version: 5.0.0-1
Installed-Size: 377
.
3172,3175c
Filename: pool/main/c/coq-iris/libcoq-iris_4.5.0-1_arm64.deb
Size: 13238776
MD5sum: 5ceb152da9356d1426a5270ac6ffbc9b
SHA256: f71d24b381b1fffde0c5013235b0e681c73ff0f7f1a0fb2b075e413dc15ea9f0
.
3165,3166c
Provides: libcoq-iris-yrqt4
Depends: libcoq-stdpp-hto33
.
3161,3162c
Version: 4.5.0-1
Installed-Size: 38873
.
3118,3121c
Filename: pool/main/c/coq-hierarchy-builder/libcoq-hierarchy-builder_1.10.3-1_arm64.deb
Size: 802464
MD5sum: 9ded3620a1105146b0df4d59fe4823fc
SHA256: 0986f9c8959e0f652d97186e21d7656449087c14c12b071ddd5d6fa5965fa978
.
3110,3111c
Provides: libcoq-hierarchy-builder-u5761
Depends: libcoq-elpi-bkuw5
.
3105,3107c
Source: coq-hierarchy-builder
Version: 1.10.3-1
Installed-Size: 2321
.
3099,3102c
Filename: pool/main/c/coq-hammer/libcoq-hammer_1.3.3+9.2-1_arm64.deb
Size: 538956
MD5sum: c75d7e682cc87e511c6f095e2de94372
SHA256: 87e62c22fc33c938284c54ac742614df0eeb450f9d799e501341a9f5a299fec3
.
3092,3093c
Provides: libcoq-hammer-hid19
Depends: libcoq-stdlib-t06o5, libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1)
.
3088,3089c
Version: 1.3.3+9.2-1
Installed-Size: 2752
.
3081,3084c
Filename: pool/main/c/coq-gappa/libcoq-gappa_1.10.0-1_arm64.deb
Size: 610616
MD5sum: 7b7f282bcfef9c40c9865e0f4171c64a
SHA256: 3f50685aa483bcc8224ab440a588c514034fb6fe8758c89a6b267ede7d84cede
.
3074,3075c
Provides: libcoq-gappa-q9w09
Depends: gappa, libcoq-flocq-ntc08, libcoq-stdlib-t06o5
.
3070,3071c
Version: 1.10.0-1
Installed-Size: 1530
.
3045,3048c
Filename: pool/main/c/coq-ext-lib/libcoq-ext-lib_0.13.1-1_arm64.deb
Size: 772140
MD5sum: 9f2189e38b99848a1eb9d85ebc18c4f7
SHA256: 0b09c54cc82afe8be01b65797a7b554e8764d17eacfe43745603b87055dabdd1
.
3038,3039c
Provides: libcoq-ext-lib-idie6
Depends: libcoq-stdlib-t06o5
.
3034,3035c
Version: 0.13.1-1
Installed-Size: 2793
.
3027,3030c
Filename: pool/main/c/coq-elpi/libcoq-elpi_3.4.0-1_arm64.deb
Size: 13495248
MD5sum: 8ce32653ea4e0295e21dcf021d6e509d
SHA256: 6d43f337a0b46c6c2f64421f3d7604179436249109c9e901b01e0f89f512a996
.
3020,3021c
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)
.
3015,3017c
Source: coq-elpi
Version: 3.4.0-1
Installed-Size: 80931
.
3013a
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

.
2973,2976c
Filename: pool/main/c/coq-bignums/libcoq-bignums_9.0.0+rocq9.2-1_arm64.deb
Size: 1899904
MD5sum: 3f045f20b56da869b02bdda6c6086bbc
SHA256: a125f8e64ce5fb6d61af74b9736717f63638a67e973205501d3d62d42a50af41
.
2966,2967c
Provides: libcoq-bignums-0fa37
Depends: libcoq-stdlib-t06o5
.
2962,2963c
Version: 9.0.0+rocq9.2-1
Installed-Size: 6622
.
