Key | Value |
---|---|
FileName | ./usr/lib/python3/dist-packages/pycryptosat-0.2.0.egg-info |
FileSize | 6179 |
MD5 | 48DC76192947542D56C8F1182C5A7EEC |
SHA-1 | E67AA9B80EB9E40BBB8888EDDBC2FB17267AF9EB |
SHA-256 | 3798B27A058C440300794AC4A8D21BCA975B7B03933F0B16285B8DEEAE7262A8 |
SSDEEP | 96:DQYHEab8F8VN5UGAoWj2NoD/g7hs5pvRBmSlLcXvzvPlXEG05+KQImaI:BxaJKWj3D/gtMBblLcXjPlXEF52R |
TLSH | T144D1D81654C47EFC06E254B174DEE2C6472081AF1A491E1879FD902C3F57FA0A6BE1BD |
tar:gname | root |
tar:uname | root |
hashlookup:parent-total | 25 |
hashlookup:trust | 100 |
The searched file hash is included in 25 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
MD5 | 10A468D7F7E51A6F7B026E22E814A086 |
PackageArch | armv7hl |
PackageDescription | Python 3 interface to cryptominisat. |
PackageMaintainer | Fedora Project |
PackageName | python3-cryptominisat |
PackageRelease | 3.fc34 |
PackageVersion | 5.8.0 |
SHA-1 | 0D1ECE2659B5D834CD94696A59A1AC2821F316F4 |
SHA-256 | 56640CB9F62DE1BFF1A4AA9306691538D66006A1B4470EC0F38CBC99A1043F46 |
Key | Value |
---|---|
FileSize | 18664 |
MD5 | 92E906956D555502BE36A5987A82806D |
PackageDescription | Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | python3-cryptominisat |
PackageSection | python |
PackageVersion | 5.8.0+dfsg1-1+b3 |
SHA-1 | 13B6DD34E2FBE26A5B2A6D4B506FD6F8B5544201 |
SHA-256 | 33ADD66A09CA8F4C168EB18DD0E58CD4AA7EC287D116A97C867F9AEBF39A0A83 |
Key | Value |
---|---|
FileSize | 17840 |
MD5 | 76D93029537CECE894D8A42808DD78D9 |
PackageDescription | Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | python3-cryptominisat |
PackageSection | python |
PackageVersion | 5.8.0+dfsg1-1+b1 |
SHA-1 | 241CDB2E248DEF901DB0B0108BF9639D68B48CE0 |
SHA-256 | 58E33177CC3DEBAF18EFE6A07D5A22910B26A977544F2924CFCEC5B5ABDBD0DF |
Key | Value |
---|---|
MD5 | 79A6B418A51D4E164F184245FDFB7A36 |
PackageArch | aarch64 |
PackageDescription | Python 3 interface to cryptominisat. |
PackageMaintainer | Fedora Project |
PackageName | python3-cryptominisat |
PackageRelease | 3.fc34 |
PackageVersion | 5.8.0 |
SHA-1 | 291A92AE8B3ABF2422D39EB8A45C4D48391457E4 |
SHA-256 | 11AC9CE72532AC1169AD10CDA6F9BBC8F11BD50D7E53B95FF8C08AF8063E4144 |
Key | Value |
---|---|
FileSize | 19860 |
MD5 | C206E6647D23B8ED6857A6C5401E13C4 |
PackageDescription | Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | python3-cryptominisat |
PackageSection | python |
PackageVersion | 5.8.0+dfsg1-1+b1 |
SHA-1 | 36DB0CF2BE20F6FED180199D5F7655151F4002A0 |
SHA-256 | F42F57B3D3023298762D7106DB1BECD25BEB6CA607A568DDF651B263D5E401ED |
Key | Value |
---|---|
FileSize | 18004 |
MD5 | D1D96B40B8421688D7148C7DFE101F14 |
PackageDescription | Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | python3-cryptominisat |
PackageSection | python |
PackageVersion | 5.8.0+dfsg1-1+b2 |
SHA-1 | 3794D8A694FB741A3A32302843C3F3183625A0A0 |
SHA-256 | 865ADE45D4F29903DFB83DCD1D6FD4D5D82C75B993019A6D4AD67BAA2C785574 |
Key | Value |
---|---|
FileSize | 18280 |
MD5 | 34DDE2C8082BEDCA0B23356DD4A43B18 |
PackageDescription | Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples. |
PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
PackageName | python3-cryptominisat |
PackageSection | python |
PackageVersion | 5.8.0+dfsg1-1build2 |
SHA-1 | 5622B9F6A803EA4F77CAE142E9E056B03EB2CDB1 |
SHA-256 | 4DA729891E58820FD2ADD0467F0A171F7C8F21A86020D5FA6B649E130A4C1779 |
Key | Value |
---|---|
FileSize | 18784 |
MD5 | 91711AB97C295A0092DAA3CD05E3351F |
PackageDescription | Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | python3-cryptominisat |
PackageSection | python |
PackageVersion | 5.8.0+dfsg1-1+b2 |
SHA-1 | 5EEC9D1C185A7CE7CA4E85A5FB1D40973A5738D6 |
SHA-256 | 3CE63D488BB96621CB9556211865296C29C79D3A7A408980FDDD9BC3127BCA6D |
Key | Value |
---|---|
FileName | http://archlinux.mirror.root.lu//pool//community//cryptominisat5-5.8.0-4-x86_64.pkg.tar.zst |
MD5 | D5F777906BE3BDECDAB0C060E9901CD9 |
SHA-1 | 65FB728E6CF80C8C63D7C24E94A64AD788F57320 |
SHA-256 | F16ECDEF2DD9736EEE0B2507ADF1C86421F5CFA96257FC2AF50C93E43F8C8759 |
SSDEEP | 12288:tsLepCjp1TsGQMie+LBtnk7kUdKF4vSTeULnbao6eeVQ5t+vX:tsLeujxQNNLBEkUd8hDbaVQ5e |
TLSH | T19CC423B1CDF438AE41DB223FFB8494CFBA1FD5CBE65109451B906BE22359C527216C1A |
Key | Value |
---|---|
FileSize | 19952 |
MD5 | CFF23909DDA7B123AC84371186C37362 |
PackageDescription | Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples. |
PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
PackageName | python3-cryptominisat |
PackageSection | python |
PackageVersion | 5.8.0+dfsg1-1+b2 |
SHA-1 | 66055AD0ADC853B6CEA76B4C724E702DC3518D8B |
SHA-256 | 94689ED0457AE30315766B80EBBB1753587605875AD87A32F8199FA1BC99E4E8 |