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