Filename Modification time Size coq-gappa_1.5.2-5.debian.tar.xz 2023-01-26 13:44 CET 2008 B coq-gappa_1.5.2-5.dsc 2023-01-26 13:44 CET 2073 B coq-gappa_1.5.2.orig.tar.bz2 2022-07-19 09:00 CEST 72 KiB coq-gappa_1.5.4-1.debian.tar.xz 2023-12-22 12:07 CET 2196 B coq-gappa_1.5.4-1.dsc 2023-12-22 12:07 CET 2073 B coq-gappa_1.5.4.orig.tar.bz2 2023-12-22 12:07 CET 72 KiB coq-gappa_1.5.5-1.debian.tar.xz 2024-04-26 16:01 CEST 2212 B coq-gappa_1.5.5-1.dsc 2024-04-26 16:01 CEST 2073 B coq-gappa_1.5.5.orig.tar.bz2 2024-04-26 16:01 CEST 72 KiB libcoq-gappa_1.5.2-5+b1_amd64.deb 2023-02-13 08:28 CET 504 KiB libcoq-gappa_1.5.2-5+b1_arm64.deb 2023-02-13 08:28 CET 506 KiB libcoq-gappa_1.5.2-5+b1_armhf.deb 2023-02-13 08:28 CET 502 KiB libcoq-gappa_1.5.2-5+b1_i386.deb 2023-02-13 08:08 CET 500 KiB libcoq-gappa_1.5.2-5+b1_ppc64el.deb 2023-02-14 11:44 CET 503 KiB libcoq-gappa_1.5.2-5+b1_s390x.deb 2023-02-13 08:08 CET 504 KiB libcoq-gappa_1.5.4-1_amd64.deb 2023-12-23 12:47 CET 484 KiB libcoq-gappa_1.5.4-1_arm64.deb 2023-12-23 12:53 CET 487 KiB libcoq-gappa_1.5.4-1_armhf.deb 2023-12-23 12:52 CET 483 KiB libcoq-gappa_1.5.4-1_i386.deb 2023-12-23 12:47 CET 481 KiB libcoq-gappa_1.5.4-1_ppc64el.deb 2023-12-23 12:47 CET 484 KiB libcoq-gappa_1.5.4-1_s390x.deb 2023-12-23 12:47 CET 485 KiB libcoq-gappa_1.5.5-1_amd64.deb 2024-04-28 17:11 CEST 504 KiB libcoq-gappa_1.5.5-1_arm64.deb 2024-04-28 17:05 CEST 507 KiB libcoq-gappa_1.5.5-1_armhf.deb 2024-04-28 17:11 CEST 502 KiB libcoq-gappa_1.5.5-1_i386.deb 2024-04-28 17:06 CEST 501 KiB libcoq-gappa_1.5.5-1_ppc64el.deb 2024-04-28 17:11 CEST 503 KiB libcoq-gappa_1.5.5-1_riscv64.deb 2024-04-28 17:26 CEST 505 KiB libcoq-gappa_1.5.5-1_s390x.deb 2024-04-28 17:16 CEST 505 KiB