Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: twelf 1.7.1-3

Package Actions

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:	BSD
Conflicts:	twelf-git
Provides:	twelf
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)

Required by (0)

Sources (1)

http://twelf.org/releases/twelf-src-1.7.1.tar.gz

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 of twelf-server.x86-linux.