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: 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-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