Package: acpica-tools Source: acpica-unix Version: 20200528-1+nerve10u4 Architecture: amd64 Maintainer: Al Stone Installed-Size: 2456 Depends: libc6 (>= 2.14) Breaks: acpidump (<< 20100513-4), iasl (<< 20130214-0.1) Replaces: acpidump (<< 20100513-4), iasl (<< 20130214-0.1) Provides: acpidump, iasl Homepage: http://www.acpica.org Priority: optional Section: devel Filename: pool/main/a/acpica-unix/acpica-tools_20200528-1+nerve10u4_amd64.deb Size: 832008 SHA256: 7fab84631563d841171a6c5c143652c067364c5bf8f257d014bf8b7a84706e89 SHA1: 4305810271baa32d0c1acec1da5f7068a0e4d31d MD5sum: e60209961b6f258a76710514b6850897 Description: ACPICA tools for the development and debug of ACPI tables The ACPI Component Architecture (ACPICA) project provides an OS-independent reference implementation of the Advanced Configuration and Power Interface Specification (ACPI). ACPICA code contains those portions of ACPI meant to be directly integrated into the host OS as a kernel-resident subsystem, and a small set of tools to assist in developing and debugging ACPI tables. . This package contains only the user-space tools needed for ACPI table development, not the kernel implementation of ACPI. The following commands are installed: -- iasl: compiles ASL (ACPI Source Language) into AML (ACPI Machine Language), suitable for inclusion as a DSDT in system firmware. It also can disassemble AML, for debugging purposes. -- acpibin: performs basic operations on binary AML files (e.g., comparison, data extraction) -- acpidump: write out the current contents of ACPI tables -- acpiexec: simulate AML execution in order to debug method definitions -- acpihelp: display help messages describing ASL keywords and op-codes -- acpinames: display complete ACPI name space from input AML -- acpisrc: manipulate the ACPICA source tree and format source files for specific environments -- acpixtract: extract binary ACPI tables from acpidump output (see also the pmtools package) Package: acpica-tools-dbgsym Source: acpica-unix Version: 20200528-1+nerve10u4 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Al Stone Installed-Size: 5974 Depends: acpica-tools (= 20200528-1+nerve10u4) Priority: optional Section: debug Filename: pool/main/a/acpica-unix/acpica-tools-dbgsym_20200528-1+nerve10u4_amd64.deb Size: 5384124 SHA256: 3d3ea00f9a4b67be1f01cc3f570b157678918218a7e88683d55e82b4a95b9f0c SHA1: 2200b2362b3d74dc15991b55cb80a9a8718abf1d MD5sum: a00900b58cb3425e79c425ed306d2ed8 Description: debug symbols for acpica-tools Build-Ids: 03ab5386dc287e94a7941be39ff798f38b2e367a 05273dcbb93fc6128a720a2f69ff85da850c7856 1271c0ce1cebb4970d6c25eafd5c49cea379340b a9c8dbc63a7c9811f3218eeab1f1271e533a7171 b2e56d4f8b0608abd920cda3e2f3a145229242b2 b66a32d03c7bfb15c001505e673dcbef0ea01851 ea5eb4e573aa825944ddd4c0e08508202ecb3503 Package: android-tools-adbd Source: android-tools Version: 5.1.1.r38-1.2~nerve12u2 Architecture: amd64 Maintainer: Android Tools Maintainers Installed-Size: 147 Depends: libbsd0 (>= 0.0), libc6 (>= 2.34), libssl3 (>= 3.0.0) Homepage: https://developer.android.com/tools/help/adb.html Priority: extra Section: devel Filename: pool/main/a/android-tools/android-tools-adbd_5.1.1.r38-1.2~nerve12u2_amd64.deb Size: 54364 SHA256: cadb7966d5db5a1ac2e8d340c6e244af69bcc367995bc4665786f0499bbb8793 SHA1: 87d079e89233937bad2e33da71708cdbd766976f MD5sum: c26b2cf8e2aba65771e641ba49dabdfa Description: Android Debug Bridge daemon Android Debug Bridge (adb) is a versatile tool that lets you manage the state of an emulator instance or Android-powered device. It is a client-server program that includes three components: . A client, which runs on your development machine. You can invoke a client from a shell by issuing an adb command. Other Android tools such as the ADT plugin and DDMS also create adb clients. . A server, which runs as a background process on your development machine. The server manages communication between the client and the adb daemon running on an emulator or device. . A daemon, which runs as a background process on each emulator or device instance. . This package provides the daemon component. Package: android-tools-adbd-dbgsym Source: android-tools Version: 5.1.1.r38-1.2~nerve12u2 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Android Tools Maintainers Installed-Size: 208 Depends: android-tools-adbd (= 5.1.1.r38-1.2~nerve12u2) Priority: optional Section: debug Filename: pool/main/a/android-tools/android-tools-adbd-dbgsym_5.1.1.r38-1.2~nerve12u2_amd64.deb Size: 183016 SHA256: c9cae6722879625e78b2a7e35cc0590051b3cceacdc657b36ac521280c716eb6 SHA1: 29ead974cecfa296054903d3299ab65586eab914 MD5sum: dd67bc2c14d385b1069c1557600bc4e3 Description: debug symbols for android-tools-adbd Build-Ids: cc66d550f98d1d31fa62234cc4b9529de1d2724e Package: android-tools-fsutils Source: android-tools Version: 5.1.1.r38-1.2~nerve12u2 Architecture: amd64 Maintainer: Android Tools Maintainers Installed-Size: 330 Depends: python3:any, libc6 (>= 2.34), libpcre3, zlib1g (>= 1:1.2.3.4) Homepage: https://developer.android.com/tools/help/adb.html Priority: extra Section: devel Filename: pool/main/a/android-tools/android-tools-fsutils_5.1.1.r38-1.2~nerve12u2_amd64.deb Size: 70116 SHA256: ff9617660acc65e94d515d7fbc90621f2f5ac7f2384fc18d023cf02122ef98fc SHA1: 2b838f0d432a6785dc1a5f5c007fbbbcc4a9a710 MD5sum: 31570c8f6b5b86df93f9ec124231535a Description: Android ext4 utilities with sparse support Android images (.img) are typically ext4 filesystems in a special sparse file format. These are tools to help make that format. . This package provides the utilities to deal with Android sparse ext4 images. Package: android-tools-fsutils-dbgsym Source: android-tools Version: 5.1.1.r38-1.2~nerve12u2 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Android Tools Maintainers Installed-Size: 468 Depends: android-tools-fsutils (= 5.1.1.r38-1.2~nerve12u2) Priority: optional Section: debug Filename: pool/main/a/android-tools/android-tools-fsutils-dbgsym_5.1.1.r38-1.2~nerve12u2_amd64.deb Size: 388504 SHA256: 9b74f65110e8aaf35432596783058437c434339e8874bcad11b1aa1fab5b72e7 SHA1: 04e15ebd6c20044c4d57f0d8f935ce5f4c10f7db MD5sum: cae58e9de3732d64ae7a2b19ebcc4077 Description: debug symbols for android-tools-fsutils Build-Ids: 165c5959f8f24770e411dd89de876ca78536fae2 28e84b16cba92e0e7813caba965a750372958a0f d8562031f44655bcb3554847f46826d2ac7bb8bf dc03884202448d16d3dc2001e23614cca97a1508 dfb3cefd08d86029ce8e5202c22293f23aa35a3a fa7ea5a11ddf852fb376ecab475c656ef31edbdf Package: android-tools-mkbootimg Source: android-tools Version: 5.1.1.r38-1.2~nerve12u2 Architecture: amd64 Maintainer: Android Tools Maintainers Installed-Size: 32 Depends: libc6 (>= 2.34) Homepage: https://developer.android.com/tools/help/adb.html Priority: extra Section: devel Filename: pool/main/a/android-tools/android-tools-mkbootimg_5.1.1.r38-1.2~nerve12u2_amd64.deb Size: 9740 SHA256: 72ac2d094fe14e47e1cc9ce5b157f8e8dc0930b49d057503ef94c819e6ad3e44 SHA1: c7c49bbf78652748990e57dc741b1969860d6e7c MD5sum: 633c31b5def390697a377a9521ae7eff Description: Android tool to create Android boot images Creates Android boot images that includes kernel image and ramdisk, in a special format which can be used with fastboot. . This package provides the mkbootimg command-line tool. Package: android-tools-mkbootimg-dbgsym Source: android-tools Version: 5.1.1.r38-1.2~nerve12u2 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Android Tools Maintainers Installed-Size: 27 Depends: android-tools-mkbootimg (= 5.1.1.r38-1.2~nerve12u2) Priority: optional Section: debug Filename: pool/main/a/android-tools/android-tools-mkbootimg-dbgsym_5.1.1.r38-1.2~nerve12u2_amd64.deb Size: 13180 SHA256: 3fa7bdd3154ec9b96fe508229e539ce448d6e155520ec56738d7463b1ac93bf2 SHA1: 10d3db16d6f645f5020d4de7df5d77fdcb90ecc3 MD5sum: be06fd8b6864ba7ed9d1b370059d1b1f Description: debug symbols for android-tools-mkbootimg Build-Ids: d93360f0c6468743aab655e20a0f4139c85b3996 Package: cppcheck Version: 2.7-2~nerve1 Architecture: amd64 Maintainer: Joachim Reichel Installed-Size: 9186 Depends: libc6 (>= 2.15), libgcc1 (>= 1:3.0), libpcre3, libstdc++6 (>= 5.2), libtinyxml2-6a (>= 5.0.0), libz3-4 (>= 4.8.12), python3:any, python3-pygments Suggests: cppcheck-gui, clang, clang-tidy Homepage: https://sourceforge.net/p/cppcheck/wiki/Home/ Priority: optional Section: devel Filename: pool/main/c/cppcheck/cppcheck_2.7-2~nerve1_amd64.deb Size: 1950596 SHA256: 8529adebe576db9ae7b912e6b6e76d1e5d368a7dff246bb97bcc4c6896e34ecb SHA1: b7ca64a00ffd87414221cca771e0180cd353652a MD5sum: 7599360159289ec2e730f7274e972e41 Description: tool for static C/C++ code analysis (CLI) Cppcheck is a command-line tool that tries to detect bugs that your C/C++ compiler doesn't see. It is versatile, and can check non-standard code including various compiler extensions, inline assembly code, etc. Its internal preprocessor can handle includes, macros, and several preprocessor commands. While Cppcheck is highly configurable, you can start using it just by giving it a path to the source code. . It includes checks for: * pointers to out-of-scope auto variables; * assignment of auto variables to an effective parameter of a function; * out-of-bounds errors in arrays and STL; * missing class constructors; * variables not initialized by a constructor; * use of memset, memcpy, etcetera on a class; * non-virtual destructors for base classes; * operator= not returning a constant reference to itself; * use of deprecated functions (mktemp, gets, scanf); * exceptions thrown in destructors; * memory leaks in class or function variables; * C-style pointer cast in C++ code; * redundant if; * misuse of the strtol or sprintf functions; * unsigned division or division by zero; * unused functions and struct members; * passing parameters by value; * misuse of signed char variables; * unusual pointer arithmetic (such as "abc" + 'd'); * dereferenced null pointers; * incomplete statements; * misuse of iterators when iterating through a container; * dereferencing of erased iterators; * use of invalidated vector iterators/pointers; . This package contains the command-line interface for cppcheck. Package: cppcheck-dbgsym Source: cppcheck Version: 2.7-2~nerve1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Joachim Reichel Installed-Size: 38165 Depends: cppcheck (= 2.7-2~nerve1) Priority: optional Section: debug Filename: pool/main/c/cppcheck/cppcheck-dbgsym_2.7-2~nerve1_amd64.deb Size: 37961164 SHA256: ff5c06169267745a742e81d0f87f9aa8aaa19058b2b7be9671352c49de64f7f7 SHA1: dca227c15993e67a6ba39013f17a0b265e12084b MD5sum: c6685dab4a0fd53cd3d352c880cd596d Description: debug symbols for cppcheck Build-Ids: d91c8dda25d67ba6883dd35b476480b2e46f82b2 Package: cppcheck-gui Source: cppcheck Version: 2.7-2~nerve1 Architecture: amd64 Maintainer: Joachim Reichel Installed-Size: 6100 Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libpcre3, libqt5charts5 (>= 5.7.1), libqt5core5a (>= 5.11.0~rc1), libqt5gui5 (>= 5.11.0~rc1), libqt5help5 (>= 5.6.0~beta), libqt5printsupport5 (>= 5.0.2), libqt5sql5 (>= 5.0.2), libqt5widgets5 (>= 5.11.0~rc1), libstdc++6 (>= 5.2), libtinyxml2-6a (>= 5.0.0), libz3-4 (>= 4.8.12), cppcheck (= 2.7-2~nerve1) Suggests: python3, clang, clang-tidy Homepage: https://sourceforge.net/p/cppcheck/wiki/Home/ Priority: optional Section: devel Filename: pool/main/c/cppcheck/cppcheck-gui_2.7-2~nerve1_amd64.deb Size: 1954848 SHA256: 53ae746d58c8176ea351ad5b8badc293cb4302e5cd21c689a4c37f461e39ad18 SHA1: 9fc01e9a82b437e1cd0bd86be1d2a74a206a1e57 MD5sum: 43cd30aafcc835c23bc527b5af3c9897 Description: tool for static C/C++ code analysis (GUI) Cppcheck is a command-line tool that tries to detect bugs that your C/C++ compiler doesn't see. It is versatile, and can check non-standard code including various compiler extensions, inline assembly code, etc. Its internal preprocessor can handle includes, macros, and several preprocessor commands. While Cppcheck is highly configurable, you can start using it just by giving it a path to the source code. . It includes checks for: * pointers to out-of-scope auto variables; * assignment of auto variables to an effective parameter of a function; * out-of-bounds errors in arrays and STL; * missing class constructors; * variables not initialized by a constructor; * use of memset, memcpy, etcetera on a class; * non-virtual destructors for base classes; * operator= not returning a constant reference to itself; * use of deprecated functions (mktemp, gets, scanf); * exceptions thrown in destructors; * memory leaks in class or function variables; * C-style pointer cast in C++ code; * redundant if; * misuse of the strtol or sprintf functions; * unsigned division or division by zero; * unused functions and struct members; * passing parameters by value; * misuse of signed char variables; * unusual pointer arithmetic (such as "abc" + 'd'); * dereferenced null pointers; * incomplete statements; * misuse of iterators when iterating through a container; * dereferencing of erased iterators; * use of invalidated vector iterators/pointers . This package contains the graphical user interface for cppcheck. Package: cppcheck-gui-dbgsym Source: cppcheck Version: 2.7-2~nerve1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Joachim Reichel Installed-Size: 45751 Depends: cppcheck-gui (= 2.7-2~nerve1) Priority: optional Section: debug Filename: pool/main/c/cppcheck/cppcheck-gui-dbgsym_2.7-2~nerve1_amd64.deb Size: 45471856 SHA256: 9e44f2b9533c33849998373d23972cc758eccb348aea540bc5ee223bd23cadcf SHA1: aaa4a67c57822993cba01193f09b300eac45c4bc MD5sum: b4df8f31a8f792f714aca4da342344ae Description: debug symbols for cppcheck-gui Build-Ids: ce1a0fd53fcc25ec1ea9debc78efbf6e6aae3939 Package: icu-devtools Source: icu Version: 70.1-2~nerve10+2 Architecture: amd64 Maintainer: Laszlo Boszormenyi (GCS) Installed-Size: 698 Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libicu70 (>= 70.1-1~), libstdc++6 (>= 5.2) Breaks: icu-tools (<< 70.1~rc-1~), libicu-dev (<< 70.1-2~nerve10+2) Replaces: icu-tools (<< 70.1~rc-1~), libicu-dev (<< 70.1-2~nerve10+2) Multi-Arch: foreign Homepage: https://icu.unicode.org/ Priority: optional Section: libdevel Filename: pool/main/i/icu/icu-devtools_70.1-2~nerve10+2_amd64.deb Size: 202084 SHA256: 8e2f2dc391c16100f1744217f495c739862d1902ef0f1719b541387b59a7f5fb SHA1: f18dc5e8e95f0c5b6d9897f96d8e3ae4d37bfdd2 MD5sum: b1be6fca2cac505f188c58ecd5fe26e8 Description: Development utilities for International Components for Unicode ICU is a C++ and C library that provides robust and full-featured Unicode and locale support. This package contains programs used to manipulate data files found in the ICU sources and is a dependency of libicu-dev. End users would generally not need to install this package. Package: icu-devtools-dbgsym Source: icu Version: 70.1-2~nerve10+2 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Laszlo Boszormenyi (GCS) Installed-Size: 1002 Depends: icu-devtools (= 70.1-2~nerve10+2) Priority: optional Section: debug Filename: pool/main/i/icu/icu-devtools-dbgsym_70.1-2~nerve10+2_amd64.deb Size: 817380 SHA256: db616702c14d6b39bd2a37549180b4dc833fcce7981e8d01cf14b37d56824020 SHA1: fe1f482d658124aec1701414c98f0d2a15e3c6c6 MD5sum: d2fe50a990142a8c9ace40d38e68a0dc Description: debug symbols for icu-devtools Build-Ids: 2a257f77800356e6ec4f951b10e203127a6d786c 4cc1480777978f5fa418f51d6f1045a10121ba3d 4d296d2a010bef2995616233dfeaf6291eab7c5d 5a64ebfbb05b98564fb30a93248516905c03cc61 75ce02e76976015b1f6d15484333762d57c1589d 76e60aac868b306773fabc9f95b0a7331cc76d47 82df5b8525770df6a0cdd2dcf98141aae8b13f95 8de017055aa345ebd7758211ab298a17221aeeee 9ac71efcf97779696626d761706a8448901ebf04 9c6064ecfad53fa7984774cbd7c2e1ddf94eed65 ba1557945cd6b1897896eaddae635f422958c089 bd41ec7ec88d5f80e482218d033c7893e1a1efb3 c78fe03630046346be42810993c4553bbfa4599c ceb80ec022e5f7590f49a5238d9d546eb2c0dd14 d652ebd20e477525912f6e1888ef4fe4a0e03d37 e6593b6fd688dfe1aabb818b27e6c585663cf2b4 fd3511419de3e24c352e860a3b25355eb778428c Package: icu-doc Source: icu Version: 70.1-2~nerve10+2 Architecture: all Maintainer: Laszlo Boszormenyi (GCS) Installed-Size: 38061 Multi-Arch: foreign Homepage: https://icu.unicode.org/ Priority: optional Section: doc Filename: pool/main/i/icu/icu-doc_70.1-2~nerve10+2_all.deb Size: 2715620 SHA256: 29b6119029a66bcc7fa76ce6f64ff9409c1a6d8c12ac84a668cf3e4a18868a01 SHA1: fe797ce5eaa3427f46c5c608dbf0a23f79551ef0 MD5sum: f183cebc8b21e5742c65d70ac873a703 Description: API documentation for ICU classes and functions ICU is a C++ and C library that provides robust and full-featured Unicode and locale support. This package contains HTML files documenting the ICU APIs. Package: libicu-dev Source: icu Version: 70.1-2~nerve10+2 Architecture: amd64 Maintainer: Laszlo Boszormenyi (GCS) Installed-Size: 46005 Depends: libicu70 (= 70.1-2~nerve10+2), icu-devtools (>= 70.1-2~nerve10+2), libc6-dev | libc-dev Suggests: icu-doc Breaks: icu-devtools (<< 70.1~rc-1~) Replaces: icu-devtools (<< 70.1~rc-1~) Multi-Arch: same Homepage: https://icu.unicode.org/ Priority: optional Section: libdevel Filename: pool/main/i/icu/libicu-dev_70.1-2~nerve10+2_amd64.deb Size: 10004604 SHA256: 7c048b8bdb133da2ac3b4ed0233a4df101709d4f7d1f1811df5614f0c6476dc7 SHA1: c0db85e36bdf4cceb34bb26c43f05c5e7a56ebe5 MD5sum: 233838965a27f2b6b74272e8aa629900 Description: Development files for International Components for Unicode ICU is a C++ and C library that provides robust and full-featured Unicode and locale support. This package contains the development files for ICU. Package: libicu70 Source: icu Version: 70.1-2~nerve10+2 Architecture: amd64 Maintainer: Laszlo Boszormenyi (GCS) Installed-Size: 34392 Depends: libc6 (>= 2.27), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2) Breaks: libiculx63 (<< 63.1-5), openttd (<< 1.8.0-2~) Replaces: libiculx63 (<< 63.1-5) Multi-Arch: same Homepage: https://icu.unicode.org/ Priority: optional Section: libs Filename: pool/main/i/icu/libicu70_70.1-2~nerve10+2_amd64.deb Size: 9059496 SHA256: d8ad46b0296a60f898629e90c55b7c697a8f807a2fd9fa5d6e1c620d1af5e2d8 SHA1: 64965ff2f97ccf39f6ccb6994f4a85cb81dd006f MD5sum: 78c47741619114de758e509f2e3928cc Description: International Components for Unicode ICU is a C++ and C library that provides robust and full-featured Unicode and locale support. This package contains the runtime libraries for ICU. Package: libicu70-dbgsym Source: icu Version: 70.1-2~nerve10+2 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Laszlo Boszormenyi (GCS) Installed-Size: 9629 Depends: libicu70 (= 70.1-2~nerve10+2) Multi-Arch: same Priority: optional Section: debug Filename: pool/main/i/icu/libicu70-dbgsym_70.1-2~nerve10+2_amd64.deb Size: 8586436 SHA256: 5423c4ac5b4cbeca9049ebffdaeab15ff67ce9e0169d2eadff24933324e128a3 SHA1: 9a02bf5027278b9072cb4997b78d4bf97f985e93 MD5sum: 51a9b23f93ba847b25e5eebc57577c82 Description: debug symbols for libicu70 Build-Ids: 4a5b90cbff0dcde9acd72e77be0ccd6b0fc69b11 b1b68f64881c0c82dfc955e2e478a93d1b1bf3d1 b25f87234dcdeecd1eee1c9dc906a25e554a767f d1613afd3dcce892dd45eb4883e2a0e8b18d7fac e96dca3807e00472b9788c892b305d12438a0d40 f995278f3ae06fb307f5238ebfee2e714eecc870 Package: libz3-4 Source: z3 Version: 4.8.12-2~nerve1 Architecture: amd64 Maintainer: LLVM Packaging Team Installed-Size: 23740 Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.4), libstdc++6 (>= 6) Breaks: libz3-dev (<< 4.4.1) Replaces: libz3-dev (<< 4.4.1) Multi-Arch: same Homepage: https://github.com/Z3Prover/z3 Priority: optional Section: libs Filename: pool/main/z/z3/libz3-4_4.8.12-2~nerve1_amd64.deb Size: 7507984 SHA256: 012c889a3854c054927d4ee74580b40905056db380d1be0732517d234592bff9 SHA1: c314d0d5861e2d8191687e3ee1fce67f52c7bde7 MD5sum: 0972309e17dde56c27428da41b061a85 Description: theorem prover from Microsoft Research - runtime libraries Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . This package contains runtime libraries. You shouldn't have to install it manually. Package: libz3-4-dbgsym Source: z3 Version: 4.8.12-2~nerve1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: LLVM Packaging Team Installed-Size: 146462 Depends: libz3-4 (= 4.8.12-2~nerve1) Multi-Arch: same Priority: optional Section: debug Filename: pool/main/z/z3/libz3-4-dbgsym_4.8.12-2~nerve1_amd64.deb Size: 145828480 SHA256: a251a3bff7a46409eebda659748db5b8e177510fd8c052e63797a51be9741b13 SHA1: b5e2880ab8fa9770d3cf9259609639f070b5181f MD5sum: 5527c1fe44d1b48846924c0bd9604caf Description: debug symbols for libz3-4 Build-Ids: f86dab537119c742a385ac526df771d851e3f424 Package: libz3-dev Source: z3 Version: 4.8.12-2~nerve1 Architecture: amd64 Maintainer: LLVM Packaging Team Installed-Size: 533 Depends: libz3-4 (= 4.8.12-2~nerve1) Multi-Arch: same Homepage: https://github.com/Z3Prover/z3 Priority: optional Section: libdevel Filename: pool/main/z/z3/libz3-dev_4.8.12-2~nerve1_amd64.deb Size: 91960 SHA256: 8d857179a576aac59af6e2ecf5e69772497715a565f7819b8c3d98d4044c22b8 SHA1: 4a7a8a5bb84aa37e9b383e79657f48f9fee162c9 MD5sum: dc1eb262b23ef151275a62e058f41c58 Description: theorem prover from Microsoft Research - development files Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . This package can be used to invoke Z3 via its C++ API. Package: libz3-java Source: z3 Version: 4.8.12-2~nerve1 Architecture: amd64 Maintainer: LLVM Packaging Team Installed-Size: 184 Depends: libz3-jni (>= 4.8.12-2~nerve1), libz3-jni (<< 4.8.12-2~nerve1.1~), libz3-dev Homepage: https://github.com/Z3Prover/z3 Priority: optional Section: java Filename: pool/main/z/z3/libz3-java_4.8.12-2~nerve1_amd64.deb Size: 159968 SHA256: c73d7ba2113e269267e9b470591b403928f897bf3f0015e6aeae2cc29b9472fc SHA1: 2a2f0727c174c7234441e9cd112e65e8d8ca153b MD5sum: bb2703317f52b1bcb5b9e5310c9091e3 Description: theorem prover from Microsoft Research - java bindings Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3 package for a detailed description. . This package can be used to invoke Z3 via its Java API. Package: libz3-jni Source: z3 Version: 4.8.12-2~nerve1 Architecture: amd64 Maintainer: LLVM Packaging Team Installed-Size: 196 Depends: libz3-dev (= 4.8.12-2~nerve1), libc6 (>= 2.4), libgcc1 (>= 1:3.0), libstdc++6 (>= 4.1.1), libz3-4 (>= 4.8.12) Multi-Arch: same Homepage: https://github.com/Z3Prover/z3 Priority: optional Section: java Filename: pool/main/z/z3/libz3-jni_4.8.12-2~nerve1_amd64.deb Size: 32592 SHA256: dba3ef68081033d89a630aa9d04a78a5d8e4aa4f4774b69ce951942c5549b915 SHA1: f28bb932153fd210b056c695a770ad1025c7b238 MD5sum: 50306ded98a79d8a1ff305f07a22a070 Description: theorem prover from Microsoft Research - JNI library Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3 package for a detailed description. . This package provides the JNI library to invoke Z3 via its Java API. Package: libz3-jni-dbgsym Source: z3 Version: 4.8.12-2~nerve1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: LLVM Packaging Team Installed-Size: 262 Depends: libz3-jni (= 4.8.12-2~nerve1) Multi-Arch: same Priority: optional Section: debug Filename: pool/main/z/z3/libz3-jni-dbgsym_4.8.12-2~nerve1_amd64.deb Size: 178380 SHA256: 55771bbfaafe178df036e92540b916c787796fa0aeacd906a3f4a8a9e673a0a3 SHA1: c834b393ad2702108d9302ad0b300bff3812a9a1 MD5sum: 78ac1be6a12d667887ca11c4a317a774 Description: debug symbols for libz3-jni Build-Ids: be281e4e8203d890418113e5261a8d0d347729af Package: nerve-chisel Version: 1.7.7-2+nerve3 Architecture: amd64 Maintainer: Nerve Development Team Installed-Size: 8460 Depends: libc6 (>= 2.3.2) Built-Using: golang-1.11 (= 1.11.6-1+deb10u4), golang-fsnotify (= 1.4.7-2), golang-github-armon-go-socks5 (= 0.0~git20160902.e753329-1), golang-github-jpillora-backoff (= 1.0.0-1), golang-go.crypto (= 1:0.0~git20181203.505ab14-1), golang-golang-x-net-dev (= 1:0.0+git20181201.351d144+dfsg-3), golang-golang-x-sync (= 0.0~git20171101.fd80eb9-1), golang-golang-x-sys (= 0.0~git20190412.9773273+really0.0~git20181228.9a3f9b0-1), golang-websocket (= 1.4.0-1) Homepage: https://github.com/jpillora/chisel Priority: optional Section: golang Filename: pool/main/n/nerve-chisel/nerve-chisel_1.7.7-2+nerve3_amd64.deb Size: 2590368 SHA256: bcb66d4eca9a3c31395748e1cc22b9c11a127c8391acbd568b09335f1d35d325 SHA1: 08d44bf93ea672a61cd184f062ba46ef66da1c65 MD5sum: 849c17f97c92619737bd234b42f4e690 Description: Fast TCP tunnel via HTTP Chisel is a fast TCP tunnel, transported over HTTP, secured via SSH. Single executable including both client and server. Written in Go (golang). Chisel is mainly useful for passing through firewalls, though it can also be used to provide a secure endpoint into your network. Chisel is very similar to crowbar though achieves much higher performance. Package: python-atlassian-python-api-doc Source: atlassian-python-api Version: 3.19.0-1+nerve1 Architecture: all Maintainer: Nerve Development Team Installed-Size: 580 Depends: libjs-sphinxdoc (>= 1.0) Homepage: https://github.com/atlassian-api/atlassian-python-api Priority: optional Section: doc Filename: pool/main/a/atlassian-python-api/python-atlassian-python-api-doc_3.19.0-1+nerve1_all.deb Size: 91944 SHA256: bba9be560f0bb8328b749511d7ba331174242d5bd43132f80b6f6dd4fb1015e7 SHA1: 00767f5ebea8c29468c9f3e8110440ee7bbf8ddb MD5sum: 2239fd5d88914f4e7b5f3b530dc328ac Description: Atlassian Python API Library Documentation This package provides documentation for python3-atlassian-python-api Package: python-jinja2-doc Source: jinja2 Version: 2.11.3-1+nerve10u3 Architecture: all Maintainer: Piotr Ożarowski Installed-Size: 919 Depends: libjs-sphinxdoc (>= 1.0) Recommends: python3-jinja2 Multi-Arch: foreign Homepage: http://jinja.pocoo.org/ Priority: optional Section: doc Filename: pool/main/j/jinja2/python-jinja2-doc_2.11.3-1+nerve10u3_all.deb Size: 172092 SHA256: 63942c32e03b0e5acde096c9f5cd4380d1431bfe0ea7cb770b258ba587c21a20 SHA1: e918b5993aecd9d038434cd6fb7d6f81e49a2de5 MD5sum: 8e19befa5362029724da69154db770d3 Description: documentation for the Jinja2 Python library Jinja2 is a small but fast and easy to use stand-alone template engine . This package contains the documentation for Jinja2 in HTML and reStructuredText formats. Package: python3-aiozipstream Source: python-aiozipstream Version: 0.5-2~nerve10u3 Architecture: all Maintainer: Nerve Development Team Installed-Size: 42 Depends: python3:any Conflicts: python3-zipstream Replaces: python3-zipstream Provides: python3-zipstream Homepage: https://github.com/kbbdy/zipstream Priority: optional Section: python Filename: pool/main/p/python-aiozipstream/python3-aiozipstream_0.5-2~nerve10u3_all.deb Size: 9488 SHA256: 242941f531c6dd6b15ed6672795efe51e3f1ffb14db69599cafbdcb7a3a7e3c1 SHA1: 4ac0dfff85574935f2343f6f9fe70ebc95eda633 MD5sum: 71df3db28211604f28ccef0f5689423f Description: Creating zip files on the fly # AioZipStream . This is a fork of [ZipStream](https://github.com/kbbdy/zipstream). Simple python library for streaming ZIP files which are created dynamically, without using any temporary files. . - No temporary files, data is streamed directly - Supported `deflate` compression method - Small memory usage, straming is realised using yield statement - Archive structure is created on the fly, and all data can be created during stream - Files included into archive can be generated on the fly using Python generators - Asynchronous AioZipStream and classic ZipStream are available - Zip32 format compatible files - Independent from python's standard ZipFile implementation - Almost no dependencies: only `aiofiles` in some circumstances (see AioZipStream section for details) - Zip64 support is also planned in future (far future, because I never hitted 4GB file size limit ;-) ) . ### Required Python version: . `ZipStream` is compatible with **Python 2.7**. . `AioZipStream` require **Python 3.6**. For earlier versions `AioZipStream` is not available for import. Package: python3-atlassian-python-api Source: atlassian-python-api Version: 3.19.0-1+nerve1 Architecture: all Maintainer: Nerve Development Team Installed-Size: 671 Depends: python3-deprecated, python3-oauthlib, python3-requests, python3-requests-oauthlib, python3-six, python3:any Suggests: python-atlassian-python-api-doc Homepage: https://github.com/atlassian-api/atlassian-python-api Priority: optional Section: python Filename: pool/main/a/atlassian-python-api/python3-atlassian-python-api_3.19.0-1+nerve1_all.deb Size: 87924 SHA256: 9aa7ffae5284982640872ef7ed7dd71cc5a7851b3276c480d93934da34c0ec5f SHA1: a5595597dfbe61d6e18855a832b946f707d6042d MD5sum: ce1de6e20f104ba38fda2000710f3767 Description: Atlassian Python API Library This package is used to provide a simple python interface for interacting with Atlassian products (Server, Data Center and Cloud) and apps from ecosystem (Portfolio, XRay). It is based on the official public Rest API documentation and private methods (+ xml+rpc, raw http request). Package: python3-bidict Source: bidict Version: 0.21.3-1+nerve1+10u1 Architecture: all Maintainer: Debian Python Team Installed-Size: 2305 Depends: python3:any, libjs-sphinxdoc (>= 1.0) Homepage: https://bidict.readthedocs.io Priority: optional Section: python Filename: pool/main/b/bidict/python3-bidict_0.21.3-1+nerve1+10u1_all.deb Size: 348192 SHA256: bfb93c8753074311d1ec3894f21d8c64d0b2bf3b3460b62bca3690488c722adb SHA1: e45f53405644a10db045bee954a2650407d00e16 MD5sum: 56571bab889ed6998419e174c02d0054 Description: Bidirectional map data structures and related functionality Features: - has carefully designed APIs for safety, simplicity, flexibility, and ergonomics - has extensive test coverage (including property-based tests and benchmarks) run continuously on all supported Python versions and OSes - integrates natively with Python’s collections interfaces - is implemented in concise, well-factored, well-documented pure Python that leverages a number of advanced language features Package: python3-engineio Source: python-engineio Version: 3.13.2-2~nerve1+10u3 Architecture: all Maintainer: Paulo Henrique de Lima Santana (phls) Installed-Size: 230 Depends: python3-six (>= 1.9.0), python3:any (>= 3.7~) Homepage: https://pypi.python.org/pypi/python-engineio Priority: optional Section: python Filename: pool/main/p/python-engineio/python3-engineio_3.13.2-2~nerve1+10u3_all.deb Size: 56336 SHA256: 921bac9fb1d1084c5b2af4ff4db0ba1dfeb84c88f1bf7533edf8fc009ccfa137 SHA1: ff33797332596575b01f9277a62eb9831dee98f5 MD5sum: 3579c312738a51780ee4ca286b248124 Description: python3 implementation of the Engine.IO realtime server This project implements an Engine.IO server that can run standalone or integrated with a python3 WSGI application. The following are some of its features: . Fully compatible with the Javascript engine.io-client library. Compatible with python3. Supports large number of clients even on modest hardware when used with an asynchronous server based on asyncio (sanic, aiohttp or tornado), eventlet or gevent. For development and testing, any WSGI compliant multi-threaded server can also be used. Includes a WSGI middleware that integrates Engine.IO traffic with standard WSGI applications. Uses an event-based architecture implemented with decorators that hides the details of the protocol. Implements HTTP long-polling and WebSocket transports. Supports XHR2 and XHR browsers as clients. Supports text and binary messages. Supports gzip and deflate HTTP compression. Configurable CORS responses to avoid cross-origin problems with browsers. Package: python3-jinja2 Source: jinja2 Version: 2.11.3-1+nerve10u3 Architecture: all Maintainer: Piotr Ożarowski Installed-Size: 500 Depends: python3-markupsafe, python3:any Recommends: python3-pkg-resources Suggests: python-jinja2-doc Breaks: python-jinja2 (<< 2.11.1-1) Replaces: python-jinja2 (<< 2.11.1-1) Homepage: http://jinja.pocoo.org/ Priority: optional Section: python Filename: pool/main/j/jinja2/python3-jinja2_2.11.3-1+nerve10u3_all.deb Size: 113756 SHA256: e927950049574b386574f681c17cb87a2fa02c8b03fd204e4e4390fbc9f9213a SHA1: aea368b109036df652dad5ca88a182c22ced77ad MD5sum: 7473b742c1ad65ca7f9d99851856eb52 Description: small but fast and easy to use stand-alone template engine Jinja2 is a template engine written in pure Python. It provides a Django inspired non-XML syntax but supports inline expressions and an optional sandboxed environment. . The key-features are: * Configurable syntax. If you are generating LaTeX or other formats with Jinja2 you can change the delimiters to something that integrates better into the LaTeX markup. * Fast. While performance is not the primarily target of Jinja2 it’s surprisingly fast. The overhead compared to regular Python code was reduced to the very minimum. * Easy to debug. Jinja2 integrates directly into the Python traceback system which allows you to debug Jinja2 templates with regular Python debugging helpers. * Secure. It’s possible to evaluate untrusted template code if the optional sandbox is enabled. This allows Jinja2 to be used as templating language for applications where users may modify the template design. Package: python3-redis-lock Source: python-redis-lock Version: 4.0.0-1+gfd5eab7 Architecture: all Maintainer: Nerve Development Team Installed-Size: 54 Depends: python3-redis, python3:any Homepage: https://github.com/ionelmc/python-redis-lock Priority: optional Section: python Filename: pool/main/p/python-redis-lock/python3-redis-lock_4.0.0-1+gfd5eab7_all.deb Size: 13900 SHA256: dd856e1a6bb69c3d33c69e0aa9e001f882bf34ca3eadb0d17b4871c595a8aba5 SHA1: 429420918d592e97a17b2ffe0c709fbfb02848ba MD5sum: e7205fb107131a3533a9f3a2763f717c Description: Lock context manager implemented via redis SETNX/BLPOP. This package provides a lock context manager based on the standard SETNX recipe. Additional features are: - optional expiry - optional timeout - optional lock renewal (use a low expire but keep the lock active) - no spinloops at acquire See detailed documentation at https://python-redis-lock.readthedocs.io/. Package: python3-socketio Source: python-socketio Version: 5.7.2-2+nerve10u4 Architecture: all Maintainer: Paulo Henrique de Lima Santana (phls) Installed-Size: 282 Depends: python3-bidict, python3-engineio (>= 4.3.0), python3:any (>= 3.7~), python3-aiohttp (>= 3.4), python3-websockets (>= 7.0), python3-requests (>= 2.21.0), python3-websocket (>= 0.54.0) Homepage: https://github.com/miguelgrinberg/python-socketio Priority: optional Section: python Filename: pool/main/p/python-socketio/python3-socketio_5.7.2-2+nerve10u4_all.deb Size: 63052 SHA256: b43ac71afaadc61e9eee968f582a64bf395c23e85ad218eacdd9bf954c6e1040 SHA1: c6d29a102042dcd318100d1aa6b67cd033ff3f20 MD5sum: 15082580598a0956c4a79b1fb74382e2 Description: python3 implementation of the Socket.IO realtime client and server Socket.IO is a transport protocol that enables real-time bidirectional event-based communication between clients (typically, though not always, web browsers) and a server. The official implementations of the client and server components are written in JavaScript. This package provides Python implementations of both, each with standard and asyncio variants. . Client Features: . Can connect to other Socket.IO compliant servers besides the one in this package. Compatible with Python 3.5+. Two versions of the client, one for standard Python and another for asyncio. Uses an event-based architecture implemented with decorators that hides the details of the protocol. Implements HTTP long-polling and WebSocket transports. Automatically reconnects to the server if the connection is dropped. . Server Features: . Can connect to servers running other compliant Socket.IO clients besides the one in this package. Compatible with Python 3.5+. Two versions of the server, one for standard Python and another for asyncio. Supports large number of clients even on modest hardware due to being asynchronous. Can be hosted on any WSGI and ASGI web servers includind Gunicorn, Uvicorn, eventlet and gevent. Can be integrated with WSGI applications written in frameworks such as Flask, Django, etc. Can be integrated with aiohttp, sanic and tornado asyncio applications. Broadcasting of messages to all connected clients, or to subsets of them assigned to rooms. Optional support for multiple servers, connected through a messaging queue such as Redis or RabbitMQ. Send messages to clients from external processes, such as Celery workers or auxiliary scripts. Event-based architecture implemented with decorators that hides the details of the protocol. Support for HTTP long-polling and WebSocket transports. Support for XHR2 and XHR browsers. Support for text and binary messages. Support for gzip and deflate HTTP compression. Configurable CORS responses, to avoid cross-origin problems with browsers. Package: python3-z3 Source: z3 Version: 4.8.12-2~nerve1 Architecture: amd64 Maintainer: LLVM Packaging Team Installed-Size: 595 Depends: libz3-dev (= 4.8.12-2~nerve1), python3-pkg-resources, python3:any Homepage: https://github.com/Z3Prover/z3 Priority: optional Section: python Filename: pool/main/z/z3/python3-z3_4.8.12-2~nerve1_amd64.deb Size: 78332 SHA256: 5f56aecbf9a6bcd222ff1586ca445bdd9e4a201ec5ba5ddd016a8bae935f64e4 SHA1: 385b11755ebd6c95a7622c740099ab5fe64170ec MD5sum: 11e2daa4dc3b215c1aed623516c58f55 Description: theorem prover from Microsoft Research - Python 3 bindings Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3 package for a detailed description. . This package can be used to invoke Z3 via its Python 3 API. Package: z3 Version: 4.8.12-2~nerve1 Architecture: amd64 Maintainer: LLVM Packaging Team Installed-Size: 23768 Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.4), libstdc++6 (>= 6) Homepage: https://github.com/Z3Prover/z3 Priority: optional Section: science Filename: pool/main/z/z3/z3_4.8.12-2~nerve1_amd64.deb Size: 7529996 SHA256: 58ca046ad674dafc75dc5a718005ae2a2b21b8f85a4c2beefeb769e7fcdee9a3 SHA1: 7f2b23947965c6e074c9d081c7cda9319369e639 MD5sum: 5a4efcfa91e30122ab01427b4b79556a Description: theorem prover from Microsoft Research Z3 is a state-of-the art theorem prover from Microsoft Research. It can be used to check the satisfiability of logical formulas over one or more theories. Z3 offers a compelling match for software analysis and verification tools, since several common software constructs map directly into supported theories. . The Z3 input format is an extension of the one defined by the SMT-LIB 2.0 standard. Package: z3-dbgsym Source: z3 Version: 4.8.12-2~nerve1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: LLVM Packaging Team Installed-Size: 148440 Depends: z3 (= 4.8.12-2~nerve1) Priority: optional Section: debug Filename: pool/main/z/z3/z3-dbgsym_4.8.12-2~nerve1_amd64.deb Size: 147849664 SHA256: c2a56f96dd4180c4aa18453ee932e708bd8c6db99bf70107650b85db60e873f1 SHA1: c15e01e8f3afd2c4c7116d507624d02d5daac39c MD5sum: 8f3f6790129921d5a7227ad62e963726 Description: debug symbols for z3 Build-Ids: c3e76d1fef9088e32df78e3aa888b781bd5cb8b8