Search Criteria
Package Details: python-pysmt-git 0.9.6.r5.g8767a7e-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/python-pysmt-git.git (read-only, click to copy) |
|---|---|
| Package Base: | python-pysmt-git |
| Description: | A library for SMT formulae manipulation and solving |
| Upstream URL: | https://github.com/pysmt/pysmt |
| Licenses: | Apache |
| Conflicts: | python-pysmt |
| Provides: | python-pysmt |
| Submitter: | kyechou |
| Maintainer: | kyechou |
| Last Packager: | kyechou |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2019-11-13 09:51 (UTC) |
| Last Updated: | 2024-07-06 17:29 (UTC) |
Dependencies (7)
- python (python37AUR, python311AUR, python310AUR)
- git (git-gitAUR, git-glAUR) (make)
- python-build (make)
- python-installer (python-installer-gitAUR) (make)
- python-setuptools (make)
- python-six (make)
- python-wheel (make)