UbuntuUpdates.org

Package "psmt2-frontend"

Name: psmt2-frontend

Description:

Parse and type-check SMT-LIB 2 (tool)

Latest version: 0.4.0-3build1
Release: noble (24.04)
Level: base
Repository: universe
Homepage: https://github.com/ACoquereau/psmt2-frontend

Links


Download "psmt2-frontend"


Other versions of "psmt2-frontend" in Noble

No other version of this package is available in the Noble release.

Changelog

There is no recent update for this package.



About   -   Send Feedback to @ubuntu_updates