Search Criteria
Package Details: opentheory 1:1.4.20180810-1
| Git Clone URL: | https://aur.archlinux.org/opentheory.git (read-only, click to copy) |
|---|---|
| Package Base: | opentheory |
| Description: | a tool for processing higher-order logic theory packages |
| Upstream URL: | http://www.gilith.com/software/opentheory |
| Licenses: | |
| Submitter: | xrchz |
| Maintainer: | xrchz |
| Last Packager: | larsrh |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2012-08-10 10:27 |
| Last Updated: | 2018-09-27 12:13 |
Dependencies (2)
- gmp (gmp-hg, scipoptsuite, scipoptsuite-bin)
- mlton (mlton-git) (make)