Package Details: twelf-git 20130819-3

Git Clone URL: https://aur.archlinux.org/twelf-git.git (read-only)
Package Base: twelf-git
Description: An implementation of the logical framework LF
Upstream URL: http://twelf.org/
Licenses: BSD
Conflicts: twelf
Provides: twelf
Submitter: soimort
Maintainer: soimort
Last Packager: soimort
Votes: 1
Popularity: 0.000000
First Submitted: 2016-03-13 03:58
Last Updated: 2017-04-12 00:45

Required by (0)

Sources (1)

Latest Comments

soimort commented on 2017-04-12 00:45

The twelf-server script assumes smlnj rather than mlton, indeed. Should be fixed now.

akh commented on 2017-04-10 09:27

This PKGBUILD does not work for me because of the cat to ./bin/twelf-server. I think perhaps that will only work if you have smlnj installed as well. I removed those lines and now it's fine.