Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

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

glibc (glibc-git^AUR, glibc-linux4^AUR, glibc-eac^AUR, glibc-eac-bin^AUR, glibc-eac-roco^AUR)
gmp (gmp-hg^AUR)
dune (make)
git (git-git^AUR, git-gl^AUR) (make)
make (make-git^AUR) (make)
ocaml (make)
opam (make)

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

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

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

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