Search Criteria
Package Details: minlog-git r610.4a9a1e4-2
Package Actions
| Git Clone URL: | https://aur.archlinux.org/minlog-git.git (read-only, click to copy) |
|---|---|
| Package Base: | minlog-git |
| Description: | Interactive proof system based on first order natural deduction calculus. |
| Upstream URL: | http://www.mathematik.uni-muenchen.de/~logik/minlog/index.php |
| Licenses: | GPL |
| Submitter: | haawda |
| Maintainer: | None |
| Last Packager: | haawda |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2015-06-20 05:56 (UTC) |
| Last Updated: | 2021-03-06 11:50 (UTC) |
Dependencies (3)
- bash (bash-devel-static-gitAUR, bash-devel-gitAUR, busybox-coreutilsAUR, bash-gitAUR)
- git (git-gitAUR, git-glAUR) (make)
- texlive-core (texlive-installerAUR, texlive-fullAUR, texlive-basic) (make)