Skip to content

Releases: binghe/polyml

Release list

Poly/ML version 5.4.1 release

Poly/ML version 5.4.1 release Pre-release
Pre-release

Choose a tag to compare

View all tags
@binghe binghe released this 22 Dec 12:28
v5.4.1
62b44a5
This commit was signed with the committer’s verified signature. The key has expired.
binghe Chun Tian
GPG key ID: 154920DA3AD847C8
Expired
Verified
Learn about vigilant mode.

FTBFS on modern systems, mainly for building HOL-Omega.

Loading