fm-weck 1.4.7__py3-none-any.whl → 1.5.0__py3-none-any.whl

fm_weck/serve.py

@@ -9,18 +9,20 @@ import dbm
 import json
 import logging
 import os
-import shutil
 import sys
 from pathlib import Path
-from typing import Optional, Tuple, Union
+from typing import Optional, Tuple, Union, cast
 
 from fm_tools.benchexec_helper import DataModel
+from fm_tools.files import unzip
 from fm_tools.fmtoolversion import FmToolVersion
 
 from fm_weck.run_result import RunResult
+from fm_weck.tmp_file import NTempFile
 
 from .config import Config, parse_fm_data
-from .engine import CACHE_MOUNT_LOCATION, Engine
+from .engine import Engine
+from .file_util import copy_ensuring_unix_line_endings
 
 logger = logging.getLogger(__name__)
 
@@ -69,6 +71,7 @@ def setup_fm_tool(
     # Don't explicitly disallow non-FmToolVersion here; Pythonic Users might want to exchange the FmToolVersion object
     # by a class with the same interface
     fm_data = parse_fm_data(fm_tool, version) if isinstance(fm_tool, (Path, str)) else fm_tool
+    fm_data = cast(FmToolVersion, fm_data)
 
     shelve_space = configuration.get_shelve_space_for(fm_data)
     logger.debug("Using shelve space %s", shelve_space)
@@ -84,7 +87,42 @@ def setup_fm_tool(
             skip_download = check_cache_entry(shelve_space, checksum, configuration)
 
     if not skip_download:
-        fm_data.download_and_install_into(shelve_space)
+        if sys.platform != "win32":
+            fm_data.download_and_install_into(shelve_space)
+            checksum = fm_data.get_archive_location().resolve().checksum
+            if checksum is None:
+                logger.warning(
+                    "No checksum available for %s, skipping checksum update", fm_data.get_tool_name_with_version()
+                )
+            else:
+                update_checksum(shelve_space, checksum, configuration)
+
+            # On Windows, we need to download the tool first and then unzip it
+            # This is because the unzip operation might fail due to a permission error
+        else:
+            dl_loc = NTempFile(f"{fm_data.get_tool_name_with_version()}-dl.zip")
+            fm_data.download_into(dl_loc.name)
+
+            success = False
+            last_error = None
+
+            logging.info("Unzipping downloaded archive...")
+
+            # On Windows, the unzip operation might fail due to a permission error.
+            # Retrying the operation a few times mitigates this issue.
+            for _ in range(100):
+                try:
+                    unzip(dl_loc.name, shelve_space)
+                    success = True
+                    break
+                except PermissionError as e:
+                    last_error = e
+                    continue
+
+            if not success:
+                logger.error("Failed to unzip downloaded archive")
+                raise last_error
+
         checksum = fm_data.get_archive_location().resolve().checksum
         if checksum is None:
             logger.warning(
@@ -93,6 +131,7 @@ def setup_fm_tool(
         else:
             update_checksum(shelve_space, checksum, configuration)
         map_doi(fm_data, shelve_space)
+
     tool_info_module = fm_data.get_toolinfo_module()
 
     if (not offline_mode) or tool_info_module._trivially_resolved():
@@ -140,7 +179,7 @@ def run_guided(
             # copy the property to the weck_cache which should be mounted
             source_property_path = prop
             property_path = configuration.get_shelve_path_for_property(source_property_path)
-            shutil.copyfile(source_property_path, property_path)
+            copy_ensuring_unix_line_endings(source_property_path, property_path)
         except KeyError:
             logger.error("Unknown property %s", prop)
             return RunResult(command=[], exit_code=1, raw_output="Unknown property")
@@ -151,10 +190,10 @@ def run_guided(
     engine = Engine.from_config(fm_data, configuration)
 
     if log_output_to is not None:
-        engine.set_output_log(log_output_to)
+        engine.set_log_file(log_output_to)
 
     if output_files_to is not None:
-        engine.set_output_files_dir(output_files_to)
+        engine.set_output_dir(output_files_to)
     engine.print_output_to_stdout = print_tool_output_to_console
 
     current_dir = Path.cwd().resolve()
@@ -181,11 +220,9 @@ def run_guided(
 
     logger.debug("Assembled command from fm-tools: %s", command)
 
-    execution_result = engine.run(
-        f"{CACHE_MOUNT_LOCATION}/.scripts/run_with_overlay.sh", shelve_space.name, *command, timeout_sec=timeout_sec
-    )
+    engine.use_overlay(shelve_space.name)
 
-    return execution_result
+    return engine.run(*command, timeout_sec=timeout_sec)
 
 
 def run_manual(
@@ -194,6 +231,7 @@ def run_manual(
     configuration: Config,
     command: list[str],
     offline_mode: bool = False,
+    use_overlay: bool = False,
     log_output_to: Optional[Path] = None,
     output_files_to: Optional[Path] = None,
     timeout_sec: Optional[float] = None,
@@ -203,20 +241,28 @@ def run_manual(
     engine = Engine.from_config(fm_data, configuration)
 
     if log_output_to is not None:
-        engine.set_output_log(log_output_to)
+        engine.set_log_file(log_output_to)
 
     if output_files_to is not None:
-        engine.set_output_files_dir(output_files_to)
+        engine.set_output_dir(output_files_to)
 
-    executable = fm_data.get_executable_path(shelve_space)
-    logger.debug("Using executable %s", executable)
-    logger.debug("Assembled command %s", [executable, *command])
+    if use_overlay:
+        configuration.make_script_available()
+        current_dir = Path.cwd().resolve()
+        os.chdir(shelve_space)
+        executable = fm_data.get_executable_path(Path("."))
+        os.chdir(current_dir)
+
+        logger.debug("Running with overlay...")
+        engine.use_overlay(shelve_space.name)
+    else:
+        executable = fm_data.get_executable_path(shelve_space)
 
     if log_output_to is not None:
-        engine.set_output_log(log_output_to)
+        engine.set_log_file(log_output_to)
 
     if output_files_to is not None:
-        engine.set_output_files_dir(output_files_to)
+        engine.set_output_dir(output_files_to)
 
     engine.print_output_to_stdout = print_tool_output_to_console
 

fm_weck/smoke_test_mode.py

@@ -0,0 +1,82 @@
+# This file is part of fm-weck: executing fm-tools in containerized environments.
+# https://gitlab.com/sosy-lab/software/fm-weck
+#
+# SPDX-FileCopyrightText: 2024 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
+import logging
+import subprocess
+from pathlib import Path
+
+from fm_tools.fmtoolversion import FmToolVersion
+
+from .engine import CACHE_MOUNT_LOCATION, Engine
+
+logger = logging.getLogger(__name__)
+
+
+def run_smoke_test(fm_data, shelve_space, config):
+    if not shelve_space.exists() or not shelve_space.is_dir():
+        raise ValueError(f"Invalid shelve space path: {shelve_space}")
+
+    engine = Engine.from_config(fm_data, config)
+
+    tool_dir = shelve_space.relative_to(config.cache_location)
+    engine.work_dir = CACHE_MOUNT_LOCATION / tool_dir
+
+    # Check for smoketest.sh first, then smoke_test.sh
+    if (shelve_space / "smoketest.sh").exists():
+        command = "./smoketest.sh"
+    elif (shelve_space / "smoke_test.sh").exists():
+        command = "./smoke_test.sh"
+    else:
+        raise ValueError(f"Smoke test script not found in {shelve_space}. Expected ./smoketest.sh or ./smoke_test.sh")
+
+    engine.run(command)
+
+
+def run_smoke_test_gitlab_ci(fm_data: FmToolVersion, tool_dir: Path):
+    """
+    Run smoke test in GitLab CI mode.
+    This mode directly installs required packages using apt instead of building/pulling images.
+
+    Args:
+        fm_data: The FmToolVersion object containing tool information
+        tool_dir: The directory containing the tool's smoke_test.sh script
+    """
+    # Get required packages from fm_data
+    required_packages = fm_data.get_images().required_packages
+
+    if required_packages:
+        logger.info("Installing required packages: %s", " ".join(required_packages))
+
+        # Install packages
+        try:
+            subprocess.run(["apt", "install", "-y", *required_packages], check=True)
+            logger.info("Successfully installed packages: %s", " ".join(required_packages))
+        except subprocess.CalledProcessError:
+            logger.error("Failed to install packages.")
+            raise
+    else:
+        logger.info("No required packages specified for this tool")
+
+    # Run the smoke test script
+    # Check for smoketest.sh first, then smoke_test.sh
+    smoke_test_script = tool_dir / "smoketest.sh"
+    if not smoke_test_script.exists():
+        smoke_test_script = tool_dir / "smoke_test.sh"
+
+    if not smoke_test_script.exists():
+        raise ValueError(
+            f"Smoke test script not found in downloaded tool directory: {tool_dir}. "
+            f"Expected ./smoketest.sh or ./smoke_test.sh"
+        )
+
+    logger.info("Running smoke test script: %s", smoke_test_script)
+    try:
+        subprocess.run([f"./{smoke_test_script.name}"], cwd=tool_dir, check=True)
+        logger.info("Smoke test completed successfully")
+    except subprocess.CalledProcessError as e:
+        logger.error("Smoke test failed with return code %d", e.returncode)
+        raise

fm_weck/tmp_file.py

@@ -0,0 +1,61 @@
+# This file is part of fm-weck: executing fm-tools in containerized environments.
+# https://gitlab.com/sosy-lab/software/fm-weck
+#
+# SPDX-FileCopyrightText: 2024 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
+import contextlib
+import os
+from pathlib import Path
+from tempfile import mkdtemp
+
+
+class NTempFile:
+    """
+    Custom temporary file context manager.
+    It creates a temporary file and deletes it after the context manager is closed.
+    The file is not kept open in order to achieve compatibility with Windows.
+
+    Inspired by https://stackoverflow.com/a/63173312
+    """
+
+    def __init__(self, name, mode="wb"):
+        self.__tmp_dir = mkdtemp()
+        self.name = Path(self.__tmp_dir) / name
+        self._mode = mode
+        self._file = None
+
+    def __enter__(self):
+        """Enter the context manager and return the file object."""
+        self._file = open(self.name, self._mode)
+        return self
+
+    def __exit__(self, exc_type, exc_val, exc_tb):
+        """Exit the context manager and clean up."""
+        if self._file is not None:
+            self._file.close()
+        self._cleanup()
+
+    def write(self, data):
+        """Write data to the temporary file."""
+        if self._file is None:
+            # If not in context manager, open the file temporarily
+            with open(self.name, self._mode) as f:
+                f.write(data)
+        else:
+            self._file.write(data)
+            self._file.flush()  # Ensure data is written immediately
+
+    def _cleanup(self):
+        """Clean up the temporary file and directory."""
+        with contextlib.suppress(OSError):
+            if self.name.exists():
+                os.unlink(self.name)
+        with contextlib.suppress(OSError):
+            if Path(self.__tmp_dir).exists():
+                os.rmdir(self.__tmp_dir)
+
+    def __del__(self):
+        """Cleanup when object is garbage collected."""
+        self._cleanup()

{fm_weck-1.4.7.dist-info → fm_weck-1.5.0.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: fm-weck
-Version: 1.4.7
+Version: 1.5.0
 Author-email: Henrik Wachowitz <henrik.wachowitz@ifi.lmu.de>
 Maintainer-email: Henrik Wachowitz <henrik.wachowitz@ifi.lmu.de>
 Classifier: Development Status :: 4 - Beta
@@ -16,6 +16,8 @@ Requires-Dist: pyyaml>=6.0
 Requires-Dist: tabulate
 Requires-Dist: tomli>=2.0; python_version <= '3.10'
 Requires-Dist: yaspin>=3.0
+Provides-Extra: remote
+Requires-Dist: grpcio-tools; extra == 'remote'
 Description-Content-Type: text/markdown
 
 <!--
@@ -36,7 +38,7 @@ We provide a tutorial on how to use fm-weck [here](doc/Tutorial.md).
 
 ## Install dependencies
 
-`fm-weck` requires Python 3.10 or higher. `fm-weck` relies on an available Podman installation. To install Podman on Ubuntu, run the following command:
+`fm-weck` requires Python 3.10 or higher. `fm-weck` relies on an available Podman or Docker installation. To install Podman on Ubuntu, run the following command:
 
 ```
 sudo apt install podman
@@ -46,11 +48,11 @@ sudo apt install podman
 
 There are three modes of operation: `run`, `shell` and `expert`.
 
+- `run`: (**Recommended**) enables plug-and-play execution of formal methods tools: it 
+downloads and unpacks a tool from the fm-tools metadata file into a user-specified cache directory on the host system and then runs the tool in the containerized environment
 - `expert`: executes a tool in it's containerized environment specified through the
 corresponding fm-tools YAML file: All arguments are passed verbatim to the tool.
 - `shell`: enters an interactive shell inside of the container specified by the given tool
-- `run`: enables plug-and-play execution of formal methods tools: it 
-downloads and unpacks a tool from the fm-tools metadata file into a user-specified cache directory on the host system and then runs the tool in the containerized environment
 
 ## Development and Testing
 
@@ -63,4 +65,10 @@ In Linux this can be done by running the following command in the root directory
 
 ```
 ln -s $(pwd)/fm_tools/data $(pwd)/src/fm_weck/resources/fm_tools
-```
+```
+
+## Publications
+
+A paper about fm-weck has been accepted at the FM '24 conference.
+
+- [<img src="/doc/images/pdf.png" alt="PDF icon" width="32"/> FM-Weck: Containerized Execution of Formal-Methods Tools](https://link.springer.com/content/pdf/10.1007/978-3-031-71177-0_3.pdf), by Dirk Beyer and Henrik Wachowitz. Proc. FM. Springer (2024). [doi:10.1007/978-3-031-71177-0_3](https://doi.org/10.1007/978-3-031-71177-0_3)

{fm_weck-1.4.7.dist-info → fm_weck-1.5.0.dist-info}/RECORD

@@ -1,20 +1,37 @@
-fm_weck/__init__.py,sha256=qVPurJ_oj0SwP8asFRG0x8Qh7KDzNBLJf5jHKxcyDMc,351
+fm_weck/__init__.py,sha256=v0ltYQ0MeG-hs4LVU6TIPeboGSEmIMSDHqOGvQdQR_s,351
 fm_weck/__main__.py,sha256=IfNDAqM6MK6P7KsQoW3wOHPOscB8evdVlS9C7R4wd_0,391
 fm_weck/cache_mgr.py,sha256=3-OQFmCeswazXmX08ND4oEHFOR07ZDCwWzjmFTDkOSE,1373
-fm_weck/cli.py,sha256=k2-rHURw_w0yy5L97FofJ0jYVxqpNP79_XTtirYbyjY,17194
-fm_weck/config.py,sha256=72HfwKJlLnyrBUmLyjEebgPerGMq0CdnQnugz1SIWis,8017
-fm_weck/engine.py,sha256=1EhfL0tzgVyBNf4b40yt2w1netv2Elyop9aRpwzCvm0,17262
-fm_weck/exceptions.py,sha256=xXxbYK-FZW6YksBtaN79KaA4fGnFCBO-wc0QMqtq3Og,282
-fm_weck/image_mgr.py,sha256=mDqP-YD6AEOW2xldYJ4D-wxYKF0Ta5SgoJiX2CrhyQg,1906
-fm_weck/run_result.py,sha256=0d8G3py1VCPP4jLxPCVzL8Vljvrwt9IHlmvCkW0pwx8,1249
+fm_weck/capture.py,sha256=iogn3JvCZEjD0SQL8Xa3TzmZAWifd9ZIP81c3JIsdUQ,982
+fm_weck/cli.py,sha256=dPpJqyF0iXqZuRiPATypDbc6TyaUWzUFpb1qc2uo-mg,23657
+fm_weck/config.py,sha256=8XXlHbb9cW1N1jatNFY5AnaRdxsSz-ohCrqq5t90RAc,8099
+fm_weck/engine.py,sha256=HfRj5Okewteco7A-CccCIbk2aEGDh4K896YyQo7h1gE,21733
+fm_weck/exceptions.py,sha256=AfqTt6gxZPUQ0rKqwgdGTyfIjWmU3xBFIJxQnMLbLGo,2465
+fm_weck/file_util.py,sha256=FG_uBuNWGWbSivBv0dYzwugMkGfdS_iFY-hG6GLDD54,799
+fm_weck/image_mgr.py,sha256=lkn1nWuwKtMhtVf_PFZOOJftY5uyE0EydY2f-sefHGE,1943
+fm_weck/run_result.py,sha256=srg3w2MvC-2YqgpRtqrat2DoxhErtlc5FQO3uaFaGTI,1253
 fm_weck/runexec_mode.py,sha256=UamxVvYm0XErPjR2sRJaLMX8uHBzRcgCTWbQIZjdju0,2195
 fm_weck/runexec_util.py,sha256=YBvVIPpmEousZVxbZ5NS8jzpKPLyws31kIFE2z3Ki2E,1370
-fm_weck/serve.py,sha256=RL6LOnK0RMhFRWehwFdoydc0A619FqSaph7H0JFDYlo,9037
+fm_weck/serve.py,sha256=RUz_3v15By_CvcBJlNBw-mKuDubAiIha5EfayFBnqps,10728
+fm_weck/smoke_test_mode.py,sha256=SYXLf1mhdGEOS9YtJ7XuR8j_zfN9zUWhu1KSm4zgAR4,2990
+fm_weck/tmp_file.py,sha256=oJiE8VGTPxhl-bXdtbM8eNqQ4e9ECPG1jDmiboVDo_k,1956
 fm_weck/version_listing.py,sha256=caaoC3n9R-Ao2sEQ_ngOVO3bnKr7cNVeH6EiA8jO5Sc,864
+fm_weck/grpc_service/__init__.py,sha256=TvQSR0pVeh4MMMT40VfzJFyZTHpAOI7C808vjJpWiOs,390
+fm_weck/grpc_service/fm_weck_client.py,sha256=xd3ltrHcJ1fdl9V3PUFNukJahoMP_VavXTwEbPcjMyk,4862
+fm_weck/grpc_service/fm_weck_server.py,sha256=kYrhi2Egp09yMP_4-AaW5k9lGd63HTD3KekBFSsG2dk,6142
+fm_weck/grpc_service/request_handling.py,sha256=w_ZNZ1PK22D6SoBMc-hqXhy6S48kmksMXu-wSniYLSU,10912
+fm_weck/grpc_service/run_store.py,sha256=6pm_b2PCPys6qmVQvxq8qUpREdBsdOPpvOhTOfh-Rjc,864
+fm_weck/grpc_service/server_utils.py,sha256=1A3_RdjsvkeCV2w1oZemd4v9YcpcWWwgjy62jF0wUmM,721
+fm_weck/grpc_service/proto/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
+fm_weck/grpc_service/proto/fm_weck_service.proto,sha256=HcRpwWnNTxHEGxitZZb_RcXTQX97erySKItGCg0AhBw,3316
+fm_weck/grpc_service/proto/fm_weck_service_pb2.py,sha256=O8qtEYv77kGKaBbo-AXGTxYJTSTo6rBHN03PIZJB3cA,5647
+fm_weck/grpc_service/proto/fm_weck_service_pb2.pyi,sha256=JH44EhTejp9Nk1dlnPuen2ZVp0WeAnbSvrT6FL9ihJg,6391
+fm_weck/grpc_service/proto/fm_weck_service_pb2_grpc.py,sha256=YCnAPNEGQUNqgVzGB_JeV01fxsiiC7VlP0Aos-n5gWE,12076
+fm_weck/grpc_service/proto/generate_protocol_files.sh,sha256=F9dd95qKejtB7B3P-x9d2oAr9VrW9AZRMfm8KKRKLpk,801
 fm_weck/resources/BenchExec-3.27-py3-none-any.whl,sha256=g-db8LM8HfqLhbnl7n5lvUbMnF2tZ4MHAVOxTGxqO8w,732849
 fm_weck/resources/BenchExec-3.27-py3-none-any.whl.license,sha256=Nq2Mwgn_pyr6ZZrTT095QPtFP3hr15ZeIRIaY0B7eC8,201
-fm_weck/resources/Containerfile,sha256=MltxP1of9klsQFNR8WyngRTJrPwxQTF4C9ennRxVqSo,391
-fm_weck/resources/__init__.py,sha256=-YLqFTF2Gu4RA9ye3SdvBk1rjhlYxk_f1TgPsix3SAk,1213
+fm_weck/resources/Containerfile,sha256=HpPkrzJe1IKsmLOfbe5LbT-suaV6eJn1fT4csSvEkOk,390
+fm_weck/resources/__init__.py,sha256=Gd3SNYBUUgDCJFMVwaaPynmugTUKoWamBXRhbasRKJE,1522
+fm_weck/resources/c_program_example.c,sha256=WOTAn4XyQL8TlplI6M8FbKiUxiwnvHUy2o6n0hLIe6o,21862
 fm_weck/resources/run_with_overlay.sh,sha256=v1gV_6kMQ0v9BQ3chgDqI1MAOLHbPWeeTC52aCqVpEM,1162
 fm_weck/resources/runexec,sha256=ogIBO38HLu9C9kDTTANBgAqVnH-UIF1bSJ9d3DSjyF4,462
 fm_weck/resources/properties/coverage-branches.prp,sha256=Gl2r1cgBFoh4M2laa8dVGhteHkL04oiBRLzxz_hbkEU,56
@@ -101,7 +118,7 @@ fm_weck/resources/fm_tools/legion.yml,sha256=ClD8_UEJq8wHIEp9_ifhTNKJuNmzvekaQx1
 fm_weck/resources/fm_tools/lf-checker.yml,sha256=lV4-GzzNvzWW505FFtYAUHlSG4gxOn-LL4xT8Tpyvq0,1386
 fm_weck/resources/fm_tools/liv.yml,sha256=t0-Rfs0Ot3VPn7DD_pt3VAbyfpUOP8kdYV3E7uN3qGI,3260
 fm_weck/resources/fm_tools/locksmith.yml,sha256=c3wNvIzQ_PZaYv6Mm15QH-Rm4oTuNzILNJs1fssESYQ,1397
-fm_weck/resources/fm_tools/ltsmin.yml,sha256=vpfL4mBGlnxPtqoqaqUnR-Ph0kibaOd-h6FYuWHn91M,1206
+fm_weck/resources/fm_tools/ltsmin.yml,sha256=WkQ5aP-p1yFP6XfRXJeb5ftcd7o_buvNjEKZRVr6mpM,1644
 fm_weck/resources/fm_tools/metaval++.yml,sha256=KAOcvftDNLvuHzIKaUoebekeOxBE6DVS2Acq2VbL1Dg,2006
 fm_weck/resources/fm_tools/metaval.yml,sha256=aclr5cfGDuCduSrlk9kLOcK8GaUQAzPtDAxIJHgHs44,4668
 fm_weck/resources/fm_tools/mlb.yml,sha256=S_ykc9ThLHBbMSXOgYIvk81r96cEwXbAXI5lPRDxJ4s,1907
@@ -148,7 +165,7 @@ fm_weck/resources/fm_tools/wit4java.yml,sha256=ylfze2XbV4zKkVUH57Veqn7G49gW0Byxd
 fm_weck/resources/fm_tools/witch.yml,sha256=wwe6lrI2sxGKVZbLeipa38rPhB2pcSUFi9uVngtXGUQ,1795
 fm_weck/resources/fm_tools/witnesslint.yml,sha256=EvMBcm5fx6lgSLRmHSKXSxXIJKZ-BrxLwTXI4GQ6FMs,6812
 fm_weck/resources/fm_tools/witnessmap.yml,sha256=FyZtEloxpWBBjLn9kyqoen2kPjOkH2r4fxAj5gfV8Bg,1692
-fm_weck-1.4.7.dist-info/METADATA,sha256=WnQnKmjvJ6HQouE2-s1Mil4cw9NJW0Sp3d9E43upkhk,2822
-fm_weck-1.4.7.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
-fm_weck-1.4.7.dist-info/entry_points.txt,sha256=toWpKCSY1u593MPnI_xW5gnwlnkerP4AvmPQ1s2nPgY,50
-fm_weck-1.4.7.dist-info/RECORD,,
+fm_weck-1.5.0.dist-info/METADATA,sha256=UqR47gDzSfO-MS7U0lEmpMoYJ5Xe6Vx_4cxMXg7qq-0,3339
+fm_weck-1.5.0.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
+fm_weck-1.5.0.dist-info/entry_points.txt,sha256=toWpKCSY1u593MPnI_xW5gnwlnkerP4AvmPQ1s2nPgY,50
+fm_weck-1.5.0.dist-info/RECORD,,