Package Details: austral-git v0.2.0.r3.gd8ccef5-2

Git Clone URL: (read-only, click to copy)
Package Base: austral-git
Description: Systems language with linear types and capability-based security.
Upstream URL:
Licenses: Apache
Conflicts: austral
Provides: austral
Submitter: hhhhhhhhhn
Maintainer: hhhhhhhhhn
Last Packager: hhhhhhhhhn
Votes: 1
Popularity: 0.67
First Submitted: 2023-08-06 04:22 (UTC)
Last Updated: 2023-08-06 04:43 (UTC)

Dependencies (7)

Required by (0)

Sources (1)

Latest Comments

msk commented on 2023-12-29 08:51 (UTC)

@José Ugarte Could you be kind enought to update the repo please ?

Calimero commented on 2023-10-03 15:08 (UTC) (edited on 2023-10-03 15:09 (UTC) by Calimero)

Thanks for the package! It doesn't compile though; I get the following errors:

[ERROR] Opam has not been initialised, please run `opam init'

[ERROR] Opam has not been initialised, please run `opam init'

Can you try to fix this with a brand new user on your system?