48487,48503d
40291,40294c
Filename: pool/main/r/rocq-stdlib/libcoq-stdlib_9.1.0-1_amd64.deb
Size: 20075712
MD5sum: a8a175500c4ecda2c7d06ac4089273bf
SHA256: 5f3ccfd4cbd1c8732d50e89d8e723ab2d286a2ea98b172cd4c06478f937d648c
.
40284c
Provides: libcoq-stdlib-py9l3
.
40279,40281c
Source: rocq-stdlib
Version: 9.1.0-1
Installed-Size: 70705
.
33692a
Package: kde-style-oxygen-qt6
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 21210
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: amd64
Replaces: kde-style-oxygen-qt5 (<< 4:6.1.0~), plasma-desktop-data (<< 4:5.20)
Depends: plasma-version-base-6.7, libc6 (>= 2.34), libkf6colorscheme6 (>= 6.0.0), libkf6completion6 (>= 6.26.0~), libkf6configcore6 (>= 6.26.0~), libkf6configgui6 (>= 6.26.0~), libkf6configwidgets6 (>= 6.0.0), libkf6coreaddons6 (>= 6.26.0~), libkf6guiaddons6 (>= 6.26.0~), libkf6i18n6 (>= 6.26.0~), libkf6kcmutils6 (>= 6.26.0~), libkf6kcmutilscore6 (>= 6.26.0~), libkf6style6 (>= 6.26.0~), libkf6widgetsaddons6 (>= 6.26.0~), libkf6windowsystem6 (>= 6.26.0~), liboxygenstyle6-6 (>= 4:6.7.2), liboxygenstyleconfig6-6 (>= 4:6.7.2), libqt6core6t64 (>= 6.10.2), libqt6dbus6 (>= 6.10.0~), libqt6gui6 (>= 6.10.0~), libqt6quick6 (>= 6.10.0~), libqt6widgets6 (>= 6.10.0~), libstdc++6 (>= 13.1), libxcb1, qt6-base-private-abi (= 6.10.2), qt6-declarative-private-abi (= 6.10.2)
Breaks: kde-style-oxygen-qt5 (<< 4:6.1.0~), plasma-desktop-data (<< 4:5.20)
Description: Qt 6 decoration for the Oxygen desktop theme
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: 20b932e0a9e746ae01883e50975a8fba
Section: kde
Priority: optional
Filename: pool/main/o/oxygen/kde-style-oxygen-qt6_6.7.2-1_amd64.deb
Size: 1390220
MD5sum: a59f68a18b1b57714e6809789c5ce119
SHA256: de12c4628d6169274f9389d8cd8f5dc3dfa0ca7e967a2bf9fca75821dcf36d04

Package: kwin-decoration-oxygen
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 729
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: amd64
Depends: plasma-version-base-6.7, libc6 (>= 2.32), libkdecorations3-6 (>= 4:6.2.90), libkf6colorscheme6 (>= 6.0.0), libkf6configcore6 (>= 6.26.0~), libkf6configgui6 (>= 6.26.0~), libkf6coreaddons6 (>= 6.26.0~), libkf6guiaddons6 (>= 6.26.0~), libkf6i18n6 (>= 6.26.0~), libkf6kcmutils6 (>= 6.26.0~), libkf6kcmutilscore6 (>= 6.26.0~), libkf6windowsystem6 (>= 6.26.0~), liboxygenstyle6-6 (>= 4:6.7.2), liboxygenstyleconfig6-6 (>= 4:6.7.2), libqt6core6t64 (>= 6.10.2), libqt6dbus6 (>= 6.10.0~), libqt6gui6 (>= 6.10.0~), libqt6widgets6 (>= 6.10.0~), libstdc++6 (>= 5), libxcb1, qt6-base-private-abi (= 6.10.2)
Recommends: libkf6kcmutils-bin
Description: KWin decoration for the Oxygen desktop theme
Multi-Arch: same
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: 0f2d780b285372a292d82d4eff036ae0
Tag: uitoolkit::qt
Section: kde
Priority: optional
Filename: pool/main/o/oxygen/kwin-decoration-oxygen_6.7.2-1_amd64.deb
Size: 131200
MD5sum: 3d61d1a8b1bda982673189ebb9c6655f
SHA256: 277ea4f7fb9f59a874dc4a5a8e13dba14f96a71176263252feb75058d8ae3840

