File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-mtac2_1.4+8.20-1_s390x.deb776.8 KiB2024-Nov-23 16:57
libcoq-mtac2_1.4+8.20-1_riscv64.deb779.1 KiB2024-Nov-23 18:03
libcoq-mtac2_1.4+8.20-1_ppc64el.deb777.8 KiB2024-Nov-23 16:47
libcoq-mtac2_1.4+8.20-1_arm64.deb782.9 KiB2024-Nov-23 16:47
libcoq-mtac2_1.4+8.20-1_amd64.deb774.6 KiB2024-Nov-23 16:47
libcoq-mtac2_1.4+8.20-1+b1_s390x.deb777.6 KiB2024-Nov-23 19:32
libcoq-mtac2_1.4+8.20-1+b1_ppc64el.deb778.2 KiB2024-Nov-23 18:34
libcoq-mtac2_1.4+8.19-3_s390x.deb777.2 KiB2024-Nov-21 04:51
libcoq-mtac2_1.4+8.19-3_riscv64.deb778.9 KiB2024-Nov-20 19:08
libcoq-mtac2_1.4+8.19-3_ppc64el.deb777.8 KiB2024-Nov-20 18:32
libcoq-mtac2_1.4+8.19-3_arm64.deb782.6 KiB2024-Nov-20 18:37
libcoq-mtac2_1.4+8.19-3_amd64.deb774.6 KiB2024-Nov-20 16:07
libcoq-mtac2_1.4+8.19-2+b3_ppc64el.deb794.0 KiB2024-Aug-31 04:39
libcoq-mtac2_1.4+8.19-2+b2_s390x.deb793.6 KiB2024-Aug-21 06:36
libcoq-mtac2_1.4+8.19-2+b2_riscv64.deb795.2 KiB2024-Aug-21 08:49
libcoq-mtac2_1.4+8.19-2+b2_arm64.deb800.2 KiB2024-Aug-21 05:24
libcoq-mtac2_1.4+8.19-2+b2_amd64.deb791.7 KiB2024-Aug-21 05:04
libcoq-mtac2_1.4+8.16-2+b1_s390x.deb748.3 KiB2023-Feb-13 08:33
libcoq-mtac2_1.4+8.16-2+b1_ppc64el.deb748.1 KiB2023-Feb-14 12:17
libcoq-mtac2_1.4+8.16-2+b1_i386.deb733.1 KiB2023-Feb-13 08:34
libcoq-mtac2_1.4+8.16-2+b1_armhf.deb743.1 KiB2023-Feb-13 08:28
libcoq-mtac2_1.4+8.16-2+b1_arm64.deb753.8 KiB2023-Feb-13 08:28
libcoq-mtac2_1.4+8.16-2+b1_amd64.deb744.9 KiB2023-Feb-13 08:28
coq-mtac2_1.4+8.20.orig.tar.gz246.5 KiB2024-Nov-23 16:27
coq-mtac2_1.4+8.20-1.dsc2.1 KiB2024-Nov-23 16:27
coq-mtac2_1.4+8.20-1.debian.tar.xz2.9 KiB2024-Nov-23 16:27
coq-mtac2_1.4+8.19.orig.tar.gz246.3 KiB2024-Apr-26 15:06
coq-mtac2_1.4+8.19-3.dsc2.1 KiB2024-Nov-20 11:07
coq-mtac2_1.4+8.19-3.debian.tar.xz4.8 KiB2024-Nov-20 11:07
coq-mtac2_1.4+8.19-2.dsc1.8 KiB2024-Aug-04 06:25
coq-mtac2_1.4+8.19-2.debian.tar.xz2.8 KiB2024-Aug-04 06:25
coq-mtac2_1.4+8.16.orig.tar.gz245.2 KiB2022-Sep-06 10:09
coq-mtac2_1.4+8.16-2.dsc2.1 KiB2023-Jan-26 13:44
coq-mtac2_1.4+8.16-2.debian.tar.xz2.4 KiB2023-Jan-26 13:44