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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
coq-mtac2_1.4+8.16-1.debian.tar.xz2.4 KiB2022-Sep-06 09:09
coq-mtac2_1.4+8.16-1.dsc2.0 KiB2022-Sep-06 09:09
coq-mtac2_1.4+8.16-2.debian.tar.xz2.4 KiB2023-Jan-26 12:44
coq-mtac2_1.4+8.16-2.dsc2.1 KiB2023-Jan-26 12:44
coq-mtac2_1.4+8.16.orig.tar.gz245.2 KiB2022-Sep-06 09:09
coq-mtac2_1.4+8.17-1.debian.tar.xz2.6 KiB2023-Jun-13 05:20
coq-mtac2_1.4+8.17-1.dsc2.1 KiB2023-Jun-13 05:20
coq-mtac2_1.4+8.17.orig.tar.gz245.7 KiB2023-Jun-13 05:20
coq-mtac2_1.4+8.18-1.debian.tar.xz2.7 KiB2023-Dec-22 11:07
coq-mtac2_1.4+8.18-1.dsc2.1 KiB2023-Dec-22 11:07
coq-mtac2_1.4+8.18.orig.tar.gz246.2 KiB2023-Dec-22 11:07
libcoq-mtac2_1.4+8.16-1_amd64.deb744.1 KiB2022-Sep-06 12:26
libcoq-mtac2_1.4+8.16-1_arm64.deb753.2 KiB2022-Sep-06 12:56
libcoq-mtac2_1.4+8.16-1_armhf.deb743.4 KiB2022-Sep-06 12:56
libcoq-mtac2_1.4+8.16-1_i386.deb732.5 KiB2022-Sep-06 19:42
libcoq-mtac2_1.4+8.16-2+b1_amd64.deb744.9 KiB2023-Feb-13 07:28
libcoq-mtac2_1.4+8.16-2+b1_arm64.deb753.8 KiB2023-Feb-13 07:28
libcoq-mtac2_1.4+8.16-2+b1_armhf.deb743.1 KiB2023-Feb-13 07:28
libcoq-mtac2_1.4+8.16-2+b1_i386.deb733.1 KiB2023-Feb-13 07:34
libcoq-mtac2_1.4+8.17-1+b2_amd64.deb752.6 KiB2023-Sep-22 13:28
libcoq-mtac2_1.4+8.17-1+b2_arm64.deb761.9 KiB2023-Sep-22 13:28
libcoq-mtac2_1.4+8.17-1+b2_armhf.deb751.2 KiB2023-Sep-22 13:28
libcoq-mtac2_1.4+8.17-1+b2_i386.deb741.3 KiB2023-Sep-22 13:28
libcoq-mtac2_1.4+8.17-1_amd64.deb752.3 KiB2023-Jun-13 08:43
libcoq-mtac2_1.4+8.17-1_arm64.deb761.6 KiB2023-Jun-17 13:13
libcoq-mtac2_1.4+8.17-1_armhf.deb751.1 KiB2023-Jun-13 07:58
libcoq-mtac2_1.4+8.17-1_i386.deb741.0 KiB2023-Jun-13 08:13
libcoq-mtac2_1.4+8.18-1_amd64.deb766.7 KiB2023-Dec-23 11:52
libcoq-mtac2_1.4+8.18-1_arm64.deb776.6 KiB2023-Dec-23 11:52
libcoq-mtac2_1.4+8.18-1_armhf.deb765.4 KiB2023-Dec-23 11:52
libcoq-mtac2_1.4+8.18-1_i386.deb755.3 KiB2023-Dec-23 11:52