Package Details: opentheory-git 1.3.r1493.45d7d5e5-2

Git Clone URL: https://aur.archlinux.org/opentheory-git.git (read-only)
Package Base: opentheory-git
Description: a tool for processing higher-order logic theory packages
Upstream URL: http://www.gilith.com/software/opentheory
Licenses: MIT
Conflicts: opentheory
Provides: opentheory
Submitter: larsrh
Maintainer: larsrh
Last Packager: larsrh
Votes: 0
Popularity: 0.000000
First Submitted: 2018-02-21 08:44
Last Updated: 2018-02-21 09:14

Dependencies (2)

Required by (0)

Sources (1)