Package: z3-dbg

Latest version availability by architecture Repology version information

aarch64 armv7 pmmx ppc ppc64 x86_64
✓ 4.8.8-r0 ✓ 4.8.8-r0 ✓ 4.8.8-r0 ✓ 4.8.8-r0 ✓ 4.8.8-r0 ✓ 4.8.8-r0

Details for version 4.8.8-r0

Description Mathematical theorem prover (debug symbols)
License MIT
Repository user
Parent package z3
Maintainer A. Wilcox
Size 954.1 MiB
Updated Mon Oct 26 03:19:25 2020 UTC
Revision 7fffafdd3a49caacab7d1391cdf420c2bd4887a6
Source filesView git repository

Independent by design.

Adélie is an independent Linux distribution committed to integrity, privacy, and user freedom. Your donation might be tax-deductible.