Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: twelf-git 20130819-4

Package Actions

Git Clone URL:	https://aur.archlinux.org/twelf-git.git (read-only, click to copy)
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 (UTC)
Last Updated:	2021-01-23 20:24 (UTC)

Dependencies (4)

bash (bash-devel-static-git^AUR, bash-git^AUR, bash-devel-git^AUR, busybox-coreutils^AUR)
gmp (gmp-hg^AUR)
smlnj
smlnj (make)

Required by (0)

Sources (1)

twelf-git

Latest Comments

soimort commented on 2017-04-12 00:45 (UTC)

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

akh commented on 2017-04-10 09:27 (UTC)

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.