/debian-ports/pool-loong64/main/c/coq-gappa/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
coq-gappa_1.5.5-1+b1_loong64.buildinfo	7.1 KiB	15.06.2024 18:03
libcoq-gappa-dbgsym_1.5.5-1+b1_loong64.deb	6.1 KiB	15.06.2024 18:03
libcoq-gappa_1.5.5-1+b1_loong64.deb	506.5 KiB	15.06.2024 18:03