Package: liboxygenstyle6-6
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 163
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: amd64
Depends: plasma-version-base-6.7, libc6 (>= 2.29), libkf6colorscheme6 (>= 6.0.0), libkf6configcore6 (>= 6.26.0~), libkf6configgui6 (>= 6.26.0~), libkf6guiaddons6 (>= 6.26.0~), libkf6windowsystem6 (>= 6.26.0~), libqt6core6t64 (>= 6.10.2), libqt6gui6 (>= 6.10.0~), libqt6widgets6 (>= 6.10.0~), libstdc++6 (>= 5), libxcb1, qt6-base-private-abi (= 6.10.2)
Description: style library for the Oxygen desktop theme (Qt 6)
Multi-Arch: same
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: 6f3a7ff2ba698039757c1475d1b52521
Section: libs
Priority: optional
Filename: pool/main/o/oxygen/liboxygenstyle6-6_6.7.2-1_amd64.deb
Size: 46112
MD5sum: cf578682bc4207b32145c4b871fc9dd1
SHA256: a5a69813506a0fa07551f8bf7d980fbba20e5da81e07be7ab0c0ba7046c1e2d4

Package: liboxygenstyleconfig-data
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 221
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: all
Replaces: liboxygenstyleconfig5-6 (<< 4:6.6.3-1~)
Depends: plasma-version-base-6.7
Breaks: liboxygenstyleconfig5-6 (<< 4:6.6.3-1~)
Description: style library configuration for the Oxygen desktop theme - data files
Multi-Arch: foreign
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: 628ef7706ead395de17f524e704edfe2
Section: kde
Priority: optional
Filename: pool/main/o/oxygen/liboxygenstyleconfig-data_6.7.2-1_all.deb
Size: 19172
MD5sum: a40c85970fd19143ae459c3834fa61e3
SHA256: 663773d84f570ab9bfa703fc1556bb1b21bbb0101b0b5b7934f805ad981bf929

Package: liboxygenstyleconfig6-6
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 107
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: amd64
Depends: liboxygenstyleconfig-data (= 4:6.7.2-1), plasma-version-base-6.7, libc6 (>= 2.4), libkf6configcore6 (>= 6.26.0~), libkf6configgui6 (>= 6.26.0~), libkf6i18n6 (>= 6.26.0~), libkf6widgetsaddons6 (>= 6.26.0~), libqt6core6t64 (>= 6.10.2), libqt6gui6 (>= 6.10.0~), libqt6widgets6 (>= 6.10.0~), libstdc++6 (>= 5)
Description: style library configuration for the Oxygen desktop theme (Qt 6)
Multi-Arch: same
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: e1465a44f7f4cd61c4dcc91bd35e98a6
Section: libs
Priority: optional
Filename: pool/main/o/oxygen/liboxygenstyleconfig6-6_6.7.2-1_amd64.deb
Size: 23632
MD5sum: 15ba4fa3aca5f2e73648e6fef3ad7ced
SHA256: 68492c10477bd4bcda3888ad66c5d3f203a2415a41be15686f21dfa75d3a32a9

Package: oxygen-wallpapers
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 25252
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: all
Depends: plasma-version-base-6.7
Description: wallpapers for the Oxygen desktop theme
Multi-Arch: foreign
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: 8756a17a8737d1b08cda710fb1c4545f
Section: kde
Priority: optional
Filename: pool/main/o/oxygen/oxygen-wallpapers_6.7.2-1_all.deb
Size: 25358160
MD5sum: 1a4b496ce74570f219c735b7ae6597fa
SHA256: 71f9e8f6c505f09838c1ee77b82bba5886ffdfeec815d5a74eb3bf8fd8dae1a4

