aeneas-latest
Version: 20260912A verification toolchain for Rust programs
What is "aeneas-latest"?
A verification toolchain for Rust programs
How to use this package
Quick install
Installs the package into the current environment for this session. Use --build or --runtime to persist it as a build-time or runtime dependency.
min add aeneas-latestDeclare as a task dependency in minimal.toml
Listing the package under tasks.<name>.packages makes it available inside that task’s sandbox.
[tasks.dev]
packages = ["aeneas-latest"]Build-time vs runtime
Choose build-time for tools needed during compilation, runtime for dynamic libraries loaded at runtime.
min add --build aeneas-latest
min add --runtime aeneas-latestDependencies (10)
Dependency changes
Loading diff…
Could not load the dependency diff for one of the selected versions. Try again.
No dependency changes
The two selected versions have identical direct dependencies.
| Name | Version | Kind |
|---|
No dependants
No other packages in the registry depend on this one.
No direct advisories
This package inherits 13 transitive advisories from its dependencies.
Showing 13 transitive advisories via aeneas-latest's dependencies
No advisories match the current filters.
66 components
No components match your filter.
| Packages | Version |
|---|---|
| aeneas-latestROOT | 20260912 |
| acl | 2.4.0 |
| attr | 2.6.0 |
| autoconf | 2.73 |
| automake | 1.18.1 |
| bash | 5.3 |
| bash-bootstrap | 5.3 |
| binutils | 2.47 |
| bison | 3.8.2 |
| bzip2 | 1.0.8 |
| ca-certificates | |
| cadical | 2.1.2 |
| cmake | 4.4.2 |
| coreutils | 9.11 |
| curl | 8.21.0 |
| diffutils | 3.12 |
| expat | 2.8.3 |
| file | 5.48 |
| findutils | 4.11.0 |
| flex | 2.6.4 |
| gawk | 5.4.1 |
| gawk-bootstrap | 5.4.1 |
| gcc | 15.2.0 |
| gdbm | 1.26 |
| gettext | 1.0 |
| git | 2.55.0 |
| glibc | 2.44 |
| gmp | 6.3.0 |
| grep | 3.12 |
| gzip | 1.14 |
| lean | 4.33.0 |
| leangz | 0.1.20 |
| libcap | 2.78 |
| libffi | 3.8.0 |
| libidn2 | 2.3.8 |
| libpsl | 0.23.3 |
| libtool | 2.6.2 |
| libunistring | 1.4.2 |
| libuv | 1.52.1 |
| linux_headers | 6.12.43 |
| llvm | 21.1.8 |
| llvm-bootstrap | 21.1.8 |
| lz4 | 1.10.0 |
| m4 | 1.4.21 |
| make | 4.4.1 |
| meson | 1.12.0 |
| mpc | 1.4.1 |
| mpfr | 4.2.2 |
| ncurses | 6.6 |
| ninja | 1.13.2 |
| openssl | 3.6.3 |
| patch | 2.8 |
| pcre2 | 10.47 |
| perl | 5.44.0 |
| pkgconf | 3.0.5 |
| python | 3.14.7 |
| readline | 8.3 |
| rust | 1.97.1 |
| sed | 4.10 |
| setuptools | 84.0.0 |
| sqlite | 3.53.4 |
| tar | 1.35 |
| util-linux | 2.42.3 |
| xz | 5.8.3 |
| zlib | 1.3.2 |
| zstd | 1.5.7 |