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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-mtac2_1.4+8.19-2+b2_arm64.deb 8194042024-Aug-21 06:24
libcoq-mtac2_1.4+8.19-2+b2_amd64.deb 8106762024-Aug-21 06:04
coq-mtac2_1.4+8.19-2.debian.tar.xz 28562024-Aug-04 07:25
coq-mtac2_1.4+8.19-2.dsc 18722024-Aug-04 07:25
libcoq-mtac2_1.4+8.19-1+b1_armhf.deb 7985362024-Jun-15 13:41
libcoq-mtac2_1.4+8.19-1+b1_arm64.deb 8099802024-Jun-15 13:41
libcoq-mtac2_1.4+8.19-1+b1_i386.deb 7906482024-Jun-15 13:25
libcoq-mtac2_1.4+8.19-1+b1_amd64.deb 8018882024-Jun-15 13:25
coq-mtac2_1.4+8.19.orig.tar.gz 2522422024-Apr-26 16:06
coq-mtac2_1.4+8.19-1.dsc 21002024-Apr-26 16:06
coq-mtac2_1.4+8.19-1.debian.tar.xz 27882024-Apr-26 16:06