Search Criteria
Package Details: twelf 1.7.1-2
| Git Clone URL: | https://aur.archlinux.org/twelf.git (read-only, click to copy) |
|---|---|
| Package Base: | twelf |
| Description: | An implementation of the logical framework LF |
| Upstream URL: | http://twelf.org/ |
| Licenses: | |
| Conflicts: | |
| Provides: | |
| Submitter: | soimort |
| Maintainer: | soimort |
| Last Packager: | soimort |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2016-03-13 05:20 |
| Last Updated: | 2016-03-22 23:52 |
Dependencies (4)
- bash (bash-devel-git, bash-devel-static-git)
- gmp (gmp-hg)
- smlnj
- smlnj (make)