Package: plasma-theme-oxygen
Source: oxygen
Version: 4:6.7.2-1
Installed-Size: 7022
Maintainer: Debian Qt/KDE Maintainers <debian-qt-kde@lists.debian.org>
Architecture: amd64
Replaces: plasma-framework (<< 5.115.0-6~)
Depends: kde-style-oxygen-qt6 (= 4:6.7.2-1), kwin-decoration-oxygen (= 4:6.7.2-1), oxygen-sounds, oxygen-wallpapers, qml6-module-qtquick, plasma-version-base-6.7
Breaks: plasma-framework (<< 5.115.0-6~)
Description: Look-and-feel for the Oxygen desktop theme
Homepage: https://invent.kde.org/plasma/oxygen
Description-md5: d62c5e224e9bac9ffc6375a49269dc78
Section: kde
Priority: optional
Filename: pool/main/o/oxygen/plasma-theme-oxygen_6.7.2-1_amd64.deb
Size: 5365020
MD5sum: ce1b4577bd523c0db70bd21aa17c121e
SHA256: d12c33d289a83dee4981ce3fb5c1eac140ac4082603f9f3e1146fb0fa0d778b4

.
32671,32674c
Filename: pool/main/o/opencolorio/python3-pyopencolorio_2.5.1+dfsg-3_amd64.deb
Size: 1696716
MD5sum: 50a42537519fb7e4b5be17b315e367de
SHA256: 90a42bb5753098ad1fe1c682cca9068734ce286f140da2a1f761ce8da26d7bd6
.
32666d
32664c
Depends: libopencolorio2.5 (= 2.5.1+dfsg-3), python3 (<< 3.15), python3 (>= 3.13~), python3:any, libc6 (>= 2.34), libgcc-s1 (>= 3.0), libstdc++6 (>= 14)
.
32659,32661c
Source: opencolorio
Version: 2.5.1+dfsg-3
Installed-Size: 10380
.
32653,32656c
Filename: pool/main/o/opencolorio/opencolorio-tools_2.5.1+dfsg-3_amd64.deb
Size: 182776
MD5sum: c7b1aba89b865402059aec5e3314f334
SHA256: 802275a3107290f14c7e5e5fbb013a11701237457411674edac51b132fe48bb0
.
32641,32643c
Source: opencolorio
Version: 2.5.1+dfsg-3
Installed-Size: 876
.
32635,32638c
Filename: pool/main/o/opencolorio/libopencolorio2.5_2.5.1+dfsg-3_amd64.deb
Size: 1755052
MD5sum: 1fdc7554d8729a199bfe04cabd87432e
SHA256: a3068a1771ecb0807606bc22e2c9880ca03a4fb05b695cc4da20744ea5a61a5b
.
32623,32625c
Source: opencolorio
Version: 2.5.1+dfsg-3
Installed-Size: 7421
.
32617,32620c
Filename: pool/main/o/opencolorio/libopencolorio-dev_2.5.1+dfsg-3_amd64.deb
Size: 85056
MD5sum: 0a798fadfa64f0fc79bfd4e3a972cb88
SHA256: e69f558f42f14aedbe7512a03d18bb23df69988d767c0425fecc16fbaddb2772
.
32609c
Depends: libopencolorio2.5 (= 2.5.1+dfsg-3)
.
32604,32605c
Source: opencolorio
Version: 2.5.1+dfsg-3
.
29981,30064d
9662,9782d
6023,6026c
Filename: pool/main/e/elpi/libelpi-ocaml-dev_3.7.2-1_amd64.deb
Size: 12174836
MD5sum: 1561df46114e8d7c8130eb87ce449feb
SHA256: 3014e7aa21795b3f53ec822c1978255d49934c74806887079e900ed819276d78
.
6015,6016c
Provides: libelpi-ocaml-dev-tdlf9
Depends: libcompiler-libs-ocaml-dev-qi4l7, libelpi-ocaml-tdlf9, libmenhir-ocaml-dev-bzns5, libocaml-compiler-libs-ocaml-dev-zo0o8, libppx-deriving-ocaml-dev-vdf20, libppxlib-ocaml-dev-jcsb1, libre-ocaml-dev-0qw54, libsexplib0-ocaml-dev-glwc7, libstdlib-ocaml-dev-1ltp0, ocaml-5.4.1, libc6 (>= 2.38)
.
6010,6012c
Source: elpi
Version: 3.7.2-1
Installed-Size: 58163
.
6004,6007c
Filename: pool/main/e/elpi/libelpi-ocaml_3.7.2-1_amd64.deb
Size: 3400192
MD5sum: c69699982227d3b1363a1eed6fd8f754
SHA256: 132fb981c5476b43bddd18c63329800456691612c5e1c234da79f80c19d892cb
.
5996,5997c
Provides: libelpi-ocaml-tdlf9
Depends: libppx-deriving-ocaml-vdf20, libsexplib0-ocaml-glwc7, libstdlib-ocaml-1ltp0, ocaml-base-5.4.1
.
5991,5993c
Source: elpi
Version: 3.7.2-1
Installed-Size: 13802
.
5985,5988c
Filename: pool/main/e/elpi/elpi_3.7.2-1_amd64.deb
Size: 1874564
MD5sum: c287d060a296164583eb88e248f2e5c4
SHA256: e0f45ed2341653dd246de62a86627ceea2be9bf256b501a33da69d2092fd969b
.
5979c
Depends: libelpi-ocaml (= 3.7.2-1), libc6 (>= 2.42)
.
5974,5976c
Version: 3.7.2-1
Installed-Size: 8918
.
5675,5713d
3026,3029c
Filename: pool/main/c/coq-ext-lib/libcoq-ext-lib_0.13.1-1_amd64.deb
Size: 772108
MD5sum: bb2d16d6326823d7e2f154751430fe74
SHA256: c9145429837a0193257708e07506611e36c432688dec10f09f38035b47ad9537
.
3019,3020c
Provides: libcoq-ext-lib-1p8h4
Depends: libcoq-stdlib-py9l3
.
3014,3016c
Source: coq-ext-lib
Version: 0.13.1-1
Installed-Size: 2793
.
3008,3011c
Filename: pool/main/c/coq-elpi/libcoq-elpi_3.4.0-1_amd64.deb
Size: 12791576
MD5sum: 51b8c1e28fc3771c940e1cd8aaa287f1
SHA256: 281c76ee40974b11ae7bd887b5123127510457f67aa5baae2878032a414ae795
.
3001,3002c
Provides: libcoq-elpi-t41j6
Depends: libelpi-ocaml-dev, libcoq-stdlib-py9l3, libcoq-core-ocaml-zcpg4, libelpi-ocaml-tdlf9, libppx-deriving-ocaml-vdf20, libstdlib-ocaml-1ltp0, libzarith-ocaml-igxp5, libc6 (>= 2.42)
.
2996,2998c
Source: coq-elpi
Version: 3.4.0-1
Installed-Size: 76592
.
2994a
Package: coq-dpdgraph-tools
Source: coq-dpdgraph
Version: 1.0+9.1-1
Installed-Size: 3864
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: amd64
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_amd64.deb
Size: 648320
MD5sum: d346918122610b53a94b7b27b7f8e88a
SHA256: 184e5e70c1cb8a036b8749bef4336665dec017dadc4b42f2c6761a4ffe88fed1

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: amd64
Provides: libcoq-dpdgraph-gos05
Depends: libcoq-stdlib-py9l3
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_amd64.deb
Size: 35680
MD5sum: da2aafa2a4b18a8fb4c6b944ca14f63c
SHA256: 6aad15569fe5246f1e8039d136516dcf0797e13dc59d4478291a21da2d0abaa9

