32116a

Package: libcoq-stdlib
Source: rocq-stdlib
Version: 9.1.0-1
Installed-Size: 70711
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: loong64
Provides: libcoq-stdlib-or5t6
Recommends: coq
Description: Standard library for the Rocq Theorem Prover
Homepage: https://rocq-prover.org
Description-md5: 0b24e694693db60c1cd6cd2d76d1f65f
Section: math
Priority: optional
Filename: pool/main/r/rocq-stdlib/libcoq-stdlib_9.1.0-1_loong64.deb
Size: 20073208
MD5sum: b147ffa99d0503a997fb8c95a98a2987
SHA256: 2466f1397f06565c35b4fd28d70a6b2044854426d3732eae2e72185bba165549
.
26743a
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: 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

.
23500,23583d
1780a
Package: coq
Version: 9.2.0+dfsg-1
Installed-Size: 109089
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: loong64
Provides: coq-9.2+5.4.1
Depends: libcoq-core (= 9.2.0+dfsg-1), libcoq-core-ocaml-r0j52, libfindlib-ocaml-08db4, libstdlib-ocaml-1vpd4, libzarith-ocaml-cqc12, ocaml-base-5.4.1, libc6 (>= 2.42), libgmp10 (>= 2:6.3.0+dfsg), ocaml, ocaml-findlib, python3
Suggests: rocqide | proofgeneral, ledit | readline-editor, libcoq-core-ocaml-dev, why3, coq-doc
Description: proof assistant for higher-order logic (toplevel and compiler)
Homepage: http://coq.inria.fr/
Description-md5: 2c4259e8b83c839ff539d48b854ee31a
Tag: devel::compiler, field::mathematics, implemented-in::ocaml,
 interface::commandline, interface::text-mode, role::program,
 scope::utility, uitoolkit::ncurses
Section: math
Priority: optional
Filename: pool/main/c/coq/coq_9.2.0+dfsg-1_loong64.deb
Size: 24271384
MD5sum: f710a3f3c6f4eb4fff863dd7091477a0
SHA256: 71fb55009e6c93bcf7a84928d8504e9521971897e3585ef1eb61130ea6de8c5a

Package: libcoq-core
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 5691
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: loong64
Replaces: libcoq-stdlib (<< 9)
Provides: libcoq-core-2pki4
Recommends: coq
Breaks: libcoq-stdlib (<< 9)
Description: proof assistant for higher-order logic (theories)
Homepage: http://coq.inria.fr/
Description-md5: 9e601d42ac375ebc4cb75dff6e4c368e
Section: math
Priority: optional
Filename: pool/main/c/coq/libcoq-core_9.2.0+dfsg-1_loong64.deb
Size: 1153000
MD5sum: ba66480f0276c183c743ba2e146a6d22
SHA256: f7004e7d3206bdb05951cbeecbc8bd611e386e6ff9434ca50043ac3b7c05d189

Package: libcoq-core-ocaml
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 59931
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: loong64
Provides: libcoq-core-ocaml-r0j52
Depends: libfindlib-ocaml-08db4, libstdlib-ocaml-1vpd4, libzarith-ocaml-cqc12, ocaml-base-5.4.1, libc6 (>= 2.36)
Suggests: ocaml-findlib
Description: runtime libraries for Coq
Homepage: http://coq.inria.fr/
Description-md5: 6f9fa9509e05b95dc040fa6f750867c3
Section: ocaml
Priority: optional
Filename: pool/main/c/coq/libcoq-core-ocaml_9.2.0+dfsg-1_loong64.deb
Size: 17994488
MD5sum: d84e809ff3fa7baece7cbbc38e52380a
SHA256: 4e664cd68bf645e96be44542df9d6ad6f01f1194283dbb4d239e4dda30b94a40

Package: libcoq-core-ocaml-dev
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 179754
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: loong64
Provides: libcoq-core-ocaml-dev-r0j52
Depends: libcompiler-libs-ocaml-dev-9hoz6, libcoq-core-ocaml-r0j52, libfindlib-ocaml-dev-08db4, libstdlib-ocaml-dev-1vpd4, libzarith-ocaml-dev-cqc12, ocaml-5.4.1
Description: development libraries and tools for Coq
Homepage: http://coq.inria.fr/
Description-md5: 087097b71994724756abfbecea1882b9
Section: ocaml
Priority: optional
Filename: pool/main/c/coq/libcoq-core-ocaml-dev_9.2.0+dfsg-1_loong64.deb
Size: 46303224
MD5sum: 142dcb6e763d5a7e0a5d825d3e8ac42b
SHA256: 8e031967582f82cfca01f9007f0f87269ff260faef2fda38709485b4aa5a1639

