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: 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

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.