Search Criteria
Package Details: tutch-git r3.b199eff-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/tutch-git.git (read-only, click to copy) |
|---|---|
| Package Base: | tutch-git |
| Description: | tutch is a tool for checking constructive proofs |
| Upstream URL: | http://www2.tcs.ifi.lmu.de/~abel/tutch/ |
| Licenses: | unknown |
| Conflicts: | tutch |
| Provides: | tutch |
| Submitter: | rmanne |
| Maintainer: | rmanne |
| Last Packager: | rmanne |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2015-09-27 23:52 (UTC) |
| Last Updated: | 2015-09-28 12:16 (UTC) |
Latest Comments
micwoj92 commented on 2021-12-15 04:09 (UTC)
Needs git in makedepends