.
2954,2957c
Filename: pool/main/c/coq-bignums/libcoq-bignums_9.0.0+rocq9.2-1_amd64.deb
Size: 1899420
MD5sum: b41ba2f908a5fd3585d088f30c53c35a
SHA256: 8bcdbd72ba14799b88b5b569e9ea6903e75e4f98d5bd1a7d7fb2a9df8f2e0dd8
.
2947,2948c
Provides: libcoq-bignums-rb1v5
Depends: libcoq-stdlib-py9l3
.
2942,2944c
Source: coq-bignums
Version: 9.0.0+rocq9.2-1
Installed-Size: 6602
.
2936,2939c
Filename: pool/main/c/coq/rocqide_9.2.0+dfsg-1_amd64.deb
Size: 1941608
MD5sum: f31e8bfa5cf53a23e481155aa1dda918
SHA256: d4b4d26db5c457d86dbca57df4ea3ac89f08c4cea680fd8f4a4205f01ed2b1b8
.
2929c
Depends: coq (= 9.2.0+dfsg-1), libc6 (>= 2.42), libcairo2 (>= 1.12.0), libfontconfig1 (>= 2.12.6), libfreetype6 (>= 2.2.1), libgdk-pixbuf-2.0-0 (>= 2.22.0), libglib2.0-0t64 (>= 2.36.0), libgtk-3-0t64 (>= 3.11.5), libgtksourceview-3.0-1 (>= 2.91.4), libpango-1.0-0 (>= 1.14.0)
.
2923,2925c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 8903
.
2917,2920c
Filename: pool/main/c/coq/libcoq-core-ocaml-dev_9.2.0+dfsg-1_amd64.deb
Size: 55434592
MD5sum: 815875daa3d5e75bc6352b2d97a6b380
SHA256: 0bc26c1329a1f0a3b4e33d9b812375fcbe427272f112c4a12da0bf4459dc210d
.
2910,2911c
Provides: libcoq-core-ocaml-dev-zcpg4
Depends: libcompiler-libs-ocaml-dev-qi4l7, libcoq-core-ocaml-zcpg4, libfindlib-ocaml-dev-hz390, libstdlib-ocaml-dev-1ltp0, libzarith-ocaml-dev-igxp5, ocaml-5.4.1
.
2905,2907c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 240374
.
2899,2902c
Filename: pool/main/c/coq/libcoq-core-ocaml_9.2.0+dfsg-1_amd64.deb
Size: 25713812
MD5sum: 02630fbf99783d57332d3a7b7a18d3b1
SHA256: 9958a5572017c1aa1292a99d8461eae5e693e822099a757e3d89987a197c5847
.
2891c
Provides: libcoq-core-ocaml-zcpg4
.
2886,2888c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 94030
.
2880,2883c
Filename: pool/main/c/coq/libcoq-core_9.2.0+dfsg-1_amd64.deb
Size: 1153152
MD5sum: 586763c9cf32874155c4373ade04eef1
SHA256: 1c3de252c5270a63899daac7c6b435bb01dd3404e1659510314b889e1fb63d2f
.
2872c
Provides: libcoq-core-dzvj8
.
2866,2868c
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 5685
.
2860,2863c
Filename: pool/main/c/coq/coq_9.2.0+dfsg-1_amd64.deb
Size: 41143764
MD5sum: 326074c4df88b995214671bceba1ce26
SHA256: 2be0691cc0285d354f206f0723730183319d29b0488b4038dd77732e7a15a866
.
2849,2850c
Provides: coq-9.2+5.4.1
Depends: libcoq-core (= 9.2.0+dfsg-1), libcoq-core-ocaml-zcpg4, libfindlib-ocaml-hz390, libstdlib-ocaml-1ltp0, libzarith-ocaml-igxp5, ocaml-base-5.4.1, libc6 (>= 2.42), libgmp10 (>= 2:6.3.0+dfsg), ocaml, ocaml-findlib, python3
.
2844,2846c
Version: 9.2.0+dfsg-1
Installed-Size: 166096
.
