| aarch64 | armv7 | pmmx | ppc | ppc64 | x86_64 |
|---|---|---|---|---|---|
| ✓ 4.8.17-r0 | ✓ 4.8.17-r0 | ✓ 4.8.17-r0 | ✓ 4.8.17-r0 | ✓ 4.8.17-r0 | ✓ 4.8.17-r0 |
| Description | Mathematical theorem prover |
|---|---|
| License | MIT |
| Repository | user |
| Maintainer | A. Wilcox |
| Size | 59.5 MiB |
| Updated | Tue Nov 14 01:55:11 2023 UTC |
| Revision | 66185194b969a0fdd077d1a29577a64cf11d0899 |
| Source files | View git repository |
Adélie is an independent Linux distribution committed to integrity, privacy, and user freedom. Your donation might be tax-deductible.