Package Details: twelf-git 20130819-4

Git Clone URL: (read-only, click to copy)
Package Base: twelf-git
Description: An implementation of the logical framework LF
Upstream URL:
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: 2021-01-23 20:24

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.