Index of /debian-ports/pool-m68k/main/c/cvc4/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
cvc4-dbgsym_1.8-5+b1_m68k.deb933.4 KiB2026-Apr-24 21:03
cvc4_1.8-5+b1_m68k.buildinfo9.0 KiB2026-Apr-24 21:03
cvc4_1.8-5+b1_m68k.deb77.4 KiB2026-Apr-24 21:03
libcvc4-7-dbgsym_1.8-5+b1_m68k.deb167.2 MiB2026-Apr-24 21:03
libcvc4-7_1.8-5+b1_m68k.deb5.9 MiB2026-Apr-24 21:03
libcvc4-dev_1.8-5+b1_m68k.deb127.9 KiB2026-Apr-24 21:03
libcvc4parser7-dbgsym_1.8-5+b1_m68k.deb4.6 MiB2026-Apr-24 21:03
libcvc4parser7_1.8-5+b1_m68k.deb397.7 KiB2026-Apr-24 21:03