Packages of Ubuntu / resolute-updates

Component

Architecture

Package name

Version

Source package

Component	Architecture	Package	Version	Priority	Size	Description	Integrity	Actions
universe	riscv64	elan	4.1.2-3.1ubuntu1	optional	4 kB	tool for managing installations of the Lean theorem prover
universe	riscv64	elan	4.1.2-3.1ubuntu1	optional	4 kB	tool for managing installations of the Lean theorem prover

Showing 1–2 of 2 packages

Page 1 of 1