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)