Search Criteria
Package Details: python-pysmt-git 0.9.5.r53.gf7b599c-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-01-09 21:03 (UTC) |
Dependencies (6)
- python (python32AUR, python37AUR, python310AUR)
- git (git-gitAUR) (make)
- python-build (make)
- python-installer (python-installer-gitAUR) (make)
- python-six (make)
- python-wheel (make)