Coq-gappa

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
libcoq-gappa_1.5.2-5+b1_i386.deb	500.3 KiB	February 13, 2023
libcoq-gappa_1.5.2-5+b1_amd64.deb	503.7 KiB	February 13, 2023
libcoq-gappa_1.5.2-5+b1_arm64.deb	506.4 KiB	February 13, 2023
libcoq-gappa_1.5.2-5+b1_ppc64el.deb	503.1 KiB	February 14, 2023
libcoq-gappa_1.7.0-1_amd64.deb	537.3 KiB	February 20, 2025
libcoq-gappa_1.7.0-1_ppc64el.deb	536.7 KiB	February 20, 2025
libcoq-gappa_1.7.0-1_arm64.deb	540.4 KiB	February 20, 2025
libcoq-gappa_1.7.0-1_riscv64.deb	538.5 KiB	February 20, 2025