GitHub repository: pfeodrippe/tladeps
Primary language: Clojure
Created: 2021-08-14T21:48:01Z
Description: Simple TLA+ Dependency Manager