kremlin_select

v 1.3

Obsolete port

This port is obsolete.

https://fstar-lang.org

To install kremlin_select, paste this in macOS terminal after installing MacPorts

sudo port install kremlin_select

Add to my watchlist

Installations 0
Requested Installations 0