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: 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: node-gyp Version: 7.1.2-5+nerve1+10u2 Architecture: all Maintainer: Debian Javascript Maintainers Installed-Size: 148 Depends: gyp (>= 0.1+20180428git4d467626), libnode-dev, node-glob, node-graceful-fs, node-mkdirp, node-nopt, node-npmlog, node-osenv, node-rimraf, node-semver (>= 7), node-tar, node-which, nodejs Recommends: build-essential, node-request Provides: node-node-gyp (= 7.1.2-5+nerve1+10u2) Homepage: https://github.com/nodejs/node-gyp Priority: optional Section: javascript Filename: pool/main/n/node-gyp/node-gyp_7.1.2-5+nerve1+10u2_all.deb Size: 50296 SHA256: 369a247a337bdd48076e620ed43e66bfd7622db4fb9054b80e7992ec8905f014 SHA1: 4e914d61c34e06dc1b0542059180f9e8de039853 MD5sum: b44908e1f729ba4e564f0ad9e373a3cc Description: Native addon build tool for Node.js node-gyp is a cross-platform command-line tool written in Node.js for compiling native addon modules for Node.js. . It features : * Easy to use, consistent interface * Same commands to build a module on every platform * Support of multiple target versions of Node.js . Node.js is an event-based server-side javascript engine. 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-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-socketio Source: python-socketio Version: 4.4.0-3~nerve10u3 Architecture: all Maintainer: Paulo Henrique de Lima Santana (phls) Installed-Size: 247 Depends: python3-engineio (>= 3.9.0), python3-six (>= 1.9.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://pypi.org/project/python-socketio Priority: optional Section: python Filename: pool/main/p/python-socketio/python3-socketio_4.4.0-3~nerve10u3_all.deb Size: 59528 SHA256: 5ec243010efd8f48d060d58a0baed2899432a9ae197c6b3f99f355e1c766dfca SHA1: 64c26973aff47fbe8673416928e05361c6d7de80 MD5sum: 116ca06f1eb403696385372d0755196f 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