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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-mtac2_1.4+8.16-2_ppc64el.deb 7662082023-Jan-27 04:57
libcoq-mtac2_1.4+8.16-2_s390x.deb 7671522023-Jan-26 17:27
libcoq-mtac2_1.4+8.16-2_amd64.deb 7616282023-Jan-26 15:26
libcoq-mtac2_1.4+8.16-2_arm64.deb 7706002023-Jan-26 15:11
libcoq-mtac2_1.4+8.16-2_armhf.deb 7606202023-Jan-26 14:25
libcoq-mtac2_1.4+8.16-2_i386.deb 7502722023-Jan-26 14:10
coq-mtac2_1.4+8.16-2.debian.tar.xz 24802023-Jan-26 12:44
coq-mtac2_1.4+8.16-2.dsc 21002023-Jan-26 12:44
coq-mtac2_1.4+8.16.orig.tar.gz 2510702022-Sep-06 09:09