Package Details: tutch-git r3.b199eff-1

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)

Dependencies (2)

Required by (0)

Sources (1)

Latest Comments

micwoj92 commented on 2021-12-15 04:09 (UTC)

Needs git in makedepends