Index of /debian/pool/main/c/coq-gappa/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-gappa_1.5.2-5_arm64.deb 5181922023-Jan-26 15:11
libcoq-gappa_1.5.2-5_s390x.deb 5162082023-Jan-26 17:12
libcoq-gappa_1.5.2-5_amd64.deb 5151442023-Jan-26 14:56
libcoq-gappa_1.5.2-5_ppc64el.deb 5148282023-Jan-27 04:12
libcoq-gappa_1.5.2-5_armhf.deb 5137042023-Jan-26 13:40
libcoq-gappa_1.5.2-5_i386.deb 5123242023-Jan-26 14:00
coq-gappa_1.5.2.orig.tar.bz2 735422022-Jul-19 07:00
coq-gappa_1.5.2-5.dsc 20732023-Jan-26 12:44
coq-gappa_1.5.2-5.debian.tar.xz 20082023-Jan-26 12:44