Package: coq-doc Priority: optional Section: multiverse/doc Installed-Size: 20 Maintainer: Ubuntu Developers Architecture: all Version: 8.20.0-2build2 Depends: coq-doc-html (>= 8.20.0-2build2), coq-doc-pdf (>= 8.20.0-2build2), node-mathjax-full Filename: pool/multiverse/c/coq-doc/coq-doc_8.20.0-2build2_all.deb Size: 4042 SHA512: 5f73875c83e2c84743955f140ffd238ce556c939b331cc6dc4548a5bfcef18b266700d1f77e4f4e7ca0708fa4c6133542ef1cf9d5bb9075bfdca07e566e835c7 Homepage: http://coq.inria.fr/ Description: documentation for Coq Description-md5: 8162cc95ca212365bc0155b6cfef283a Original-Maintainer: Debian OCaml Maintainers Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: coq-doc-html Source: coq-doc Priority: optional Section: multiverse/doc Installed-Size: 22180 Maintainer: Ubuntu Developers Architecture: all Version: 8.20.0-2build2 Replaces: coq-doc (<= 8.0pl1.0-1) Depends: libjs-jquery (>= 3.6.0), libjs-sphinxdoc (>= 9.0), sphinx-rtd-theme-common (>= 3.1.0+dfsg) Filename: pool/multiverse/c/coq-doc/coq-doc-html_8.20.0-2build2_all.deb Size: 1597834 SHA512: 30d60097a3e3c36747659aeb49bc9e9df25a64a4d8c7de5fd50701de28a038127e5c40a790cb3d35d78b4204b69bbedb7a4ab171efd97be3b3fc3bb76434b6a7 Homepage: http://coq.inria.fr/ Description: documentation for Coq in html format Description-md5: 2a1cea3031ba67430a5917f291c6087a Original-Maintainer: Debian OCaml Maintainers Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: coq-doc-pdf Source: coq-doc Priority: optional Section: multiverse/doc Installed-Size: 4959 Maintainer: Ubuntu Developers Architecture: all Version: 8.20.0-2build2 Replaces: coq-doc (<= 8.0pl1.0-1) Filename: pool/multiverse/c/coq-doc/coq-doc-pdf_8.20.0-2build2_all.deb Size: 5065836 SHA512: 8dcb81b5fb1fe82cbb82970fe845bdb2ccb5120dadc8ae5bc2876d8a4c636b0e84c4624ab80a96d99b9925d65e5fb474b2470d5b02b137e98fde153178983621 Homepage: http://coq.inria.fr/ Description: documentation for Coq in pdf format Description-md5: 6406c20f936aa913c3dfc9f90c15fc8a Original-Maintainer: Debian OCaml Maintainers Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: firmware-qcom-dragonboard845c Source: linux-board-support-package-dragonboard845c Priority: optional Section: multiverse/misc Installed-Size: 41512 Maintainer: Ubuntu Developers Architecture: all Version: 0~20190529180356-v4-3 Depends: firmware-qcom-soc (>= 20220913-0~) Filename: pool/multiverse/l/linux-board-support-package-dragonboard845c/firmware-qcom-dragonboard845c_0~20190529180356-v4-3_all.deb Size: 9435668 SHA512: f19c8d3355d9a67ac1247bf7918d0e23f5e697bbfeed8f2c2fb14c3e27461b642ca19ead327cc8b6d3dfba05de3b8f37d196804926a7b82038fc6e84e6700a64 Homepage: https://releases.linaro.org/96boards/dragonboard845c/qualcomm/firmware Description: Binary firmware for various Qualcomm drivers used on Dragonboard 845c Description-md5: 3507088ed94312d44b4d5f5207d7374f Original-Maintainer: Roger Shimizu Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: firmware-qcom-rb3gen2 Source: linux-board-support-package-rb3gen2 Priority: optional Section: multiverse/misc Installed-Size: 14118 Maintainer: Ubuntu Developers Architecture: all Version: 1.1-1 Depends: firmware-qcom-soc Filename: pool/multiverse/l/linux-board-support-package-rb3gen2/firmware-qcom-rb3gen2_1.1-1_all.deb Size: 6460306 SHA512: 920ae7bd23019e038f10456f7cc2bddf00343c72fe528121919400a8555c279eb586f98c91f797d417a7525c13c6fe3a0d72355f33a0d110b8528b4b0c75eeb0 Homepage: https://artifacts.codelinaro.org/ui/native/qli-ci/flashable-binaries/ubuntu-fw Description: Binary firmware for Qualcomm Robotics RB3 Gen2 Description-md5: 932dde057b2dbbe5130433652321aa51 Original-Maintainer: Roger Shimizu Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: firmware-qcom-rb5 Source: linux-board-support-package-rb5 Priority: optional Section: multiverse/misc Installed-Size: 74936 Maintainer: Ubuntu Developers Architecture: all Version: 0~20210331-v4-1 Depends: firmware-qcom-soc (>= 20220913~) Filename: pool/multiverse/l/linux-board-support-package-rb5/firmware-qcom-rb5_0~20210331-v4-1_all.deb Size: 11570878 SHA512: 837eee0e4fadd607e7f4c60cf7dc0eb1e88ed9c5d69a724e5eec1724219bd885be11fb90e4a47d7f77d17756a74818645ac4a29549e58b909aa1bd7670e57b08 Homepage: https://releases.linaro.org/96boards/rb5/qualcomm/firmware Description: Binary firmware for various Qualcomm drivers used on Robotics RB5 Description-md5: 0abf8cbedf59bff7af0b4696550319c7 Original-Maintainer: Roger Shimizu Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: gitaly-installer Priority: optional Section: multiverse/net Installed-Size: 52 Maintainer: Ubuntu Developers Architecture: all Version: 17.6.5+debian1 Replaces: gitaly Depends: build-essential, gitlab-common (= 17.6.5+debian1), curl, unzip, ucf Conflicts: gitaly Pre-Depends: init-system-helpers (>= 1.54~) Filename: pool/multiverse/g/gitaly-installer/gitaly-installer_17.6.5+debian1_all.deb Size: 7246 SHA512: 9e026a866bbd684a5a7912f8c9b7f62a62c49969f2425e5a2e8b2a0bc0611d44e8eb5e9ea7be946d9e7f953b60ef7dd9bff2e7758b0f4744676ee025c8f7cbed Homepage: https://wiki.debian.org/gitlab Description: Git RPC service for handling all the git calls made by GitLab Description-md5: a0db51942a7c98ec821bffaf2b5a8789 Original-Maintainer: Debian Go Packaging Team Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: gitlab-common Source: gitaly-installer Priority: optional Section: multiverse/net Installed-Size: 35 Maintainer: Ubuntu Developers Architecture: all Version: 17.6.5+debian1 Depends: debconf (>= 0.5) | debconf-2.0, ruby, adduser (>= 3.34~), git (>= 1:2.41~), ucf, gitlab-shell (>= 14.35~) Pre-Depends: ca-certificates Filename: pool/multiverse/g/gitaly-installer/gitlab-common_17.6.5+debian1_all.deb Size: 7092 SHA512: ba2a215d2b98d0cc53bded20791c8d6518bcaada74167a5de20374e17f163ac534d59ad80ed8bd970c33cabe974c7e49166a51f9a78975ad8c115bcee09e87b9 Homepage: https://wiki.debian.org/gitlab Description: git powered software platform to collaborate on code (common) Description-md5: ccb3bd8dfffd14a6e75d53315368861a Original-Maintainer: Debian Go Packaging Team Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: libalicevision-data Source: alicevision Priority: optional Section: multiverse/libs Installed-Size: 17335 Maintainer: Ubuntu Developers Architecture: all Version: 3.3.1+repack-4 Filename: pool/multiverse/a/alicevision/libalicevision-data_3.3.1+repack-4_all.deb Size: 3566580 SHA512: d411c541cfb379c35e52a9dc63e97696693560c11cdff97e80890ddccbd57bdc8caef053dd36a4a70a3c70c55d6516710350788406fb3b3fed6e6543da711b3f Homepage: https://github.com/alicevision/AliceVision Description: Photogrammetric Computer Vision Framework Description-md5: ddf3277bd12a96a8873eb5b919423593 Original-Maintainer: Debian Science Maintainers Multi-Arch: foreign Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: libcupti-doc Source: nvidia-cuda-toolkit (12.4.1-8.1) Priority: extra Section: multiverse/doc Installed-Size: 14605 Maintainer: Ubuntu Developers Architecture: all Version: 12.4.127~12.4.1-8.1 Depends: libjs-sphinxdoc, node-html5shiv, sphinx-rtd-theme-common Filename: pool/multiverse/n/nvidia-cuda-toolkit/libcupti-doc_12.4.127~12.4.1-8.1_all.deb Size: 2364364 SHA512: b5b3e4530097bb1c96e61f54135f8560938601417ec311ad10c81827b73a71a1d632b8e6fb48588440cc54ce684d028a48a51b8a3c34c8f10919426fc85b09db Homepage: https://developer.nvidia.com/cuda-profiling-tools-interface Description: NVIDIA CUDA Profiler Tools Interface documentation Description-md5: 0c6d9f272f89c82663423610515dd3eb Original-Maintainer: Debian NVIDIA Maintainers Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: libnvidia-common-570 Source: nvidia-graphics-drivers-580 Priority: optional Section: multiverse/libs Installed-Size: 37 Maintainer: Ubuntu Developers Architecture: all Version: 580.159.04-0ubuntu1 Depends: libnvidia-common-580 Filename: pool/multiverse/n/nvidia-graphics-drivers-580/libnvidia-common-570_580.159.04-0ubuntu1_all.deb Size: 11908 SHA512: d5e88ff385014d28ea7102bd7c979bbd3d8a19e44dd862998933010647a5103a3a90c3a16912b4c5a7d7670bea42998aac36598e582cd36ee9da5cfee809fb89 Homepage: http://www.nvidia.com Description: Shared files used by the NVIDIA libraries (transitional package) Description-md5: 199944b00680c01ad96667801f879894 Multi-Arch: foreign Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: libnvidia-common-570-server Source: nvidia-graphics-drivers-580-server Priority: optional Section: multiverse/libs Installed-Size: 37 Maintainer: Ubuntu Developers Architecture: all Version: 580.159.04-0ubuntu1 Depends: libnvidia-common-580-server Filename: pool/multiverse/n/nvidia-graphics-drivers-580-server/libnvidia-common-570-server_580.159.04-0ubuntu1_all.deb Size: 11920 SHA512: 0f5f487e57eeb43310af80783ad1ac38a7b8492fda110c5f18ab6a3051429b2f4d919f4ec1e63bf7d83a3a6bdc0fb9320ed0dd398e75694e065492aaee0e14a6 Homepage: http://www.nvidia.com Description: Shared files used by the NVIDIA libraries (transitional package) Description-md5: 199944b00680c01ad96667801f879894 Multi-Arch: foreign Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: libunrar-headers Source: unrar-nonfree Priority: optional Section: multiverse/libdevel Installed-Size: 219 Maintainer: Ubuntu Developers Architecture: all Version: 1:7.2.7-1 Filename: pool/multiverse/u/unrar-nonfree/libunrar-headers_7.2.7-1_all.deb Size: 54092 SHA512: 25d793baf4b7f79ae1195f5293414f7896993608baf64de798f69de675c8f5e1575c09edf89a56afbd815bc0016a3f9f195e7b8eba744a8156c13b2fe091125a Homepage: https://www.rarlab.com/ Description: Unarchiver for .rar files (non-free version) - development header files Description-md5: 5933d9af6d012cfa7dbcb3420667ec4a Original-Maintainer: UnRar maintainer team Multi-Arch: foreign Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: nvidia-cuda-toolkit-doc Source: nvidia-cuda-toolkit Priority: optional Section: multiverse/doc Installed-Size: 10497 Maintainer: Ubuntu Developers Architecture: all Version: 12.4.1-8.1 Replaces: nvidia-cuda-doc (<< 10.2.89-3) Suggests: nvidia-cuda-samples (>= 12) Depends: libjs-html5shiv, libjs-jquery Breaks: nvidia-cuda-doc (<< 10.2.89-3) Filename: pool/multiverse/n/nvidia-cuda-toolkit/nvidia-cuda-toolkit-doc_12.4.1-8.1_all.deb Size: 6643654 SHA512: 23466f1c806033f4aae8d9afa21db2970c22740e68afe47b8cbbf5969820376dc39a65e4e9adaaddfa0e469635825239422887911d9fec33659af21aef200461 Homepage: https://docs.nvidia.com/cuda Description: NVIDIA CUDA and OpenCL documentation Description-md5: 37628d7854344886d340076661277f47 Original-Maintainer: Debian NVIDIA Maintainers Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: openrct2-objects Priority: optional Section: multiverse/games Installed-Size: 16137 Maintainer: Ubuntu Developers Architecture: all Version: 1.7.10+dfsg-1 Filename: pool/multiverse/o/openrct2-objects/openrct2-objects_1.7.10+dfsg-1_all.deb Size: 9753074 SHA512: 072be794dd60b1319cf6c7982bea2a9a22c37471e519478e6745bc67818feb3209e76a3aee2a4a26f1277c3762a72ca4b41e432ca6d305d0af7e8c2d8a089508 Homepage: https://openrct2.io/ Description: Object definitions for OpenRCT2 Description-md5: f6bc7e007707cf7a1dba4734f5d1ca70 Original-Maintainer: Mathias Gibbens Multi-Arch: foreign Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug Package: parmetis-doc Source: parmetis Priority: optional Section: multiverse/doc Installed-Size: 22810 Maintainer: Ubuntu Developers Architecture: all Version: 4.0.3-7build5 Filename: pool/multiverse/p/parmetis/parmetis-doc_4.0.3-7build5_all.deb Size: 3241920 SHA512: 38a7981f8c52c82fdd81b1e1d3f0ff6d4d3635a01281ca0c5814b94c239e49eb9e593d6ebc959367010cf5ab2417ed916be2fc81f15ce8d38dc330b9bfdb74ae Homepage: http://glaros.dtc.umn.edu/gkhome/metis/parmetis/overview Description: Parallel Graph Partitioning and Sparse Matrix Ordering Lib - Docs Description-md5: 55cc39b179c0b5b2dedead6fc6a8c34f Original-Maintainer: Debian Science Team Origin: Ubuntu Bugs: https://bugs.launchpad.net/ubuntu/+filebug