Search Criteria
Package Details: twelf 1.7.1-3
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: | 1 |
Popularity: | 0.21 |
First Submitted: | 2016-03-13 05:20 |
Last Updated: | 2021-01-23 20:18 |
Dependencies (4)
- bash (bash-devel-git, bash-devel-static-git)
- gmp (gmp-hg, scipoptsuite, scipoptsuite-bin)
- smlnj
- smlnj (make)
Latest Comments
soimort commented on 2021-01-23 20:19
@mb64 smlnj seems to support 64-bit platforms since version 110.94, and the heap file name has changed since then. Thanks for the reminder.
mb64 commented on 2021-01-18 00:40
This package is incorrect for 64-bit linux -- the name of the SMLNJ heap file should be
twelf-server.amd64-linux
instead oftwelf-server.x86-linux
.