Package: rocqide
Source: coq
Version: 9.2.0+dfsg-1
Installed-Size: 3285
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: loong64
Replaces: coqide
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)
Conflicts: coqide
Description: proof assistant for higher-order logic (gtk interface)
Homepage: http://coq.inria.fr/
Description-md5: c6fb144d57a56407344a4003317f4e68
Section: math
Priority: optional
Filename: pool/main/c/coq/rocqide_9.2.0+dfsg-1_loong64.deb
Size: 610072
MD5sum: da188bf745db2a336b92c43f95ce4b05
SHA256: 15f7ea0430fe9096208fc4efa40d87a2d18178d27350a1e83ba5bdea38ac2c0c

Package: libcoq-ext-lib
Source: coq-ext-lib
Version: 0.13.1-1
Installed-Size: 2793
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: loong64
Provides: libcoq-ext-lib-n3uw8
Depends: libcoq-stdlib-or5t6
Description: Collection of theories and plugins for Coq
Homepage: https://github.com/coq-community/coq-ext-lib
Description-md5: 7ead45ffb4ed1a615db956ed9c7fb053
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-ext-lib/libcoq-ext-lib_0.13.1-1_loong64.deb
Size: 772152
MD5sum: d4e88b4d6bc22a5cf465fff0be9dfca4
SHA256: 0501f903c7a8bc2d2d65392cae5ac8479fc60fd06cc7fcd664a8c3af768bd039

Package: libcoq-libhyps
Source: coq-libhyps
Version: 2.0.8-6
Installed-Size: 268
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: loong64
Provides: libcoq-libhyps-mv3l2
Depends: libcoq-stdlib-or5t6
Description: Tactics on hypotheses in Coq
Homepage: https://github.com/Matafou/LibHyps
Description-md5: db8bbfca8b98fd7442164805cb2552a7
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-libhyps/libcoq-libhyps_2.0.8-6_loong64.deb
Size: 63200
MD5sum: a1f130b03162eda05aef1753da0bb13c
SHA256: 3cc395c2bac031c39a249ccbc132b1d8df80a9c9b67ced03214d3022c9ae953e

Package: libcoq-menhirlib
Source: coq-menhirlib
Version: 20250912+ds-2
Installed-Size: 2700
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: loong64
Provides: libcoq-menhirlib-oe831
Depends: libcoq-stdlib-or5t6
Description: support library for Coq-verified Menhir parsers
Homepage: https://coquelicot.inria.fr/fpottier/menhir
Description-md5: 8d891c64cbef7d99c8b89663d921d672
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-menhirlib/libcoq-menhirlib_20250912+ds-2_loong64.deb
Size: 915144
MD5sum: 6c51f30933711d7f860f074867c00cb2
SHA256: ed1f16595d5ce6c346ecaf805d3a48be743753bd16ad341540095dd6df4b62c3

Package: libcoq-record-update
Source: coq-record-update
Version: 0.3.6-2
Installed-Size: 69
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: loong64
Provides: libcoq-record-update-wwpu6
Depends: libcoq-stdlib-or5t6
Description: automatic record fields updaters for Coq
Homepage: https://github.com/tchajed/coq-record-update
Description-md5: 88f89d9a5fbe40b2f7634d8368a32e1e
Section: ocaml
Priority: optional
Filename: pool/main/c/coq-record-update/libcoq-record-update_0.3.6-2_loong64.deb
Size: 19132
MD5sum: 5e82c07b6c2611ae721ff4273ed8cbdf
SHA256: b7fffd47110a798bd7ef20a5edd5eb8d78064444d055f5aac7a6542b9fe4954b

.
0a
Package: libcoq-aac-tactics
Source: aac-tactics
Version: 9.0.0-2
Installed-Size: 2074
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Architecture: loong64
Replaces: libaac-tactics-coq, libaac-tactics-ocaml, libaac-tactics-ocaml-dev
Provides: libcoq-aac-tactics-xrc78
Depends: libcoq-stdlib-or5t6, libcoq-core-ocaml-r0j52, libstdlib-ocaml-1vpd4, libzarith-ocaml-cqc12
Breaks: libaac-tactics-coq
Description: Rocq tactics for reasoning modulo AC (theories)
Homepage: https://github.com/coq-community/aac-tactics
Description-md5: 1fa1dc67e2b50aa8e970728fc914b32e
Section: math
Priority: optional
Filename: pool/main/a/aac-tactics/libcoq-aac-tactics_9.0.0-2_loong64.deb
Size: 303336
MD5sum: 1bcef967cb76065758d31d19a46f2cc0
SHA256: efd273d42aa06220abde10025ab0b4706f9042abdd839e868f987c4d8f2c37d5

.
