[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Installing Ulpian Release on Ubunte Machine

From: marta zhango <martazhango@xxxxxxxxx>
Date: Fri, 26 Apr 2024 15:26:59 -0700 (PDT)

Have downloaded the Ulpian Release to an Ubuntu Machine from

https://github.com/tlaplus/tlaplus/releases/

How do I install the thing ?

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/7fa8ae73-a319-4549-9d2a-61995303c264n%40googlegroups.com.

Follow-Ups:
- [tlaplus] Re: Installing Ulpian Release on Ubunte Machine
  - From: Andrew Helwer

Prev by Date: Re: [tlaplus] Defining Cardinality with TLA
Next by Date: [tlaplus] Re: Best practices / advise on (de)structuring specs (modularize)
Previous by thread: Re: [tlaplus] Developing a TLA+ Model for the KafkaRoller in the Strimzi Project
Next by thread: [tlaplus] Re: Installing Ulpian Release on Ubunte Machine
Index(es):
- Date
- Thread