name: eventb-to-txt
description: Event-B to txt converter
license_spdx: Other
version: 1.6
spec_version: 1.0
home_url: https://github.com/17451k/eventb-to-txt
news_url: https://libraries.io/pypi/eventb-to-txt/versions.atom
date: 2023-09-11
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/eventb-to-txt?number=1.6
vcs_tool: git
vcs_repository: https://github.com/17451k/eventb-to-txt
vcs_branch: master
