From nobody Sun Aug 04 20:07:55 2024 X-Original-To: dev-commits-ports-main@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4WcVxw2jRHz5SwRN for ; Sun, 04 Aug 2024 20:08:36 +0000 (UTC) (envelope-from sunpoet@freebsd.org) Received: from smtp.freebsd.org (smtp.freebsd.org [IPv6:2610:1c1:1:606c::24b:4]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "smtp.freebsd.org", Issuer "R10" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4WcVxw0G7wz4YF4 for ; Sun, 4 Aug 2024 20:08:36 +0000 (UTC) (envelope-from sunpoet@freebsd.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1722802116; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=Tb0xR+4U3+torCPaQ9I6vs5PVSi0b0gkElXoGvEas4I=; b=edpQEd7ZokrLfrx0hWoCj58lU2rp/qM9tsCO9hmyofCp+CSjNp5mipUmp0mE+La3qqN2q5 rgHr4CqKN0OSBmWogNsdf9VS5OMp9N2m5vmbnwKzgwaEL74/YIjbFo0t0OR5KWAQjhkbPy n1xOhtHGJdqduffFO2aEldRkI5LHb3XB6Kty6tizF/Q/Q4LSmyGK72PlK/apqw2PzDcYNC N4wOF40wZBMHfBYwi33PVhbMph08edgsJqh2D+TMRxv0jSwuPcDTwn2ekJ7T2uecRgBwe5 5j+/OwVesQkXm8Pcj4Vx+A4mS2kr8kZpNtkBKqL1vHD0/F4MpbgPGYIpVwvYsA== ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1722802116; a=rsa-sha256; cv=none; b=nzeNp5uK9M3oz7GONFLHoOprceKCZ7p3aOWhvOUaIKD1WD7JM1818imiuQODiDpgbWBYLM aaIi6K0b/Xn5L7PCv9ueWNZPbaPs5owbQA1LHdJ+Yotj3tmJSmYFYLvZ/78GBUBvV+JgiR 3D9GsU3LlTZqbfPd357KoVaHk/DMDVq4kr6TaA+niRbmsYO5B2ACjPm1MEwTnhPQfaD40b 2LwwduskodqDmNuEyiW900pcDBdgfBkO1Q9F2LOqrvjvUHKgWwarv/o05A+OxTjD8trOoQ 3+klZT3fQqeeqLecVtmHr0x971wsgvhwoee3y+gGi7G7z8Nbs3NBA6Gss0wxlA== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1722802116; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=Tb0xR+4U3+torCPaQ9I6vs5PVSi0b0gkElXoGvEas4I=; b=DusOpcI9gYfAIQRAncQ4ka/Rls3MO70UlrRcitbtqjxm544Q8aEl3NAKfeM/UF0v9bjXC5 jGXKvb3jO4RqDNr+BgL9iCerYt91HK2/yM3ln85SanN/ovTIu/Gtviarfkl0YxOvRsZ1vC o+DVHR9nJ8EMOF1jivvf+5oi5DOfGZclYEj3A5jhIFWHAXl5sbB6ldktCkELtRItGMMm43 mwHPq3b6x5gGUG2zof/I2CI7lLHsv1bfkpvtkZEgFMfLuS8a9VjdiLKuASumuB1Nzz4m5f HQCb1cO9b+c353LKlpGdLLTGvY0HqBnQJNeL9ZG9GEKnFHcrgQAjUh6KF4AuJQ== Received: from mail-ej1-f41.google.com (mail-ej1-f41.google.com [209.85.218.41]) (using TLSv1.3 with cipher TLS_AES_128_GCM_SHA256 (128/128 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (2048 bits) client-digest SHA256) (Client CN "smtp.gmail.com", Issuer "WR4" (verified OK)) (Authenticated sender: sunpoet) by smtp.freebsd.org (Postfix) with ESMTPSA id 4WcVxv6qjyz1KCW for ; Sun, 4 Aug 2024 20:08:35 +0000 (UTC) (envelope-from sunpoet@freebsd.org) Received: by mail-ej1-f41.google.com with SMTP id a640c23a62f3a-a7a8553db90so1263180366b.2 for ; Sun, 04 Aug 2024 13:08:35 -0700 (PDT) X-Forwarded-Encrypted: i=1; AJvYcCWEK5hcurcp2Q4VLFyHTXD4+n8CJDAZlvj4899MOz/xfx2tHBiE21qDSfDHsjapkHEPH9POz0109x4p+dmLcbvtASPBnddMr7fnbaDKYyFnYL7u X-Gm-Message-State: AOJu0Yz8CtMPN8P4VErgC2n/4kdZKkeQ78K2ubdZiCetw43npoEwwOsI dTPPNL5dTuJbxkRurcSScNuj1v6e6o5NuGIGZ7NAGU6vW9AZgr5P/471Ch0fRj84JgIxx1zcxby Cga6/CBh1XV4dx0pTFRlR0fc/K6fZIC7d/aW3+w== X-Google-Smtp-Source: AGHT+IEyVxb3C3PKQtCMUakgFfQd2HyhZPYxwtlya6ULOoVaZk/JSscmSp+aXJd3lpouWONrlqbLtU7WY1hjKg7laDU= X-Received: by 2002:a17:907:7e92:b0:a7a:a30b:7b92 with SMTP id a640c23a62f3a-a7dc4db39f1mr779936866b.1.1722802114506; Sun, 04 Aug 2024 13:08:34 -0700 (PDT) List-Id: Commits to the main branch of the FreeBSD ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-main List-Help: List-Post: List-Subscribe: List-Unsubscribe: X-BeenThere: dev-commits-ports-main@freebsd.org Sender: owner-dev-commits-ports-main@FreeBSD.org MIME-Version: 1.0 References: <202408041724.474HOYoT069790@gitrepo.freebsd.org> In-Reply-To: From: Po-Chuan Hsieh Date: Mon, 5 Aug 2024 04:07:55 +0800 X-Gmail-Original-Message-ID: Message-ID: Subject: Re: git: 7faf292d9212 - main - math/py-z3-solver: Add NO_ARCH To: Gleb Popov Cc: ports-committers@freebsd.org, dev-commits-ports-all@freebsd.org, dev-commits-ports-main@freebsd.org Content-Type: multipart/alternative; boundary="0000000000000dd29f061ee1206c" --0000000000000dd29f061ee1206c Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Mon, Aug 5, 2024 at 3:18=E2=80=AFAM Gleb Popov wrot= e: > On Sun, Aug 4, 2024 at 8:24=E2=80=AFPM Po-Chuan Hsieh wrote: > > > > The branch main has been updated by sunpoet: > > > > URL: > https://cgit.FreeBSD.org/ports/commit/?id=3D7faf292d921269eeac47db539601e= 9af7f95c64a > > > > commit 7faf292d921269eeac47db539601e9af7f95c64a > > Author: Po-Chuan Hsieh > > AuthorDate: 2024-08-04 17:11:38 +0000 > > Commit: Po-Chuan Hsieh > > CommitDate: 2024-08-04 17:14:33 +0000 > > > > math/py-z3-solver: Add NO_ARCH > > This looks wrong. This python package contains C++ code. > Here's the content of the official package for FreeBSD 14 (amd64). % tar -vtf py311-z3-solver-4.8.17_1.pkg -rw-r--r-- 0 root wheel 873 Jan 1 1970 +COMPACT_MANIFEST -rw-r--r-- 0 root wheel 6198 Jan 1 1970 +MANIFEST -rw-r--r-- 0 root wheel 211 Jul 11 10:36 /usr/local/share/licenses/py311-z3-solver-4.8.17_1/catalog.mk -rw-r--r-- 0 root wheel 68 Jul 11 10:36 /usr/local/share/licenses/py311-z3-solver-4.8.17_1/LICENSE -rw-r--r-- 0 root wheel 1096 Jul 11 10:36 /usr/local/share/licenses/py311-z3-solver-4.8.17_1/MIT -rw-r--r-- 0 root wheel 210 May 5 2022 /usr/local/lib/python3.11/site-packages/z3/__init__.py -rw-r--r-- 0 root wheel 558 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/__init__.cpython-311= .opt-1.pyc -rw-r--r-- 0 root wheel 558 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/__init__.cpython-311= .pyc -rw-r--r-- 0 root wheel 559361 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3.cpython-311.opt-1= .pyc -rw-r--r-- 0 root wheel 559361 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3.cpython-311.pyc -rw-r--r-- 0 root wheel 10799 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3consts.cpython-311= .opt-1.pyc -rw-r--r-- 0 root wheel 10799 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3consts.cpython-311= .pyc -rw-r--r-- 0 root wheel 293479 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3core.cpython-311.o= pt-1.pyc -rw-r--r-- 0 root wheel 293479 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3core.cpython-311.p= yc -rw-r--r-- 0 root wheel 25541 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3num.cpython-311.op= t-1.pyc -rw-r--r-- 0 root wheel 25541 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3num.cpython-311.py= c -rw-r--r-- 0 root wheel 1522 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3poly.cpython-311.o= pt-1.pyc -rw-r--r-- 0 root wheel 1522 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3poly.cpython-311.p= yc -rw-r--r-- 0 root wheel 89132 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3printer.cpython-31= 1.opt-1.pyc -rw-r--r-- 0 root wheel 89132 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3printer.cpython-31= 1.pyc -rw-r--r-- 0 root wheel 11409 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3rcf.cpython-311.op= t-1.pyc -rw-r--r-- 0 root wheel 11409 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3rcf.cpython-311.py= c -rw-r--r-- 0 root wheel 13359 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3types.cpython-311.= opt-1.pyc -rw-r--r-- 0 root wheel 13359 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3types.cpython-311.= pyc -rw-r--r-- 0 root wheel 17208 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3util.cpython-311.o= pt-1.pyc -rw-r--r-- 0 root wheel 17208 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3util.cpython-311.p= yc -rw-r--r-- 0 root wheel 325669 May 5 2022 /usr/local/lib/python3.11/site-packages/z3/z3.py -rw-r--r-- 0 root wheel 7867 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/z3consts.py -rw-r--r-- 0 root wheel 184806 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/z3core.py -rw-r--r-- 0 root wheel 16090 May 5 2022 /usr/local/lib/python3.11/site-packages/z3/z3num.py -rw-r--r-- 0 root wheel 1113 May 5 2022 /usr/local/lib/python3.11/site-packages/z3/z3poly.py -rw-r--r-- 0 root wheel 45224 May 5 2022 /usr/local/lib/python3.11/site-packages/z3/z3printer.py -rw-r--r-- 0 root wheel 5039 May 5 2022 /usr/local/lib/python3.11/site-packages/z3/z3rcf.py -rw-r--r-- 0 root wheel 4575 May 5 2022 /usr/local/lib/python3.11/site-packages/z3/z3types.py -rw-r--r-- 0 root wheel 11388 May 5 2022 /usr/local/lib/python3.11/site-packages/z3/z3util.py -rw-r--r-- 0 root wheel 697 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3_solver-4.8.17.0-py3.11.egg-info/= PKG-INFO -rw-r--r-- 0 root wheel 310 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3_solver-4.8.17.0-py3.11.egg-info/= SOURCES.txt -rw-r--r-- 0 root wheel 1 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3_solver-4.8.17.0-py3.11.egg-info/= dependency_links.txt -rw-r--r-- 0 root wheel 3 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3_solver-4.8.17.0-py3.11.egg-info/= top_level.txt --0000000000000dd29f061ee1206c Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
On Mon, Aug 5, 2024 at 3:18=E2=80=AFAM Gleb Popov <arrowd@freebsd.org> wrote:=
On Sun, Aug 4, = 2024 at 8:24=E2=80=AFPM Po-Chuan Hsieh <sunpoet@freebsd.org> wrote:
>
> The branch main has been updated by sunpoet:
>
> URL: https:= //cgit.FreeBSD.org/ports/commit/?id=3D7faf292d921269eeac47db539601e9af7f95c= 64a
>
> commit 7faf292d921269eeac47db539601e9af7f95c64a
> Author:=C2=A0 =C2=A0 =C2=A0Po-Chuan Hsieh <sunpoet@FreeBSD.org><= br> > AuthorDate: 2024-08-04 17:11:38 +0000
> Commit:=C2=A0 =C2=A0 =C2=A0Po-Chuan Hsieh <sunpoet@FreeBSD.org><= br> > CommitDate: 2024-08-04 17:14:33 +0000
>
>=C2=A0 =C2=A0 =C2=A0math/py-z3-solver: Add NO_ARCH

This looks wrong. This python package contains C++ code.

Here's the content of the official package for FreeBS= D 14 (amd64).

% tar -vtf py311-z3-solver-4.8.17_1.= pkg
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A0 873 Jan =C2=A01= =C2=A01970 +COMPACT_MANIFEST
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2= =A0 =C2=A06198 Jan =C2=A01 =C2=A01970 +MANIFEST
-rw-r--r-- =C2=A00 root = =C2=A0 wheel =C2=A0 =C2=A0 211 Jul 11 10:36 /usr/local/share/licenses/py311= -z3-solver-4.8.17_1/catalog= .mk
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A0 =C2=A068 Jul = 11 10:36 /usr/local/share/licenses/py311-z3-solver-4.8.17_1/LICENSE
-rw-= r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A01096 Jul 11 10:36 /usr/local/= share/licenses/py311-z3-solver-4.8.17_1/MIT
-rw-r--r-- =C2=A00 root =C2= =A0 wheel =C2=A0 =C2=A0 210 May =C2=A05 =C2=A02022 /usr/local/lib/python3.1= 1/site-packages/z3/__init__.py
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2= =A0 =C2=A0 558 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__py= cache__/__init__.cpython-311.opt-1.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wh= eel =C2=A0 =C2=A0 558 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/= z3/__pycache__/__init__.cpython-311.pyc
-rw-r--r-- =C2=A00 root =C2=A0 w= heel =C2=A0559361 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/_= _pycache__/z3.cpython-311.opt-1.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel= =C2=A0559361 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pyc= ache__/z3.cpython-311.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 10= 799 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3c= onsts.cpython-311.opt-1.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 = 10799 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z= 3consts.cpython-311.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A029347= 9 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3cor= e.cpython-311.opt-1.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A029347= 9 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3cor= e.cpython-311.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 25541 Jul = 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3num.cpyth= on-311.opt-1.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 25541 Jul 1= 1 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3num.cpytho= n-311.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A01522 Jul 11 = 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3poly.cpython= -311.opt-1.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A01522 Ju= l 11 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3poly.cp= ython-311.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 89132 Jul 11 1= 0:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3printer.cpyth= on-311.opt-1.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 89132 Jul 1= 1 10:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3printer.cp= ython-311.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 11409 Jul 11 1= 0:36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3rcf.cpython-3= 11.opt-1.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 11409 Jul 11 10= :36 /usr/local/lib/python3.11/site-packages/z3/__pycache__/z3rcf.cpython-31= 1.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 13359 Jul 11 10:36 /us= r/local/lib/python3.11/site-packages/z3/__pycache__/z3types.cpython-311.opt= -1.pyc
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 13359 Jul 11 10:36 /u= sr/local/lib/python3.11/site-packages/z3/__pycache__/z3types.cpython-311.py= c
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 17208 Jul 11 10:36 /usr/lo= cal/lib/python3.11/site-packages/z3/__pycache__/z3util.cpython-311.opt-1.py= c
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 17208 Jul 11 10:36 /usr/lo= cal/lib/python3.11/site-packages/z3/__pycache__/z3util.cpython-311.pyc
-= rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0325669 May =C2=A05 =C2=A02022 /us= r/local/lib/python3.11/site-packages/z3/z3.py
-rw-r--r-- =C2=A00 root = =C2=A0 wheel =C2=A0 =C2=A07867 Jul 11 10:36 /usr/local/lib/python3.11/site-= packages/z3/z3consts.py
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A018480= 6 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3/z3core.py
-rw-= r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 16090 May =C2=A05 =C2=A02022 /usr/l= ocal/lib/python3.11/site-packages/z3/z3num.py
-rw-r--r-- =C2=A00 root = =C2=A0 wheel =C2=A0 =C2=A01113 May =C2=A05 =C2=A02022 /usr/local/lib/python= 3.11/site-packages/z3/z3poly.py
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2= =A0 45224 May =C2=A05 =C2=A02022 /usr/local/lib/python3.11/site-packages/z3= /z3printer.py
-rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A05039 May= =C2=A05 =C2=A02022 /usr/local/lib/python3.11/site-packages/z3/z3rcf.py
= -rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A04575 May =C2=A05 =C2=A020= 22 /usr/local/lib/python3.11/site-packages/z3/z3types.py
-rw-r--r-- =C2= =A00 root =C2=A0 wheel =C2=A0 11388 May =C2=A05 =C2=A02022 /usr/local/lib/p= ython3.11/site-packages/z3/z3util.py
-rw-r--r-- =C2=A00 root =C2=A0 whee= l =C2=A0 =C2=A0 697 Jul 11 10:36 /usr/local/lib/python3.11/site-packages/z3= _solver-4.8.17.0-py3.11.egg-info/PKG-INFO
-rw-r--r-- =C2=A00 root =C2=A0= wheel =C2=A0 =C2=A0 310 Jul 11 10:36 /usr/local/lib/python3.11/site-packag= es/z3_solver-4.8.17.0-py3.11.egg-info/SOURCES.txt
-rw-r--r-- =C2=A00 roo= t =C2=A0 wheel =C2=A0 =C2=A0 =C2=A0 1 Jul 11 10:36 /usr/local/lib/python3.1= 1/site-packages/z3_solver-4.8.17.0-py3.11.egg-info/dependency_links.txt
= -rw-r--r-- =C2=A00 root =C2=A0 wheel =C2=A0 =C2=A0 =C2=A0 3 Jul 11 10:36 /u= sr/local/lib/python3.11/site-packages/z3_solver-4.8.17.0-py3.11.egg-info/to= p_level.txt
--0000000000000dd29f061ee1206c--