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: libnss-myhostname Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 200 Depends: libc6 (>= 2.28) Breaks: systemd (<< 222-1) Replaces: systemd (<< 222-1) Multi-Arch: same Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: optional Section: admin Filename: pool/main/s/systemd/libnss-myhostname_241-7~deb10u9+nerve10u1_amd64.deb Size: 124412 SHA256: c512bb11b88ec181ccc2d8feb1f337ef39bba143a434689b5685abac7b72f52d SHA1: 8e6022b95f3788c525b3d38bedb7bd982e98d78c MD5sum: 6ee0722505a2bd2c7f69a57098b48863 Description: nss module providing fallback resolution for the current hostname This package contains a plugin for the Name Service Switch, providing host name resolution for the locally configured system hostname as returned by gethostname(2). It returns all locally configured public IP addresses or -- if none are configured, the IPv4 address 127.0.1.1 (which is on the local loopback) and the IPv6 address ::1 (which is the local host). . A lot of software relies on that the local host name is resolvable. This package provides an alternative to the fragile and error-prone manual editing of /etc/hosts. . Installing this package automatically adds myhostname to /etc/nsswitch.conf. Package: libnss-myhostname-dbgsym Source: systemd Version: 241-7~deb10u9+nerve10u1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 411 Depends: libnss-myhostname (= 241-7~deb10u9+nerve10u1) Multi-Arch: same Priority: optional Section: debug Filename: pool/main/s/systemd/libnss-myhostname-dbgsym_241-7~deb10u9+nerve10u1_amd64.deb Size: 304348 SHA256: fb2444a7feebb7e5e9771414373c76676ece35e56050c76ad7688828ec7a2073 SHA1: efc2092d9b0317b73cbf95267b91b41ea3da41b2 MD5sum: ae7daacaf6ade9f060e9820f9576ed9d Description: debug symbols for libnss-myhostname Build-Ids: 4bf9e3b16c7a57192c5e8e9e82ef0522df54d824 Package: libnss-mymachines Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 399 Depends: libc6 (>= 2.28), systemd-container (= 241-7~deb10u9+nerve10u1) Breaks: systemd (<< 222-1) Replaces: systemd (<< 222-1) Multi-Arch: same Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: optional Section: admin Filename: pool/main/s/systemd/libnss-mymachines_241-7~deb10u9+nerve10u1_amd64.deb Size: 207320 SHA256: a0cb6778337ee1a7a07d68fe83f8040270cfc6a7cdafdecb5fb239189b04ca45 SHA1: b07e2368f822f5a00fddf90e0ebc3b419d5b5ca4 MD5sum: b870eb3796dd84905a1e7d140498cf1a Description: nss module to resolve hostnames for local container instances nss-mymachines is a plugin for the GNU Name Service Switch (NSS) functionality of the GNU C Library (glibc) providing hostname resolution for local containers that are registered with systemd-machined.service(8). The container names are resolved to IP addresses of the specific container, ordered by their scope. . Installing this package automatically adds mymachines to /etc/nsswitch.conf. Package: libnss-mymachines-dbgsym Source: systemd Version: 241-7~deb10u9+nerve10u1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 785 Depends: libnss-mymachines (= 241-7~deb10u9+nerve10u1) Multi-Arch: same Priority: optional Section: debug Filename: pool/main/s/systemd/libnss-mymachines-dbgsym_241-7~deb10u9+nerve10u1_amd64.deb Size: 636976 SHA256: a212c702c29ca77d4628c1e86e477e75e291d8a91650b4cb327eb96023dd14ef SHA1: 0fd7507a998929548bdd385808d5954d0e17dc41 MD5sum: 98bcd26be010e2c43f790fd43e97316e Description: debug symbols for libnss-mymachines Build-Ids: cf6606b68ed82f608a63d4d347a314bb5ab57ac0 Package: libnss-resolve Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 394 Depends: libc6 (>= 2.28), systemd (= 241-7~deb10u9+nerve10u1) Breaks: systemd (<< 227-3) Replaces: systemd (<< 227-3) Multi-Arch: same Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: optional Section: admin Filename: pool/main/s/systemd/libnss-resolve_241-7~deb10u9+nerve10u1_amd64.deb Size: 205312 SHA256: 02bfef25d7c15e345d6159fbf7dbd483fd68570693019712ca74a040388ad43b SHA1: e2b33528286be4d563f497e24969204fa3c1caff MD5sum: f5a0b1231562d0ab10cc6fb621ea7e5f Description: nss module to resolve names via systemd-resolved nss-resolve is a plugin for the GNU Name Service Switch (NSS) functionality of the GNU C Library (glibc) providing DNS and LLMNR resolution to programs via the systemd-resolved daemon (provided in the systemd package). . Installing this package automatically adds resolve to /etc/nsswitch.conf. Package: libnss-resolve-dbgsym Source: systemd Version: 241-7~deb10u9+nerve10u1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 772 Depends: libnss-resolve (= 241-7~deb10u9+nerve10u1) Multi-Arch: same Priority: optional Section: debug Filename: pool/main/s/systemd/libnss-resolve-dbgsym_241-7~deb10u9+nerve10u1_amd64.deb Size: 625700 SHA256: bb7e49bf77a0babac15a9ed9d27e712cf229913697566f7fe09b82fb6946e168 SHA1: 55c150f1dfe6ad182fc197678e251283c0d95f00 MD5sum: 14d2934d6f85ad18d8183a631ac2f592 Description: debug symbols for libnss-resolve Build-Ids: 45e0fe26a595edc665f13ea739e8988bfb889633 Package: libnss-systemd Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 394 Depends: libc6 (>= 2.28), systemd (= 241-7~deb10u9+nerve10u1) Multi-Arch: same Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: optional Section: admin Filename: pool/main/s/systemd/libnss-systemd_241-7~deb10u9+nerve10u1_amd64.deb Size: 205200 SHA256: 196aa930477f5361c9773e3dde230978442024ee7234b80c25d80d77db71cfdd SHA1: 9e0dd722a04a2af6ff7f5e270e1b5ff70fd1b328 MD5sum: 79ff9429d1ed1b7f1c85f00e43c925a4 Description: nss module providing dynamic user and group name resolution nss-systemd is a plug-in module for the GNU Name Service Switch (NSS) functionality of the GNU C Library (glibc), providing UNIX user and group name resolution for dynamic users and groups allocated through the DynamicUser= option in systemd unit files. See systemd.exec(5) for details on this option. . Installing this package automatically adds the module to /etc/nsswitch.conf. Package: libnss-systemd-dbgsym Source: systemd Version: 241-7~deb10u9+nerve10u1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 776 Depends: libnss-systemd (= 241-7~deb10u9+nerve10u1) Multi-Arch: same Priority: optional Section: debug Filename: pool/main/s/systemd/libnss-systemd-dbgsym_241-7~deb10u9+nerve10u1_amd64.deb Size: 630444 SHA256: 864881433d052293d4e05fd4da735bf4d066e4c217676145cd38b583fe0512a2 SHA1: 188beda2be233501030917ab5c0be46f16f54c9f MD5sum: a32bed2e472bdd3a20a1d0eae8d581dc Description: debug symbols for libnss-systemd Build-Ids: 2556c3bcc21b62115ac40fc83277f5ecf2e2aba0 Package: libpam-systemd Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 396 Depends: libc6 (>= 2.28), libpam0g (>= 0.99.7.1), systemd (= 241-7~deb10u9+nerve10u1), libpam-runtime (>= 1.0.1-6), dbus, systemd-sysv Provides: default-logind (= 241-7~deb10u9+nerve10u1), logind (= 241-7~deb10u9+nerve10u1) Multi-Arch: same Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: standard Section: admin Filename: pool/main/s/systemd/libpam-systemd_241-7~deb10u9+nerve10u1_amd64.deb Size: 209376 SHA256: d5f7a7c73bc0db15011ca9342b615b95017963e1055aac56940a8eafcb1d84dd SHA1: 56610351c1cb8107ceca41e1bec9bff779d6a788 MD5sum: 174361ef4b619e2a27873a4b3a27aae6 Description: system and service manager - PAM module This package contains the PAM module which registers user sessions in the systemd control group hierarchy for logind. . If in doubt, do install this package. . Packages that depend on logind functionality need to depend on libpam-systemd. Package: libpam-systemd-dbgsym Source: systemd Version: 241-7~deb10u9+nerve10u1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 780 Depends: libpam-systemd (= 241-7~deb10u9+nerve10u1) Multi-Arch: same Priority: optional Section: debug Filename: pool/main/s/systemd/libpam-systemd-dbgsym_241-7~deb10u9+nerve10u1_amd64.deb Size: 633396 SHA256: 436202bbf4697342f5d02271ae1fb877e1f5daecf67527dac707552b2e824d39 SHA1: 434ce3d5be0e8eee2701edb5b90ef435f501f36f MD5sum: cb2afcc37bf1c8cbdb29dd99dd59bcbd Description: debug symbols for libpam-systemd Build-Ids: b44e1da8b8403871285d71535f6b7559e48addb4 Package: libsystemd-dev Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 860 Depends: libsystemd0 (= 241-7~deb10u9+nerve10u1) Multi-Arch: same Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: optional Section: libdevel Filename: pool/main/s/systemd/libsystemd-dev_241-7~deb10u9+nerve10u1_amd64.deb Size: 322384 SHA256: 5a84b1aea8696b239de8ac6e1810b92f3a40d2e0a24582feb194b8c2f22729a2 SHA1: 0cd6f46c4e9e233e6acb7d1f149c7d88a2af9d62 MD5sum: d0e5c1ab0f8c5144744eadeac2f38b68 Description: systemd utility library - development files The libsystemd0 library provides interfaces to various systemd components. . This package contains the development files. Package: libsystemd0 Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 768 Pre-Depends: libc6 (>= 2.28), libgcrypt20 (>= 1.8.0), liblz4-1 (>= 0.0~r122), liblzma5 (>= 5.1.1alpha+20120614) Multi-Arch: same Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: optional Section: libs Filename: pool/main/s/systemd/libsystemd0_241-7~deb10u9+nerve10u1_amd64.deb Size: 331952 SHA256: 53fa050521e8c97f67a2427643026388b0dea40c9b4c0a75080f64f2b139637d SHA1: c8e79095aeaa6522cbbe021a1e624365193cb086 MD5sum: 31a219d5f40ac687e724559f7a861f2f Description: systemd utility library The libsystemd0 library provides interfaces to various systemd components. Package: libsystemd0-dbgsym Source: systemd Version: 241-7~deb10u9+nerve10u1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 1425 Depends: libsystemd0 (= 241-7~deb10u9+nerve10u1) Multi-Arch: same Priority: optional Section: debug Filename: pool/main/s/systemd/libsystemd0-dbgsym_241-7~deb10u9+nerve10u1_amd64.deb Size: 1171568 SHA256: c9843a387a6d5fcd129e9c7a708448e690bbfd9c69eb16fc178e271ba1541750 SHA1: ab9d58c34d47baf09f75802b337e9a55990671a4 MD5sum: 43acc5087476baa0269a45571ba4b69e Description: debug symbols for libsystemd0 Build-Ids: 7b01c616125489b2970dcd45036991cca7e6aebe Package: libudev-dev Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 197 Depends: libudev1 (= 241-7~deb10u9+nerve10u1) Multi-Arch: same Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: optional Section: libdevel Filename: pool/main/s/systemd/libudev-dev_241-7~deb10u9+nerve10u1_amd64.deb Size: 110332 SHA256: 942e85487921f2f6f3cace221a597633717a75a9b6cd9548fabde9150bc4f97a SHA1: 09db5c405d38c35383e96dcf01442241768d86b1 MD5sum: 687d3031c22c548486988ab0ad29b9c9 Description: libudev development files This package contains the files needed for developing applications that use libudev. Package: libudev1 Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 259 Depends: libc6 (>= 2.28) Multi-Arch: same Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: optional Section: libs Filename: pool/main/s/systemd/libudev1_241-7~deb10u9+nerve10u1_amd64.deb Size: 151072 SHA256: 8ad5cde2a49c4cff4221ef57445d61eff902e03dc6c7ecf0ece0e4349d584bdc SHA1: df17c7fa79e4d0207eac5e35969d1e963a76a04f MD5sum: 992c70d724a66a290a2c25fb175ad221 Description: libudev shared library This library provides access to udev device information. Package: libudev1-dbgsym Source: systemd Version: 241-7~deb10u9+nerve10u1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 528 Depends: libudev1 (= 241-7~deb10u9+nerve10u1) Multi-Arch: same Priority: optional Section: debug Filename: pool/main/s/systemd/libudev1-dbgsym_241-7~deb10u9+nerve10u1_amd64.deb Size: 404896 SHA256: 57a6aef835382b90820ab0504fab7ab5831d971ccde3b46cb21dc7acb1be1323 SHA1: 560110a48e3d21c74be44632f979b8c45333d9b3 MD5sum: d60284287e4465575d341c93c3054479 Description: debug symbols for libudev1 Build-Ids: 21340339cb5623e1321f851b4e95970fca778d0f 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: 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: 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-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-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-websocket Source: websocket-client Version: 0.57.0-2+nerve10u2 Architecture: all Maintainer: Debian Python Team Installed-Size: 167 Depends: python3-six, python3:any Homepage: https://github.com/liris/websocket-client Priority: optional Section: python Filename: pool/main/w/websocket-client/python3-websocket_0.57.0-2+nerve10u2_all.deb Size: 34540 SHA256: 3b16809bd6caf248fe63f21f231e8f6a26973544a8ac0cbee8f697b4c7b5b82a SHA1: 26c9f4529d95117358e6d37a91d87bef633920c6 MD5sum: 641ea4def940b6e4cd43685ff95b46db Description: WebSocket client library - Python 3.x websocket-client provides a low-level, synchronous API providing WebSocket client functionality to Python programs. It conforms to the WebSocket specification as standardized by the IETF in RFC 6455. . WebSocket is a protocol providing full-duplex communication channels over TCP, mostly used in Web browsers. . This package provides the Python 3.x version. 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: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 13519 Pre-Depends: libblkid1 (>= 2.24), libc6 (>= 2.28), libgcrypt20 (>= 1.8.0), liblz4-1 (>= 0.0~r122), liblzma5 (>= 5.1.1alpha+20120614), libselinux1 (>= 2.1.9) Depends: libacl1 (>= 2.2.23), libapparmor1 (>= 2.9.0-3+exp2), libaudit1 (>= 1:2.2.1), libcap2 (>= 1:2.10), libcryptsetup12 (>= 2:1.6.0), libgnutls30 (>= 3.6.6), libgpg-error0 (>= 1.14), libidn11 (>= 1.13), libip4tc0 (>= 1.6.0+snapshot20161117), libkmod2 (>= 5~), liblz4-1 (>= 0.0~r130), libmount1 (>= 2.30), libpam0g (>= 0.99.7.1), libseccomp2 (>= 2.3.1), libsystemd0 (= 241-7~deb10u9+nerve10u1), util-linux (>= 2.27.1), mount (>= 2.26), adduser Recommends: libpam-systemd, dbus Suggests: systemd-container, policykit-1 Conflicts: consolekit, libpam-ck-connector Breaks: apparmor (<< 2.9.2-1), ifupdown (<< 0.8.5~), laptop-mode-tools (<< 1.68~), python-dbusmock (<< 0.18), python3-dbusmock (<< 0.18), systemd-shim (<< 10-4~), udev (<< 228-5) Replaces: udev (<< 228-5) Multi-Arch: foreign Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: important Section: admin Filename: pool/main/s/systemd/systemd_241-7~deb10u9+nerve10u1_amd64.deb Size: 3505216 SHA256: b90e8c0873ac2f5541f435aa30150cd7a82de5350c82269dd4872e87a340040e SHA1: 15cc3ee7b8bf55b3d51fd2dbfcdbc85feb57ccf5 MD5sum: ccefef54f06b3a88fc08181b309d6225 Description: system and service manager systemd is a system and service manager for Linux. It provides aggressive parallelization capabilities, uses socket and D-Bus activation for starting services, offers on-demand starting of daemons, keeps track of processes using Linux control groups, maintains mount and automount points and implements an elaborate transactional dependency-based service control logic. . systemd is compatible with SysV and LSB init scripts and can work as a drop-in replacement for sysvinit. . Installing the systemd package will not switch your init system unless you boot with init=/bin/systemd or install systemd-sysv in addition. Package: systemd-container Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 885 Depends: libacl1 (>= 2.2.23), libbz2-1.0, libc6 (>= 2.28), libcurl3-gnutls (>= 7.16.3), libgcrypt20 (>= 1.8.0), liblzma5 (>= 5.1.1alpha+20120614), libseccomp2 (>= 2.3.1), libselinux1 (>= 2.1.9), systemd (= 241-7~deb10u9+nerve10u1), zlib1g (>= 1:1.1.4), dbus Recommends: btrfs-progs, libnss-mymachines Breaks: systemd (<< 224-2) Replaces: systemd (<< 224-2) Multi-Arch: foreign Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: optional Section: admin Filename: pool/main/s/systemd/systemd-container_241-7~deb10u9+nerve10u1_amd64.deb Size: 336984 SHA256: 5380c023a495c49cbdc53fb0cd2d83ef23e1f7e92cc972d02d0e95098d405cb2 SHA1: b51d585b924edc37b95cc39ca503f61d616629cb MD5sum: 78341d360204ddf4d3912ab04ad973aa Description: systemd container/nspawn tools This package provides systemd's tools for nspawn and container/VM management: * systemd-nspawn * systemd-machined and machinectl * systemd-importd Package: systemd-container-dbgsym Source: systemd Version: 241-7~deb10u9+nerve10u1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 904 Depends: systemd-container (= 241-7~deb10u9+nerve10u1) Priority: optional Section: debug Filename: pool/main/s/systemd/systemd-container-dbgsym_241-7~deb10u9+nerve10u1_amd64.deb Size: 723248 SHA256: 211e156d3c7e654c44d1ffa894f1a6587765eeb6360043c251ee30d53a001855 SHA1: eb5fb30de918c2c0f71e09623240851620e47c10 MD5sum: aa1c7bc376015b3f7212842dab549846 Description: debug symbols for systemd-container Build-Ids: 0b97b261f99419741b5ef6f0a69887240a12293d 44101990f6932714a34940adc874ecbf3e7ab43a 497114544428e4fe52e7cf099914504ef993d251 5c9bc45e31455bc75359464df3a421ffcf7440e1 5d18e7504304543a9552b25c4a35bfd13e1c7ab8 9379cd93da2fb8f26b432d282f33c1621602a973 edb6dbd0d3acc027204a9c9f0fcf2e7ea7c4cc87 f70e40f6361c78d6abda3b27a93ca0b48a916b48 Package: systemd-coredump Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 248 Depends: libacl1 (>= 2.2.23), libc6 (>= 2.14), libdw1 (>= 0.158), libelf1 (>= 0.131), systemd (= 241-7~deb10u9+nerve10u1), adduser Conflicts: core-dump-handler Breaks: systemd (<< 229-2) Replaces: core-dump-handler, systemd (<< 229-2) Provides: core-dump-handler Multi-Arch: foreign Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: optional Section: admin Filename: pool/main/s/systemd/systemd-coredump_241-7~deb10u9+nerve10u1_amd64.deb Size: 134464 SHA256: ac5a21bca3b694578b41ebe62cf158463d06e87f8ca01cb2657ff0890a7d382b SHA1: 9fc25cfb437cc50b8c655f99b40f75008f08c28e MD5sum: b54190af2ad0a71f544c982b380c52bc Description: tools for storing and retrieving coredumps This package provides systemd tools for storing and retrieving coredumps: * systemd-coredump * coredumpctl Package: systemd-coredump-dbgsym Source: systemd Version: 241-7~deb10u9+nerve10u1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 133 Depends: systemd-coredump (= 241-7~deb10u9+nerve10u1) Priority: optional Section: debug Filename: pool/main/s/systemd/systemd-coredump-dbgsym_241-7~deb10u9+nerve10u1_amd64.deb Size: 99128 SHA256: 66d15d78796c8f8147ee5e8ed4a001e08e34e372bb8c4d61986ed8c9819b24d6 SHA1: f77b7062e6ee3abbc55ac6d667988cab1690f8c7 MD5sum: ce74bc43810b52c7c0abf1151bcc371c Description: debug symbols for systemd-coredump Build-Ids: 7c768cba3273d8e2349d08724c3796ec4b4a5bcc a73d9b7dffd50db47380ff4a8c222b4fdf03104d Package: systemd-dbgsym Source: systemd Version: 241-7~deb10u9+nerve10u1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 15933 Depends: systemd (= 241-7~deb10u9+nerve10u1) Priority: optional Section: debug Filename: pool/main/s/systemd/systemd-dbgsym_241-7~deb10u9+nerve10u1_amd64.deb Size: 13117240 SHA256: a07c2ddef31d1131fd158e2979df89f32e13f0629f2067a5996206922bccc6c7 SHA1: 1e0974f18ac44c3d79f59a1392d818e91efe0090 MD5sum: 2b7c9172b4c754dc04a1a572f87faf48 Description: debug symbols for systemd Build-Ids: 041728221b8ae8da744d5c743a645e4f79b12396 04524d9dd08e2d6d91f0581c76174d22057d4581 05ff7b5e26ffc5bedc772b7d20159a4a338b99d4 060cba448dea7129571a10b662c442e634826936 0d397d2d0d7cac27363540cfbb9a01b6af0ee225 0e13ffc96a99cc64d9c218bdb12fc7ba071f5053 149289bc23e73f468bfd5e2c6eef2f0c91cbf5a0 17a6bec363f8954f7f759d9f0d8e0551b4103759 19e50e57b4a51f13a8e392846b1855eb0923e4de 1b84c3470e73be180ae8c6576bc86d05ea4c50e8 1f84fee0b5478c97e25e057b4634a359e954457c 2088a488725d4b0067294731b90724f8bc42f941 220517f3564c0268d77952f2ea1cb7baf4be9bc6 234e9389700c116e71e0a7948a4dd99cbd95b423 245e7cd9075c4aab19bd2acf72b2e7cce29e0d4e 28e153fdb08b30cc1567ce3966870696fc587280 297381c3bd023497400b1bbb3e483558dae6dd5b 2c2a304c15720c5a2e44fedf93577afac5170700 2e99af67e7c5646248d9eb4b890e0c0bbdd35ba8 341b3d68531afb8bf601c0a0e1a51060e35d083d 35b0414d335d566c07d35b18f3c8e5cb3bc6e17c 361053165f7404322ac9104e53d9059325249bca 375d13b25fd5a30bd9430977b02647e3cbd3168e 38a861a6f3648bea1ab262f3fe6343a32cce4654 3f00d33036fc79f569a4b147331cdeda2409d6c1 45133a0add89fd6d7c26940393a472425e4497df 46780cba3c0562d8671c80f972475292f4f0a0a6 47acd2a4d5cf46ac8027dcf394e95b3cdd2c54b2 4d0192a798d9312484d1da4217dd97d79244097f 503e993640e18981e5e9b079887ea0ed8e21a9e8 52901b4df42eeb7c2c4b53b55336213f6c5ed7e7 53b8e53797963457e550e40a4a63aa9377772002 54d0c0653cad7d6ecc4fed7f9a3e850775e8165a 5a54308fa5212aa526039c99f82304be57b27270 5f884f83e612e9ac59c4150320c530c9f6398df2 5fd2bd44303443d2e4eb41683b0e8444bc4b2bc0 6026511f160a645a9033049d1bf2580b8cd95a60 615e948ebe10489e395993047a83bb0304282778 69ca45d065db9454430fbb49629ccfbf6dd0db77 70a73dbbbca03e9220834c39c665111bb7caeff7 73e54c758b323d8f1ffb799d20a77147d607d20e 7731bf38b632ee7a5a8c30cfb1e2fd2fa6e4d981 77d791edda915120b7a5c44f4ee070bb12a2a8b1 7f522f5e8b0aefacac0df25338f07002ae9c7fbe 865efbbd332bf7841926ff0244e44be9b2d70192 87f48041b0e2cf0e2263b98d74900d2a584c0cc0 8bee1c7788c1e9041e84a2cfabe6005f7731e50f 905897595048ddfa0fb423353ffe98ca21d8fc77 91df363482269b895a1198d01d11734481259c17 928a5420d3eb894cdb5f73c4ac63d4312c7f10a3 92faccadefc4df62057608991d44dcd90325d72a 94e3cfb61d0ab4f3235434382c7dd916de8d7f4f 97efaae86d76eea2cdb96937e1514a25b7c8cdaa 9ae6d2647a3f0772b13def96208ab46142f09d54 a24d80ca99bcb5de21dedc6a5720dcd451fa45c5 a32d30e2fdc6831779aa21fd3d0e41f185da7675 a3baf0e8666df1915ac36bd47a50e22b2b4fdedd aaec0b82438497420d68b3c36361f19f811d5754 abd17d9cd6dfa1711ac570c8db9d9b1b90572d70 ac5f04e3e760ffc275bf1620b7443389ffd0fc9d b9ff00726e3713a080e78318ef41648b19c50178 bf2181f708f38a79c3c0fb42c65dfebf830cfe0f c1ff193790be60043648daf21aa0e8715e666c35 c30eb9608ebee59955d935bc69230bafcdd5cecd c7f84d8421fd42e3f67c946f1705b72a14c52cae cd6d4bc92314c3e3ac7ccd33a98d57117ee426a4 ce86f17f8de45ade227fa9473e4fd2d288f50410 cf04d81a4f1c2f9a816e3e7b89fd0a720e50fcf7 d1bcfc1b5ee95e8cbfb26cbf8914f2dd7745b4e9 d83b603baaa6a05e0f1c4b1a5c80a696eff598da d95844797bb18e86753d8571a143f8a5fd1d3570 d98e7a53f6807dd2f1e14cece677c2b5f872602c dc6b7d386f0b631b96995466cfc738763baeaa13 e000150e2663c8e74fac817a4eb18d7b3a99a385 e008d38b3d2bfc967a37c3878d57c67c225a62d2 e450aa0d7dc89e7a7b274203680ef43be3948f76 e66745b3c63eebacdb7a2831eb042f58ee8d57b8 eda15b17d1f791d89b9806cc8e1b5cc29d0f3653 efd6e94c4eef900c981d6d60ac82b7ab4a5cc84f f2bd26e52c197cd14e4194aa33723db23821af9a f386535ac8aa5fb4f8c65b0e545d6db085de2fe2 f607a5cc3e5e02b09dd1411becc1352375d79efa f6e6235631b8986fc9e685ae62349f2e6e27e875 fcab2f8476209449de0624c83f7fed740023821c fec303df16eab345df61056b83b41f57659e7fa9 Package: systemd-journal-remote Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 316 Depends: libc6 (>= 2.14), libcurl3-gnutls (>= 7.16.2), libgnutls30 (>= 3.6.5), libmicrohttpd12 (>= 0.9.50), systemd (= 241-7~deb10u9+nerve10u1), adduser Breaks: systemd (<< 239-6) Replaces: systemd (<< 239-6) Multi-Arch: foreign Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: optional Section: admin Filename: pool/main/s/systemd/systemd-journal-remote_241-7~deb10u9+nerve10u1_amd64.deb Size: 151200 SHA256: 9c8051e5063f1157af4c5067a081d73a2b85b35a55c9d7841c180f1d16cf7a0b SHA1: d1a549b0dc9f74553fda69e4dd5b22285117df9b MD5sum: 33c4a96e133144cfa81f332a1f0b8e08 Description: tools for sending and receiving remote journal logs This package provides tools for sending and receiving remote journal logs: * systemd-journal-remote * systemd-journal-upload * systemd-journal-gatewayd Package: systemd-journal-remote-dbgsym Source: systemd Version: 241-7~deb10u9+nerve10u1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 208 Depends: systemd-journal-remote (= 241-7~deb10u9+nerve10u1) Priority: optional Section: debug Filename: pool/main/s/systemd/systemd-journal-remote-dbgsym_241-7~deb10u9+nerve10u1_amd64.deb Size: 154316 SHA256: b3bdaaa0a1b185cbb0f98b4b4ce8e223a1a0d710c877613e12d01fedefa6eccd SHA1: 18b4b30ec315a361395543a450c00addd3a917f3 MD5sum: 34c4a432b822e63b00fb7ed1644af99d Description: debug symbols for systemd-journal-remote Build-Ids: 3d21166205c66acdb8e278122eb6ce688bf22edc c092c4e7749862165fde87460c7009a0d370a155 cbb48c46b389489a821e134f8d20b6fd6419ecbe Package: systemd-sysv Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 125 Pre-Depends: systemd Recommends: libnss-systemd Conflicts: file-rc, openrc (<< 0.20.4-2.1), systemd-shim, sysvinit-core, upstart (<< 1.13.2-0ubuntu10~), upstart-sysv Replaces: sysvinit-core, upstart (<< 1.13.2-0ubuntu10~), upstart-sysv Multi-Arch: foreign Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: important Section: admin Filename: pool/main/s/systemd/systemd-sysv_241-7~deb10u9+nerve10u1_amd64.deb Size: 100488 SHA256: 7030d0c7cc0b421b54923b4c3ba0c4a7313aa848a5de5b3cd4c06e261cc0456e SHA1: 41516d5d4cd10dd1b6e9221e06c64990e29a6513 MD5sum: c43590b4f2072f96ae8a69965060de1d Description: system and service manager - SysV links systemd is a system and service manager for Linux. It provides aggressive parallelization capabilities, uses socket and D-Bus activation for starting services, offers on-demand starting of daemons, keeps track of processes using Linux control groups, maintains mount and automount points and implements an elaborate transactional dependency-based service control logic. . systemd is compatible with SysV and LSB init scripts and can work as a drop-in replacement for sysvinit. . This package provides the manual pages and links needed for systemd to replace sysvinit. Installing systemd-sysv will overwrite /sbin/init with a link to systemd. Package: systemd-tests Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 25967 Depends: libacl1 (>= 2.2.23), libapparmor1 (>= 2.9.0-3+exp2), libaudit1 (>= 1:2.2.1), libblkid1 (>= 2.24), libc6 (>= 2.28), libcap2 (>= 1:2.10), libcryptsetup12 (>= 2:1.6.0), libdbus-1-3 (>= 1.9.14), libgcrypt20 (>= 1.8.0), libglib2.0-0 (>= 2.26.0), libgpg-error0 (>= 1.14), libidn11 (>= 1.13), libip4tc0 (>= 1.6.0+snapshot20161117), libkmod2 (>= 5~), liblz4-1 (>= 0.0~r130), libmount1 (>= 2.30), libpam0g (>= 0.99.7.1), libseccomp2 (>= 2.3.1), libselinux1 (>= 2.1.9), libsystemd0 (= 241-7~deb10u9+nerve10u1), libudev1 (>= 215), systemd (= 241-7~deb10u9+nerve10u1), zlib1g (>= 1:1.1.4), python3 Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: optional Section: admin Filename: pool/main/s/systemd/systemd-tests_241-7~deb10u9+nerve10u1_amd64.deb Size: 3829548 SHA256: 6d884442a1b977274ad62ba61dd0bb45acf745872adf04ef3fc8201b96dbd013 SHA1: 796ed62c39d1d7f1441016ae626a4f94c32a8b76 MD5sum: 31d203b7d8798be6852398d4a56e0ca6 Description: tests for systemd This package contains the test binaries. Those binaries are primarily used for autopkgtest and not meant to be installed on regular user systems. Package: systemd-tests-dbgsym Source: systemd Version: 241-7~deb10u9+nerve10u1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 36382 Depends: systemd-tests (= 241-7~deb10u9+nerve10u1) Priority: optional Section: debug Filename: pool/main/s/systemd/systemd-tests-dbgsym_241-7~deb10u9+nerve10u1_amd64.deb Size: 29477012 SHA256: a37b1313a4ac2f694d32129abd2bd291cc83203d2fa0b72441a50378ac02ee60 SHA1: fecb21f3652c535ab94bc5176421104ba6c6ef87 MD5sum: e6f19507e9180b0048f11779dcfb319b Description: debug symbols for systemd-tests Build-Ids: 0095ece5bce8881a9d427209e5ea4f583d0eb067 0393e8073b31528c7621a7bafcc066686d800ada 06d1577c19b0132a816b8084934078ae01f1b956 07145411319c01a32278546924f1aa0d3a284078 07201b4223f2544adab3a7ff5475f8ca21ca7824 075418c1cc6ac71a2b7b96699ff9c9958b620f68 0afd514ca8e4255482558ac68cc10b30fdd4b46d 0b61e3ad008774c14856dfdf61b82962de6d0f72 0c399af666b2031cc6dfabffc158eaa5908150a7 0ef2b390a58046273a4873fb621243703bb71ceb 1205c92f2b101a9930e031baac99ee3ac6f85176 14ee78c1136b35281ed2b6ef6d2862691b606472 150d461baaae552fb7af74749da21d586f5df6b0 16a1c349334eaa87d0a2515ad49af773c812232e 17103b494023ee67dd3b43e6353a505027f4a249 17427544522fa004353c5d1a0011ea79abdac067 183107391b791fd595666ec2f784a910a1623f22 1b16f86ef8c62c0eb4f715cf8054c626693fa5a7 1c105ce7cf148ddb5fe471e6a6530264eda070a2 1ca72bfce9d1f33ddb2e396feafa34b50951c3f8 206900e7e4c5234309172fe0a17f835ed9cbfa90 240e39a4ab169251f69fcc0f4149900a51cf4f34 25124d31816cbf4970dec04233f4518a6cf4657b 26b77e52858b78b9a89356223f803a39272b90f5 26df556850c643d3dca32fec085a1ace3960a6eb 27c9f97b7a61acb16d0387553d70eab063fd0d7b 2879f1e6d44d4e806b7fd528a3e7fc26ffa30dd6 2a881b528824641d1756a9eb080eb8a876a660b9 2a9c0e1bbec538d35e85c00cd0149e5a6f4d9445 2b64ec341d2559f4d826effd8c57d0b48ce97dc9 2c92cf25f62916d64a899b173940c0803d6d4c71 2d4cd1c22aa3e2a8a258256ea1335f8ef240565f 2dbf8d41c55bc3dd4bfc382cf1879749974075c5 30773ebebc35eb3a9a8b4c677dcfd424d645afa2 31c0d381da59f4fd8b334c52a82ede604afe3fa7 31f7d70fee86c9137629414f09df1233b6c584ab 32b335e22336db307fb98721b4555d415a263b14 32b8420f40438d4497ab7320ec19f513657f6521 33abcc613f3e7b3c844b5f3471f3dc84f5fa4cdc 3448756a7b658a5f73366ad9540353772479405d 38360c1b883897218b02aee8908953b25c96da5f 3939cdacea6f9bd10d42a9505640a436537081dd 3e4ded1ab16e586061dbfe47001c6c48d715b709 41c812080da5654883ba85762c4e11358946c150 41dc287f516a9ee3e5ded0a91b54d139a346b1e9 42b9528321bebb3c41baef18ee4d9ff08c9b17a6 445ac48e27b258953da33039de494dda64ebbcee 44d0209edc705772e012748c88a215b1042b9e76 44ec7ac8f3698b16946bb8c6545df168a57765b9 4597ed6b90a2972976d20aa114d4b374a1314d49 45fd4fe3581f53b9ede7aef381e4bfc0a5e6e888 4639b6a95b34f26dcfad0fdf8ec2c96d3e08c3cf 46af69e8ba95a3271f71cf1b27e648c43c01c638 499c2e353e461857892ae516aff5b13502712466 4a249c335624c4946ba696f9d2d61d615a75372c 4a30ce990794a77af3833fc590b838c10dbbdc94 4d70ab240725d2ca9a8ac5f4d6da3e39268d3bf5 4f14977ab03d0c73a48b9e0a0407703cf7ebc43b 50305e36b487eb5119b8334d3a73b4baddda6bcf 5182839d6d008b69ebc10caf04e1fe632cd877ce 51e0e517fe94e56620e396697ff6b392a2db5af1 5242d6cdea6704047abe32ae3bb8361dcce630c8 527cebe3e6392182cd2083922b337376d91be218 53c3a15f91df2c134df112c09e259f653a8d2af8 5656c182c478ea650ea340d4c51a91a96f722371 56f3f023669632eaa85010a5001f5ce2fd780685 575ba833821bbadc8f521a902da8d1df616af02d 5a215f5b126fdfb268a01a576bc8a23fc44fc190 5caa8467a627e34b5794dd4bb8433ccbc0ffac14 5f568f159739b167bad1f40ed6d61ce810e2f9b7 5fd4a2196c0aae061f3c9612818ba1d69d235764 623609948fce64b1b4ab23c4ca8dd9f3b43b6fb8 634b90f8a596f90eae5544c9e93fa558eaba3984 682582805bd99e750d38440d5d4ce77ee4062a00 682e2e5f646264b79e97c66fe7293e7d487aa2bc 68523f330570b5d394f964dc13d7c9b4a62edbcf 6a87e5ff0def3243bf1ee8f5c94b5dce8aef2610 6c55b7e6c1e312930f4e0fead7edcc0c69e95763 6d75f819904b25c524067bb39ec11d3476534483 6da2a16a266f306db60265d6f7dd4f1ab856dac7 6dfdf93312406f5b74e0d329d45b77ea43b662d3 6f4f7865ce403bf672f0ae8bd98d2c77202201e4 7223ca18e6590b08d67fa4ff27c9975839f477b3 73a87795e54d12558f26817a45c0511c31ab3442 7430b1f89cab04a9a970f2d8abfef2afb34ca697 74b3561710875f2c3a03d480bc4d6e106826a889 754826df3cb2efc85f1dcc57fdddc04d5938b2f0 7735c892521ad3c6626a53f2b88598f954556cb6 78eb28ee439355ed7a4299c34d1895b78b3c945e 79c283fdd02cfec8c58e9ae8c235e1affd576bcd 7b192f4d63aeae9103d6ec2a445236179596abbe 7e3fd1e17439dada01cf72ed547ade4257266102 802b4c564a6d9710b41bd77bbb0acf2726acacd4 838ddfddba1dbff24eacfbe24f416cef73c14305 843758a2d0a5e2b2bdd827d21a102faa7f70d61c 84d870100f5d6e8ee5e788a1308efe4e833f7618 8623ba924b2beafc944d3b2d57b0eea6a3d1b00a 8b172eb6ed663883761a49cd9c9a58d3c036409b 8b9b7379af641e4948f92e563007ed1b40015f64 8baf51146dd2d1a25bca32dd7e1de66227583b45 8e4a2ffdce616d26571e3b96d7bbd96faa9439dd 8e6c1e21ac99940d56f684bfc7a932eb363cd5c6 8e9462667203bc06a1928d4dbb5a01382e572594 8f85a3659311079d4f7da7fad1ad6f749ab18560 901384ce4e5cea88812ae9f4f9f6a840dbde585b 9149aa3c52129028eca29f5170b4619cd9989529 91d34605675cd6255401334101caaeeb56929b51 92f86b3f53da30732d406279b27c0e20353af55c 930318c542cfc747ba02f443b2d68d75d0fd88e4 93afa6b79c1096c6776d452c0cc1e0966e6d2b5d 941d050ffd8c426f1fc99c1b2884af16ae308eae 9438f69bb097c9468d6add5d8af2c22e31a17b01 94852b8945297e2af7dcfa50ea8d6257238f6f15 961e457bf89673b2fbc3adad4d602f0c609afa9e 96ff31d10ee9b25086cccd04eb812e9122ffc83f 97154ad504918c84f3d8328417b5947575d54e61 9bfb1dfd72aa6bd4986b61486e60edb187015424 9ee529a5afe7c2d39870b290436fc7baac5c4311 a01f5573e1b421d6786ece406b53e1cf4020b802 a120c8708841f25c99a142f01ff24bb2a27954a5 a4924523de24d94ff4659aba4b996a994f091bcb a4a023ba9356db6293d99b79db9a1216a1d9d71d a7c484e88b94f3a78d84b7f699ee43ee8cd27ce3 a8930c9b012b6dda41141c5369817da2b6969c46 a9ea5fdfac3ad952ca589750fb4ae02e371e893b ab4a4d52152679d545d8d316342f4f3693135c1a ac76178296ae9dc3c1c040af5441d4d390765fef ad2e7d382419ae7070b16eb5820092019133043c af917ff4b189b0217924aa07249b852b39d84d99 b0ffa5512d1275ca36d705e72b3e995652bcbe8f b1415136d58d17bda89742dd33cef652f9cd44c5 b145674c15f74a4008e776934e8da984eddaa947 b1bd09dadb6ef922b5e26c0a2611e6bf8fc2eda5 b2813ef109951a3a54278b30339eaf4036027e8d b399683ff9f0644f22db3b53d060e2780bb5338d b658a03ee034fd19fac3164c449f7fb0246f1a72 b6a8faf06c7c889f06b29e89ffb1761879e76ceb b7b80feed1c7979df914196d7fc6fb49e85be48e b8b80f8852e8067f2e37878352bc4c03f166b3d0 bc1ac419b5b0bb5cc3c2704793a19cbc47255d5a bcd008ab1d017c1ba5eb2b08f7e16037cff70600 beb32f454ac079ded112bc2d34cf8a5152c8cfea bf940ddb53a16f14c2610dd73f6c41014355ab8f c0d5f8ab9e6b3f2f69594a12508411a867baeed6 c1d5e398cdb9052322697b8fe1e33fd59119422f c2b03cbddc5614e3344e6e2d423f8d758e06a238 c3a7b2d7d545213cc6e3d92ebf5d932a4592fc19 c680a6fe4848d7b945fbc9f636e64ec2fe2f3760 c70b84967d47f59d97e6b047a36e7afed14346b6 c77c755ac39f1cde627a6cfda4e7dd4e950b561c c8d2587b752569fba029d0682b0c4f153d37da84 cc0227dc3a1b97e45cb1d1b016a5bcaec545279a cd1006bd55ee32babd579348b639885bbbfb780e cd60fab983d905c0c8256582c2414bc177135902 ced4f6d2a2a2b5732d5713565b5cb9e7af4aaa07 cf9d9cbb1ddfd6b4b9fcb4c7313bba13c2177507 d17849d7930a10dbd816834e5fe2c4d6abcbce4e d207087ec890a852553bb959de6335ce98639629 d29c715ce2f0b547d42829a23fe6fdffd4bcf042 d4710389eec38d02e904beb853b373547b0b8af6 d492bdfa42722bafadca18063bd1644a2fd9797a d4ca5ce3bf03a90a0d57136ccc746d7b67932600 d4cadb2fc114f382073a98e16abdd0ae6a3fc234 d4e0b8558a162b4d4ef13ab33e7a1e648631e7ac d54ec65edb43cbbf06296fc82d7480c0bcb028cd d73a277594dba0af028176bc336bd1fec563bc5a d7b9c59403405967cdcff8e0face54590bda8066 d808c21da548ab47ad5ff08845860ee97bef2bd6 d837bdf39117a97ee61d9753afc3b4b6a5316d5a d915c13e10c29289303f89b7e63fab6725fdc60b d9721361ef1f2f583b82aec1f742d9b1b3aac35d dc67d582323bed0492ae19abcc83041c9639ccfa dd4efe7cdf6f352a4d0139a8b91f7612fb9a5386 df88859b3b84ac98e6900c41e5adcad8e1b84099 dfc8515c5623d8c12ce1f2c3a00b1ffdb261e8f6 e0891d10b474f0bb54b09d30fb9ff8beea774025 e1c42f2dba39cb1bcf4f0d304ca629a845bb194d e210360e8d1d330bf06e368e4eb91728e8144f39 e38958215881633924d0276fa8768f18880c39aa e3a2ac05b7cf106e69134ed6495c8ac6764c686d e3ce187094b3197a832cf450ef27cace600a26e6 e5be2031b477feb0dfca00084065dea5fbc0da70 e6acc804103b3de362af8ca74e8f10c199689ed6 e7adf37547417879a338fdbe2ec584d4acba95e5 e955e01fb6a1ecda1c05cee440488caaac5bd8db e9c9f1f61ffe28a11a87a4203245b621821a91c2 ec6cf5d9a3fd6d9285c5ed1b3dfbefd2055ed6ee f079c1137dae2f39bc47a43890e95c9c47c113d0 f0e23ca0786941f0f7eddbec322c9ee2ab8b6aca f1c2e79968a82e3b81526abbb3efc73c6ce42daa f21d927407f2967ac2072b8a2679dd6df1261eb6 f397dc1b166adf98799afb22ec7bd7d49ddb88b7 f419105f9fdd6ec4006f1d71b853472b4784d75b f591cff2172dac8a9bf17c5df20bb068fa82a28e f65877206cf2f51cf2440092786aa683d082ffae f6ba5ad729aabb079013b661793d581c0cd3b9ec f6bec658e65078cfe3423df71163571690987b9c f8f07ad4d6065a856e57de1e5f692b602facea9e f9ae3edddecf2c80b62ff76526d2099be4c8b5e9 fa47d9d6070ebc6e8cdc72711175674cd9ef4e4b fb404a2b6c79b808cbc91ea5347af3a7d84cd93b fb69e182eda591fea91d0c821f886a67f6e774fd fb7649b313160ab15771c43652447cc12d15e3d1 fb816ff2564585730267c1a064404b01c4ed7452 fe7ac1b8b7ca6bf168842731886c4f22506c2c69 Package: udev Source: systemd Version: 241-7~deb10u9+nerve10u1 Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 8289 Depends: libacl1 (>= 2.2.23), libblkid1 (>= 2.24), libc6 (>= 2.28), libkmod2 (>= 5~), libselinux1 (>= 2.1.9), adduser, dpkg (>= 1.19.3) | systemd-sysv, libudev1 (= 241-7~deb10u9+nerve10u1), lsb-base (>= 3.0-6), util-linux (>= 2.27.1) Conflicts: hal Breaks: ifplugd (<< 0.28-19.1~), ifupdown (<< 0.8.5~), joystick (<< 1:1.4.9-1~), systemd (<< 233-4) Replaces: systemd (<< 233-4) Multi-Arch: foreign Homepage: https://www.freedesktop.org/wiki/Software/systemd Priority: important Section: admin Filename: pool/main/s/systemd/udev_241-7~deb10u9+nerve10u1_amd64.deb Size: 1277200 SHA256: 912ed3bbbe956237c85a8b121eaadef24938e84b5adb862bf7dc0185e4883a15 SHA1: 2abb4b1dbd077b82cbf450830d3b1798dee4a74a MD5sum: 845bc106f2a5af94b98650054223c8ae Description: /dev/ and hotplug management daemon udev is a daemon which dynamically creates and removes device nodes from /dev/, handles hotplug events and loads drivers at boot time. Package: udev-dbgsym Source: systemd Version: 241-7~deb10u9+nerve10u1 Auto-Built-Package: debug-symbols Architecture: amd64 Maintainer: Debian systemd Maintainers Installed-Size: 4424 Depends: udev (= 241-7~deb10u9+nerve10u1) Priority: optional Section: debug Filename: pool/main/s/systemd/udev-dbgsym_241-7~deb10u9+nerve10u1_amd64.deb Size: 3501192 SHA256: fbaa1e4a3fe249a1993601cd167202c42b82a11a4b0fa39db89812ccb17b7002 SHA1: 5885ba37700477e57ed5d353b317aa619bce2702 MD5sum: 8e6c98d69e62ad25df6386eba02a4473 Description: debug symbols for udev Build-Ids: 28b32a9647919f6ac6f1480fa042f4cbb7240667 612d1d62fd20162a38317e07fac83495dededf2f 75fd2a490ca9f2191d01afbd6bdea8f6ddb4a33e 7bd89122b58b9b86c47bfa0030c57ddf4619b2aa ad0237e8c0ddfb0c6bfeb265a7146616a8254463 dd07e384a2f686692364087235dbe857d0f97582 e9323215a48ae85d85b4cdf3dd1ddb6ec17e3ca5 ee044f26dfac41d6031beb316190eb21d01209c0 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